]> 2008/06/10 OpenCyc Knowledge Base Copyright© 2001-2008 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. 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. (SampleInstanceOfTypeForProgramFn (SpecsFn PartiallyTangible) CycAnalyticEnvironment-TheProgram) Sample Instance Of Type For Program Fn type of tangible thing the Cyc Analytic Environment A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvqsxpZwpEbGdrcN5Y29ycA" class="cyc_term">MilitaryAgent</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjvBZwpEbGdrcN5Y29ycA" class="cyc_term">MilitaryPerson</a> is a person belonging to one of the national military services (see the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwSpRNZwpEbGdrcN5Y29ycA" class="cyc_term">BranchOfMilitaryService</a>) of some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIeZwpEbGdrcN5Y29ycA" class="cyc_term">Country</a>. Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjvBZwpEbGdrcN5Y29ycA" class="cyc_term">MilitaryPerson</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjuzJwpEbGdrcN5Y29ycA" class="cyc_term">ArmyPersonnel</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi1mJwpEbGdrcN5Y29ycA" class="cyc_term">NavyPersonnel</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVinjJwpEbGdrcN5Y29ycA" class="cyc_term">MarinePersonnel</a>. MilitaryPerson military personnel Building building A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjGR5wpEbGdrcN5Y29ycA" class="cyc_term">FixedStructure</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjNP5wpEbGdrcN5Y29ycA" class="cyc_term">HumanShelterConstruction</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj7KJwpEbGdrcN5Y29ycA" class="cyc_term">Building</a> is a (usually large) fixed structure with walls and a roof, and with some inside area or areas designed to be occupied by humans (but not necessarily as a residence). Examples include the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLIPtpwpEbGdrcN5Y29ycA" class="cyc_term">EmpireStateBuilding</a>, Hearst Castle, an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjI9ZwpEbGdrcN5Y29ycA" class="cyc_term">AircraftHangar</a> at O'Hare, a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWRPO5wpEbGdrcN5Y29ycA" class="cyc_term">Lighthouse</a> in the Mediterranean sea, the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwaXpwpEbGdrcN5Y29ycA" class="cyc_term">SydneyOperaHouse</a>, and the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzXP5wpEbGdrcN5Y29ycA" class="cyc_term">WashingtonMonumentInWashingtonDC</a>. A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjT95wpEbGdrcN5Y29ycA" class="cyc_term">RoadVehicle</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a> is a four-wheeled road vehicle designed for carrying about two to eight passengers. Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViHlZwpEbGdrcN5Y29ycA" class="cyc_term">SportsCar</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVihFpwpEbGdrcN5Y29ycA" class="cyc_term">PickupTruck</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVihV5wpEbGdrcN5Y29ycA" class="cyc_term">Van</a>. This collection does _not_ include motorcycles or tractor-trailers (since both motorcycles and tractor-trailers are not four-wheeled vehicles), nor does it include buses (since buses are designed to carry more passengers than instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a> are designed to carry). car Automobile Buildings which are intended to house governments or parts of governments - state capitols, courthouses, etc. government building GovernmentalBuilding person A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViknpwpEbGdrcN5Y29ycA" class="cyc_term">SocialBeing</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVilYpwpEbGdrcN5Y29ycA" class="cyc_term">IndividualAgent</a>: the collection of all persons. Personhood is a vague, emotionally loaded yet extremely salient concept with respect to common-sense reasoning. Something is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> if it is an individual <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVinb5wpEbGdrcN5Y29ycA" class="cyc_term">IntelligentAgent</a> with perceptual sensibility, capable of complex social relationships, and possessing a certain moral sophistication and an intrinsic moral value, or -- if it lacks certain of these characteristics -- is a member of a distinct type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViknpwpEbGdrcN5Y29ycA" class="cyc_term">SocialBeing</a> (usually a species) which generally possesses such characteristics and is therefore acknowledged by other members of that type as a person within their social systems. Most currently known instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a> but there is no reason why all need be (consider <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvdRsSZwpEbGdrcN5Y29ycA" class="cyc_term">Hobbit</a>s in the fictional world of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi8lZwpEbGdrcN5Y29ycA" class="cyc_term">LordOfTheRings_Trilogy</a>). They need not even be instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVim7ZwpEbGdrcN5Y29ycA" class="cyc_term">BiologicalLivingObject</a> (consider the possibility of a person-like AI). Also note that <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> excludes non-human &quot;legal persons&quot;, who are, however, included in the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVinsZwpEbGdrcN5Y29ycA" class="cyc_term">LegalAgent</a>. Person A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rcbTVwc5uEdeX_wACs6hRuw" class="cyc_term">Facility_Generic</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjGR5wpEbGdrcN5Y29ycA" class="cyc_term">FixedStructure</a> or <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjTtJwpEbGdrcN5Y29ycA" class="cyc_term">Place</a> that is designed for a specific use or to accomodate a specific type of (human or animal) activity. facility Facility-Generic Politician politician An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWgxLZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByActivity</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjntpwpEbGdrcN5Y29ycA" class="cyc_term">Politician</a> is a person who is involved in politics. Specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjntpwpEbGdrcN5Y29ycA" class="cyc_term">Politician</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnc5wpEbGdrcN5Y29ycA" class="cyc_term">HeadOfState</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv4AMiJwpEbGdrcN5Y29ycA" class="cyc_term">ElectoralCandidate</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViNupwpEbGdrcN5Y29ycA" class="cyc_term">HeadOfPoliticalParty</a>. police officer LawEnforcementOfficer An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVii2ZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByOccupation</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnN5wpEbGdrcN5Y29ycA" class="cyc_term">PersonWithOccupation</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjgBJwpEbGdrcN5Y29ycA" class="cyc_term">LawEnforcementOfficer</a> is a person whose job is to detect and stop people engaged in illegal activities. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjgBJwpEbGdrcN5Y29ycA" class="cyc_term">LawEnforcementOfficer</a> includes members of local, state, and special police (e.g., transit police) forces, as well as federal agents (e.g., members of border patrols, national security agents). Consequently, a given instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjgBJwpEbGdrcN5Y29ycA" class="cyc_term">LawEnforcementOfficer</a> typically also belongs to one of the following collections: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVivPZwpEbGdrcN5Y29ycA" class="cyc_term">StateEmployee</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkCO5wpEbGdrcN5Y29ycA" class="cyc_term">LocalGovernmentEmployee</a>, or <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv-LcB5wpEbGdrcN5Y29ycA" class="cyc_term">NationalGovernmentEmployee</a> (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjn95wpEbGdrcN5Y29ycA" class="cyc_term">PublicSectorEmployee</a>). CommercialFacility commercial facility The collection of all specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>, that is, of all collections of (first-order) collections, and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHUFI8h_TEdaAAABQ2rksLw" class="cyc_term">ThirdOrderCollection</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> are collections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>s. Any instance of any instance of any instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>. SecondOrderCollection second-order Cyc collection (SampleInstanceOfTypeForProgramFn (SpecsFn PartiallyTangible) CycAnalyticEnvironment-TheProgram) Sample Instance Of Type For Program Fn type of tangible thing the Cyc Analytic Environment first-order collection An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNooX_CChEdaAAABQ2rksLw" class="cyc_term">FixedOrderCollection</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a> is the collection of all specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a> (q.v.) Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViq35wpEbGdrcN5Y29ycA" class="cyc_term">TemporalObjectType</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVny6pwpEbGdrcN5Y29ycA" class="cyc_term">ExistingStuffType</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a>. FirstOrderCollection (SampleInstanceOfTypeForProgramFn (SpecsFn PartiallyTangible) CycAnalyticEnvironment-TheProgram) Sample Instance Of Type For Program Fn type of tangible thing the Cyc Analytic Environment