]> 2009/04/07 OpenCyc Knowledge Base Copyright© 2001-2009 Cycorp, Inc., http://www.cyc.com/, Austin, TX, USA This file contains an OWL representation of information contained in the OpenCyc Knowledge Base. The content of this OWL file is licensed under the Creative Commons Attribution 3.0 license whose text can be found at http://creativecommons.org/licenses/by/3.0/legalcode. The content of this OWL file, including the OpenCyc content it represents, constitutes the "Work" referred to in the Creative Commons license. The terms of this license equally apply to, without limitation, renamings and other logically equivalent reformulations of the content of this OWL file (or portions thereof) in any natural or formal language, as well as to derivations of this content or inclusion of it in other ontologies. Mappings between OpenCyc terms and Wikipedia article names provided by Olena Medelyan and Catherine Legg, University of Waikato, NZ under a Creative Commons Attribution 3.0 license. externalID A unique, language-neutral, variable-sized identifier for a concept that can be used to refer unambiguously to that concept across OWL exports or across Cyc inference engines. label A natural-language representation for a concept that is both human readable and readable by the Cyc inference engine. These terms are not guaranteed to refer to the same concept across time but are guaranteed to be consistent within a particular OWL export. Use 'cycAnnot:externalID' for unambiguously referring to a concept across OWL exports or across Cyc inference engines. Law A <a href="http://sw.opencyc.org/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a> is a miniature <a href="http://sw.opencyc.org/concept/Mx4rvVihYJwpEbGdrcN5Y29ycA" class="cyc_term">GovernmentCOC</a> that expresses a legal requirement or restriction. For instance, one <a href="http://sw.opencyc.org/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a> might say, effectively, that bigamy is illegal. A <a href="http://sw.opencyc.org/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a> is declared to be part of a <a href="http://sw.opencyc.org/concept/Mx4rvWXHupwpEbGdrcN5Y29ycA" class="cyc_term">LegalCode</a> by using <a href="http://sw.opencyc.org/concept/Mx4rvZMY1ZwpEbGdrcN5Y29ycA" class="cyc_term">subWorks</a>. Note that one <a href="http://sw.opencyc.org/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a> can be part of more than one <a href="http://sw.opencyc.org/concept/Mx4rvWXHupwpEbGdrcN5Y29ycA" class="cyc_term">LegalCode</a>. law laws more forensic legislation most forensic forensic statute statutes

Law

http://en.wikipedia.org/wiki/Law http://www.w3.org/2006/03/wn/wn20/instances/synset-legal-adjective-1 http://www.w3.org/2006/03/wn/wn20/instances/synset-law-noun-1 criminal law A sub-collection of <a href="http://sw.opencyc.org/concept/Mx4rvWXHupwpEbGdrcN5Y29ycA" class="cyc_term">LegalCode</a>. Each instance is the body of law dealing with crimes and their punishment. CriminalLaw law about drugs (LawsAboutTypeFn DrugSubstance) (CollectionIntersection2Fn InvestmentRelatedThing Law) investment related thing that is also a law immigration law (LawsAboutTypeFn Immigration) The collection of all immigration laws. A type of <a href="http://sw.opencyc.org/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a>. ChildLaborLaw The collection of all laws (codes, regulations, etc.) relating to child labor. child labor law civil law CivilLaw A sub-collection of <a href="http://sw.opencyc.org/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rU8U8gv9_EdmAAAACs4vPlg" class="cyc_term">CivilLaw</a> is a particular law that governs relations among people, especially disputes involving a <a href="http://sw.opencyc.org/concept/Mx4rvZvacpwpEbGdrcN5Y29ycA" class="cyc_term">Contract</a>, but also cases where one party is seeking redrees for a accidents or libel. Contrast with <a href="http://sw.opencyc.org/concept/Mx4r_H7Z9rvWEdmAAAACs6hRjg" class="cyc_term">CriminalLaw</a>. LawCommonToMostModernWesternLegalCodes law common to most modern western legal codes Instances are <a href="http://sw.opencyc.org/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a>s which are part of the legal codes in most modern western countries. Examples: laws against murder, stealing, tax evasion, bribery, etc. law about banking (LawsAboutTypeFn Banking) (LawsAboutTypeFn FinancialInstrumentTrading) law about financial instrument trading ban A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a> (q.v.). A <a href="http://sw.opencyc.org/concept/Mx4rXt-AzqYLQdiFkaB1FpnD6Q" class="cyc_term">BanOnAConceptualWork</a> is a law prohibiting the use, performance, or distribution of some published (or publishable) <a href="http://sw.opencyc.org/concept/Mx4rwClAZJwpEbGdrcN5Y29ycA" class="cyc_term">ConceptualWork</a> (q.v.). See <a href="http://sw.opencyc.org/concept/Mx4rYHooxqYLQdif_eo8GKTXwg" class="cyc_term">bannedWorks</a>. BanOnAConceptualWork organic law Constitution A sub-collection of <a href="http://sw.opencyc.org/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a>. Each instance is a law determining the fundamental political principles of a government. GarnSaintGermainAct the Garn Saint-Germain Act the Real Estate Settlement Procedures Act RealEstateSettlementProceduresAct FairCreditReportingAct the Fair Credit Reporting Act SyriaAccountabilityAct-Legislation the Syria Accountability Act Truth in Lending Act TruthInLendingAct ConsumerLeasingAct the Consumer Leasing Act FairCreditBillingAct the Fair Credit Billing Act the Equal Credit Opportunity Act EqualCreditOpportunityAct Regulation Z RegulationZ Regulation Z: a <a href="http://sw.opencyc.org/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a>. the Fair Debt Collection Practices Act FairDebtCollectionPracticesAct CommunityReinvestmentAct the Community Reinvestment Act The law in the <a href="http://sw.opencyc.org/concept/Mx4rvVi6GJwpEbGdrcN5Y29ycA" class="cyc_term">CityOfMontgomeryAL</a> which required that a black person yield his/her seat on a city bus [<a href="http://sw.opencyc.org/concept/Mx4rwQB_JpwpEbGdrcN5Y29ycA" class="cyc_term">CityBus</a>] to a white person upon request. In effect in 1955. It lead to the <a href="http://sw.opencyc.org/concept/Mx4rwpiG8EstEdaAAABQ2rksLw" class="cyc_term">MontgomeryBusBoycott</a> Montgomery Bus Segregation Law MontgomeryBusSegregationLaw Tax Reform Act Of 1986 TaxReformActOf1986 the Fair Housing Act FairHousingAct Pretty String (<a href="http://sw.opencyc.org/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" class="cyc_term">prettyString</a> TERM STRING) means that STRING is the English word or expression (sequence of words) commonly used to refer to TERM. The predicate <a href="http://sw.opencyc.org/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" class="cyc_term">prettyString</a> is used by the code which generates CycL to English paraphrases, but its applicability is not restricted to this use. prettyString the union of { killed bill proposed law, law, bill } (CollectionUnionFn (TheSet KilledBill-ProposedLaw Law Bill-ProposedLaw)) A collection of codes of conduct; a subcollection of <a href="http://sw.opencyc.org/concept/Mx4rvVivX5wpEbGdrcN5Y29ycA" class="cyc_term">FormalCOC</a> (the collection of formal codes of conduct). Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvVihYJwpEbGdrcN5Y29ycA" class="cyc_term">GovernmentCOC</a> is a formal regulation of behavior imposed upon agents -- including citizens, tourists, businesses, government entities, etc., in so far as they are subject to it -- who are located within the legal jurisdiction where that code of conduct holds. <a href="http://sw.opencyc.org/concept/Mx4rvVihYJwpEbGdrcN5Y29ycA" class="cyc_term">GovernmentCOC</a> includes both individual laws and whole legal codes. Some examples of <a href="http://sw.opencyc.org/concept/Mx4rvVihYJwpEbGdrcN5Y29ycA" class="cyc_term">GovernmentCOC</a> include: the Napoleonic Code, the United States Constitution and all Federal, State, and local laws of the United States, and the particular laws against stealing found in most, if not all, countries. Enforcement of a particular instance of <a href="http://sw.opencyc.org/concept/Mx4rvVihYJwpEbGdrcN5Y29ycA" class="cyc_term">GovernmentCOC</a> is authorized by the government associated with that code and carried out by its agents within their jurisdiction(s). See also <a href="http://sw.opencyc.org/concept/Mx4rvWXHupwpEbGdrcN5Y29ycA" class="cyc_term">LegalCode</a> and <a href="http://sw.opencyc.org/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a>. code of conduct imposed by government GovernmentCOC ObjectType type of object The collection of all collections that are "object-like" in at least one respect. A collection <code>COL</code> is object-like just in case there is some sense of 'part' according to which any (or nearly any) given proper part of an instance of <code>COL</code> is not itself an instance of <code>COL</code>; when this happens <code>COL</code> is said to be object-like with respect to that sense of 'part'. More precisely, for a collection <code>COL</code> to be an instance of <a href="http://sw.opencyc.org/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a> it is sufficient that there be some specialization <code>PARTPRED</code> of <a href="http://sw.opencyc.org/concept/Mx4rwgfukKs8QdePzLB9nLNpTw" class="cyc_term">properParts</a> such that, for any <code>OBJ1</code> and <code>OBJ2</code>, if <code>(<a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ1 COL)</code> and <code>(PARTPRED OBJ1 OBJ2)</code> both hold, then <code>(<a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ2 COL)</code> does not hold. (Also sufficient for <code>COL</code>'s being an object-type is that there be some specialization <code>INVPARTPRED</code> of the inverse of <a href="http://sw.opencyc.org/concept/Mx4rwgfukKs8QdePzLB9nLNpTw" class="cyc_term">properParts</a> (see <a href="http://sw.opencyc.org/concept/Mx4rvWHsNJwpEbGdrcN5Y29ycA" class="cyc_term">genlInverse</a>) such that <code>(INVPARTPRED OBJ2 OBJ1)</code>, with everything else remaining the same as above.) Note that neither of the above sufficient conditions for <code>COL</code>'s being an object-type is strictly necessary: some exceptions are allowed. Thus as long as either one of the above conditionals holds in nearly all cases, <code>COL</code> should be considered an instance of <a href="http://sw.opencyc.org/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. Here are two examples. Consider <a href="http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a>. Take an instance of that, say my car. Now consider one of the proper <a href="http://sw.opencyc.org/concept/Mx4rvVj5FpwpEbGdrcN5Y29ycA" class="cyc_term">physicalParts</a> of my car, say the steering wheel. The steering wheel is not an instance of <a href="http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a>. And the same would be true for any proper physical part of any car. So <a href="http://sw.opencyc.org/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a> is an <a href="http://sw.opencyc.org/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. Consider <a href="http://sw.opencyc.org/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a>. No proper <a href="http://sw.opencyc.org/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a> of a year is itself a year. So <a href="http://sw.opencyc.org/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a> is an <a href="http://sw.opencyc.org/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. See <a href="http://sw.opencyc.org/concept/Mx4rvVir35wpEbGdrcN5Y29ycA" class="cyc_term">StuffType</a> for the contrasting (though not disjoint) notion of being stuff-like. Wikipedia Article URL (<a href="http://sw.opencyc.org/concept/Mx4rNv0nbm4TTjOp7yhmnzOyqg" class="cyc_term">wikipediaArticleURL</a> THING URL) means that in <a href="http://sw.opencyc.org/concept/Mx4rtqXA6OC8QdiWC72DuLJdUw" class="cyc_term">Wikipedia_WebSite</a> THING is described by an article located at URL wikipediaArticleURL seeAlsoURI <code>(<a href="http://sw.opencyc.org/concept/Mx4riWVFR6HJSpaEaHrcWS3MSA" class="cyc_term">seeAlsoURI</a> THING URI)</code> means that a description of the resource identified by URI is likely to contain information pertinent to THING. This predicate is roughly equivalent to rdfs:seeAlso. See Also URI type of temporally stuff-like thing TemporalStuffType A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVir35wpEbGdrcN5Y29ycA" class="cyc_term">StuffType</a> (q.v.) whose instances are all and only those collections that are temporally stuff-like. A collection <code>COL</code> is temporally stuff-like just in case every purely temporal part (see <a href="http://sw.opencyc.org/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a>) of an instance of <code>COL</code> is itself an instance of <code>COL</code>, unless it is a temporal part of a temporal granule of <code>COL</code> (see <a href="http://sw.opencyc.org/concept/Mx4rvVjaJJwpEbGdrcN5Y29ycA" class="cyc_term">granuleOfTemporalStuff</a>). More precisely, for a collection <code>COL</code> to be an instance of <a href="http://sw.opencyc.org/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA" class="cyc_term">TemporalStuffType</a> it is both a necessary and sufficient condition that for any <code>OBJ1</code> and <code>OBJ2</code> (with <code>OBJ2</code> at or above <code>COL</code>'s temporal granularity level), if <code>(<a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ1 COL)</code> and <code>(<a href="http://sw.opencyc.org/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a> OBJ1 OBJ2)</code>, then <code>(<a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ2 COL)</code>. Consider <a href="http://sw.opencyc.org/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA" class="cyc_term">WalkingOnTwoLegs</a>. Take an arbitrary instance <code>WALK</code> of this collection (say Miss America 2000's victory walk down the runway and back); and then take an arbitrary time-slice <code>SUBWALK</code> of <code>WALK</code> that subsumes at least one instance of (the <a href="http://sw.opencyc.org/concept/Mx4rvVjaJJwpEbGdrcN5Y29ycA" class="cyc_term">granuleOfTemporalStuff</a> for <a href="http://sw.opencyc.org/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA" class="cyc_term">WalkingOnTwoLegs</a>) <a href="http://sw.opencyc.org/concept/Mx4rvViYBpwpEbGdrcN5Y29ycA" class="cyc_term">TakingAStep</a> (say her trip back from the end of the runway). <code>SUBWALK</code> is itself an instance of <a href="http://sw.opencyc.org/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA" class="cyc_term">WalkingOnTwoLegs</a>. So <a href="http://sw.opencyc.org/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA" class="cyc_term">WalkingOnTwoLegs</a> is an instance of <a href="http://sw.opencyc.org/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA" class="cyc_term">TemporalStuffType</a>. See <a href="http://sw.opencyc.org/concept/Mx4rvViq35wpEbGdrcN5Y29ycA" class="cyc_term">TemporalObjectType</a> for the disjoint notion of being temporally object-like. Law A <a href="http://sw.opencyc.org/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a> is a miniature <a href="http://sw.opencyc.org/concept/Mx4rvVihYJwpEbGdrcN5Y29ycA" class="cyc_term">GovernmentCOC</a> that expresses a legal requirement or restriction. For instance, one <a href="http://sw.opencyc.org/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a> might say, effectively, that bigamy is illegal. A <a href="http://sw.opencyc.org/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a> is declared to be part of a <a href="http://sw.opencyc.org/concept/Mx4rvWXHupwpEbGdrcN5Y29ycA" class="cyc_term">LegalCode</a> by using <a href="http://sw.opencyc.org/concept/Mx4rvZMY1ZwpEbGdrcN5Y29ycA" class="cyc_term">subWorks</a>. Note that one <a href="http://sw.opencyc.org/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a> can be part of more than one <a href="http://sw.opencyc.org/concept/Mx4rvWXHupwpEbGdrcN5Y29ycA" class="cyc_term">LegalCode</a>. law Law A <a href="http://sw.opencyc.org/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a> is a miniature <a href="http://sw.opencyc.org/concept/Mx4rvVihYJwpEbGdrcN5Y29ycA" class="cyc_term">GovernmentCOC</a> that expresses a legal requirement or restriction. For instance, one <a href="http://sw.opencyc.org/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a> might say, effectively, that bigamy is illegal. A <a href="http://sw.opencyc.org/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a> is declared to be part of a <a href="http://sw.opencyc.org/concept/Mx4rvWXHupwpEbGdrcN5Y29ycA" class="cyc_term">LegalCode</a> by using <a href="http://sw.opencyc.org/concept/Mx4rvZMY1ZwpEbGdrcN5Y29ycA" class="cyc_term">subWorks</a>. Note that one <a href="http://sw.opencyc.org/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a> can be part of more than one <a href="http://sw.opencyc.org/concept/Mx4rvWXHupwpEbGdrcN5Y29ycA" class="cyc_term">LegalCode</a>. law quotedIsa A binary <a href="http://sw.opencyc.org/concept/Mx4rDeDIGEW0EdaAAACgydogAg" class="cyc_term">MetaLanguagePredicate</a> (q.v.) that relates CycL expressions to the <a href="http://sw.opencyc.org/concept/Mx4raOoTci9qEdma4AACs1uxFw" class="cyc_term">SubLExpressionType</a>s (q.v.) of which they are instances. <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> is thus like a restricted version of <a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> (q.v.), but with one important difference: the first argument-place of <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> is "implicitly quoted" (see <a href="http://sw.opencyc.org/concept/Mx4rwHb_bZwpEbGdrcN5Y29ycA" class="cyc_term">quotedArgument</a>). So a ground atomic sentence of the form <code>(<a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> THING EXPR-TYPE)</code> does not mean that <code>THING</code> itself is an instance of <code>EXPR-TYPE</code>. Rather, such a sentence is partly self-referential, and means that the particular CycL expression appearing in the sentence's own first argument-position is an instance of <code>EXPR-TYPE</code>. Thus, <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> provides a convenient shorthand for stating certain things that would otherwise require explicit quotation (or some other device for naming expressions). This is better illustrated with a specific example. Suppose we wish to state that the CycL constant <code><a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a></code> is an instance of the CycL expression type #$PublicConstant. We cannot express this with the straightforward <a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> sentence <code>(<a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> <a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a> #$PublicConstant)</code>, as that states the falsehood that the IndianOcean itself -- which is not a constant but a body of water -- is a public constant. But we can express precisely what we want like this: <pre> (<a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> <a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a> #$PublicConstant) . </pre> Now <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> is a <a href="http://sw.opencyc.org/concept/Mx4rv4oJWZwpEbGdrcN5Y29ycA" class="cyc_term">MacroRelation</a> (q.v.), and by its <a href="http://sw.opencyc.org/concept/Mx4rvVjg7JwpEbGdrcN5Y29ycA" class="cyc_term">expansion</a> any given <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> sentence is equivalent to some <a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> sentence with an explicitly quoted first argument. The sentence displayed above turns out to be equivalent to: <pre> (<a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> (<a href="http://sw.opencyc.org/concept/Mx4rgGBbEkNuEdaAAACgydogAg" class="cyc_term">Quote</a> <a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a>) #$PublicConstant). </pre> But the <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> version has two related practical advantages over the <a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> version. First, the former is syntactically simpler than the latter. Second, the simpler syntax of the former makes it easier to browse in the Knowedge Base: while the <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> version is conveniently indexed under the KB Browser page for the constant <code><a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a></code>, the <a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> version would apparently be indexed under a separate, brand new page for the term <code>(<a href="http://sw.opencyc.org/concept/Mx4rgGBbEkNuEdaAAACgydogAg" class="cyc_term">Quote</a> <a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a>)</code>. Generalizing the point, <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> lets us avoid having potentially to double the number of pages currently in the browser. For the semantically more complicated (but rarely encountered) case in which <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a>'s first argument-place is filled with an open expression, see the accompanying #$cyclistNotes. Quoted Isa Law A <a href="http://sw.opencyc.org/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a> is a miniature <a href="http://sw.opencyc.org/concept/Mx4rvVihYJwpEbGdrcN5Y29ycA" class="cyc_term">GovernmentCOC</a> that expresses a legal requirement or restriction. For instance, one <a href="http://sw.opencyc.org/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a> might say, effectively, that bigamy is illegal. A <a href="http://sw.opencyc.org/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a> is declared to be part of a <a href="http://sw.opencyc.org/concept/Mx4rvWXHupwpEbGdrcN5Y29ycA" class="cyc_term">LegalCode</a> by using <a href="http://sw.opencyc.org/concept/Mx4rvZMY1ZwpEbGdrcN5Y29ycA" class="cyc_term">subWorks</a>. Note that one <a href="http://sw.opencyc.org/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a> can be part of more than one <a href="http://sw.opencyc.org/concept/Mx4rvWXHupwpEbGdrcN5Y29ycA" class="cyc_term">LegalCode</a>. law A specialization of <a href="http://sw.opencyc.org/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rwSZiGZwpEbGdrcN5Y29ycA" class="cyc_term">TextualPCW</a> is an abstract work whose propositional content is expressed, at least in substantial part, in text. Positive examples include instances of <a href="http://sw.opencyc.org/concept/Mx4rvViJb5wpEbGdrcN5Y29ycA" class="cyc_term">Novel_CW</a>, <a href="http://sw.opencyc.org/concept/Mx4rwPkghJwpEbGdrcN5Y29ycA" class="cyc_term">Article_PCW</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVjO-pwpEbGdrcN5Y29ycA" class="cyc_term">Resume</a>, and <a href="http://sw.opencyc.org/concept/Mx4rvVjTypwpEbGdrcN5Y29ycA" class="cyc_term">RestaurantMenu</a>. Negative examples include episodes of an instance of <a href="http://sw.opencyc.org/concept/Mx4rvnewlpwpEbGdrcN5Y29ycA" class="cyc_term">TVShow_CW</a>. <a href="http://sw.opencyc.org/concept/Mx4rwSZiGZwpEbGdrcN5Y29ycA" class="cyc_term">TextualPCW</a>s may include non-textual components which expand on or otherwise contribute to the propositional content of the work, but the propositional content of the <a href="http://sw.opencyc.org/concept/Mx4rwSZiGZwpEbGdrcN5Y29ycA" class="cyc_term">TextualPCW</a> could, alternatively, be expressed entirely in text. TextualPCW textual PCW wikipediaArticleName (<a href="http://sw.opencyc.org/concept/Mx4rTv-jk9SPTXa991kk5mAvHg" class="cyc_term">wikipediaArticleName</a> THING NAME) means that in <a href="http://sw.opencyc.org/concept/Mx4rtqXA6OC8QdiWC72DuLJdUw" class="cyc_term">Wikipedia_WebSite</a> THING is described by an article with the title NAME Wikipedia Article Name extracted by noun learner from motley fool UK corpus ExtractedByNounLearnerFromMotleyFoolUKCorpus