]> 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. Building building A specialization of both <a href="http://sw.opencyc.org/concept/Mx4rvVjGR5wpEbGdrcN5Y29ycA" class="cyc_term">FixedStructure</a> and <a href="http://sw.opencyc.org/concept/Mx4rvVjNP5wpEbGdrcN5Y29ycA" class="cyc_term">HumanShelterConstruction</a>. Each instance of <a href="http://sw.opencyc.org/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/concept/Mx4rwLIPtpwpEbGdrcN5Y29ycA" class="cyc_term">EmpireStateBuilding</a>, Hearst Castle, an <a href="http://sw.opencyc.org/concept/Mx4rvVjI9ZwpEbGdrcN5Y29ycA" class="cyc_term">AircraftHangar</a> at O'Hare, a <a href="http://sw.opencyc.org/concept/Mx4rvWRPO5wpEbGdrcN5Y29ycA" class="cyc_term">Lighthouse</a> in the Mediterranean sea, the <a href="http://sw.opencyc.org/concept/Mx4rwQwaXpwpEbGdrcN5Y29ycA" class="cyc_term">SydneyOperaHouse</a>, and the <a href="http://sw.opencyc.org/concept/Mx4rwPzXP5wpEbGdrcN5Y29ycA" class="cyc_term">WashingtonMonumentInWashingtonDC</a>. erections erection establishments buildings establishment Building http://en.wikipedia.org/wiki/Building http://www.w3.org/2006/03/wn/wn20/instances/synset-architecture-noun-1 http://www.w3.org/2006/03/wn/wn20/instances/synset-establishment-noun-4 The collection of all marble edifices. A <font color="#ff0000">#$BuildingCollection</font>. MarbleEdifice marble edifice Lighthouse lighthouse A specialization of <a href="http://sw.opencyc.org/concept/Mx4reZeH7iTfQdeVdtgCQ57mCg" class="cyc_term">NavigationBeacon</a> and <a href="http://sw.opencyc.org/concept/Mx4rwPK8UJwpEbGdrcN5Y29ycA" class="cyc_term">Tower</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvWRPO5wpEbGdrcN5Y29ycA" class="cyc_term">Lighthouse</a> is a tall structure topped by a powerful light used as a beacon or signal to aid marine navigation. cabin Cabin A collection of construction artifacts. Each element of <a href="http://sw.opencyc.org/concept/Mx4rvaD63JwpEbGdrcN5Y29ycA" class="cyc_term">Cabin</a> is a <a href="http://sw.opencyc.org/concept/Mx4rvVjmiZwpEbGdrcN5Y29ycA" class="cyc_term">HumanResidence</a> of a rustic nature, usually made primarily of wood. safe house A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjwdpwpEbGdrcN5Y29ycA" class="cyc_term">ModernHumanResidence</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rdXzhgOIGEdqAAAACs2IKaQ" class="cyc_term">SafeHouse_Refuge</a> is a residence that is used as a hiding place or secure refuge by individuals. Users of a safe house are usually members of the same organization and the residence is usually provided or maintained by that organization. Often, but not always, these organizations are criminal or covert in nature. SafeHouse-Refuge member of { public place, building, terminal } (CollectionIntersectionFn (TheSet PublicPlace Building Terminal-TransferPoint)) The collection <a href="http://sw.opencyc.org/concept/Mx4rv_z7VhZxEduAAAACs6hRXg" class="cyc_term">LargeBuilding</a> is the collection of all buildings that are generally considered to be large compared to other buildings. large building LargeBuilding organization headquarters (SubcollectionOfWithRelationFromTypeFn Building headquarters Organization) military building (CollectionIntersection2Fn Building MilitaryFacility) college or university campus building (SubcollectionOfWithRelationToTypeFn Building objectFoundInLocation (SubcollectionOfWithRelationFromTypeFn SchoolCampus hasCampus DegreeGrantingHigherEducationInstitution)) annex Annex The collection of all annexes. A <font color="#ff0000">#$BuildingCollection</font>. GovernmentalBuilding Buildings which are intended to house governments or parts of governments - state capitols, courthouses, etc. government building The collection of all instances of <a href="http://sw.opencyc.org/concept/Mx4rwQCNdpwpEbGdrcN5Y29ycA" class="cyc_term">AstronomicalObservatory</a> which are also <a href="http://sw.opencyc.org/concept/Mx4rvVidpZwpEbGdrcN5Y29ycA" class="cyc_term">ConstructionArtifact</a>s. Astronomical instruments are housed in each <a href="http://sw.opencyc.org/concept/Mx4rviaF-ZwpEbGdrcN5Y29ycA" class="cyc_term">AstronomicalObservatoryBuilding</a> (and may even be a part of the building). AstronomicalObservatoryBuilding astronomical observatory building residential building ResidentialBuilding (CollectionIntersection2Fn CommercialFacility Building) commercial building The collection of all commercial buildings. A type of <a href="http://sw.opencyc.org/concept/Mx4rvVj7KJwpEbGdrcN5Y29ycA" class="cyc_term">Building</a> and <a href="http://sw.opencyc.org/concept/Mx4rnFThIlsKEdaAAACQJ5pZBw" class="cyc_term">CommercialFacility</a>. airport terminal A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvYOiA5wpEbGdrcN5Y29ycA" class="cyc_term">Terminal_TransferPoint</a> and <a href="http://sw.opencyc.org/concept/Mx4rvVj7KJwpEbGdrcN5Y29ycA" class="cyc_term">Building</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvVj_BpwpEbGdrcN5Y29ycA" class="cyc_term">AirportTerminalBuilding</a> is a building from and to which passengers board and exit <a href="http://sw.opencyc.org/concept/Mx4rvViCi5wpEbGdrcN5Y29ycA" class="cyc_term">Airplane</a>s. AirportTerminalBuilding A specialization of both <a href="http://sw.opencyc.org/concept/Mx4rvVj7KJwpEbGdrcN5Y29ycA" class="cyc_term">Building</a> and <a href="http://sw.opencyc.org/concept/Mx4rvWjXAJwpEbGdrcN5Y29ycA" class="cyc_term">TransportFacility</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rv6ZmoZwpEbGdrcN5Y29ycA" class="cyc_term">RailroadStation</a> is a building located near railroad tracks whose primary purpose is to be a place where trains discharge and receive passengers (and possibly freight). train depot RailroadStation school building SchoolBuilding A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVj7KJwpEbGdrcN5Y29ycA" class="cyc_term">Building</a> and <a href="http://sw.opencyc.org/concept/Mx4rvViggZwpEbGdrcN5Y29ycA" class="cyc_term">ModernShelterConstruction</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvVjifZwpEbGdrcN5Y29ycA" class="cyc_term">SchoolBuilding</a> is a building where school classes meet and/or school adminstrative work is done. The physical quarters of a given school might include many school buildings. (SubcollectionOfWithRelationToTypeFn Building objectFoundInLocation Field-Agricultural) farm building bus station A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvWjXAJwpEbGdrcN5Y29ycA" class="cyc_term">TransportFacility</a> and <a href="http://sw.opencyc.org/concept/Mx4rvVigNpwpEbGdrcN5Y29ycA" class="cyc_term">HumanOccupationConstruct</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rGyB6uGbnQdichKPFIDIErQ" class="cyc_term">BusStation</a> is a structure, usually located in some city or town, whose primary purpose is to be a place where buses discharge and receive passengers. BusStation house-country House-Country A <a href="http://sw.opencyc.org/concept/Mx4rvh77wMhgQdeLO6jn0-WzrQ" class="cyc_term">House_Country</a> is a large house, mansion, or chateau, on a large estate. DetachedHouse detached house Individual residence separated from others, typically surrounded by a yard. <a href="http://sw.opencyc.org/concept/Mx4rvVjGDZwpEbGdrcN5Y29ycA" class="cyc_term">OneStoryBuilding</a> is a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVj7KJwpEbGdrcN5Y29ycA" class="cyc_term">Building</a>. Each instance is a building with exactly one story. OneStoryBuilding one-story building A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVj7KJwpEbGdrcN5Y29ycA" class="cyc_term">Building</a> and <a href="http://sw.opencyc.org/concept/Mx4rvVjwdpwpEbGdrcN5Y29ycA" class="cyc_term">ModernHumanResidence</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvVih-5wpEbGdrcN5Y29ycA" class="cyc_term">House_Modern</a> is a building constructed for people to live in for a long period of time. Generally, instances of this collection are between one and three stories tall (though they may be taller). Instances of this collection usually have indoor plumbing, a kitchen, at least one bathroom, one or more bedrooms, and at least one general indoor living area. house House-Modern hotel Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvViIe5wpEbGdrcN5Y29ycA" class="cyc_term">HotelBuilding</a> is a <a href="http://sw.opencyc.org/concept/Mx4rvVj7KJwpEbGdrcN5Y29ycA" class="cyc_term">Building</a> that consists primarily of a large number of <a href="http://sw.opencyc.org/concept/Mx4rvVixmpwpEbGdrcN5Y29ycA" class="cyc_term">HotelRoomUnit</a>s (q.v.), which are rented out on a short-term (e.g. nightly) basis. HotelBuilding ChemicalPlant-Facility chemical plant A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVj7KJwpEbGdrcN5Y29ycA" class="cyc_term">Building</a>, <a href="http://sw.opencyc.org/concept/Mx4rvViJnJwpEbGdrcN5Y29ycA" class="cyc_term">Workplace</a>, and <a href="http://sw.opencyc.org/concept/Mx4rvViggZwpEbGdrcN5Y29ycA" class="cyc_term">ModernShelterConstruction</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rIw08rmqmQdeWZrimBv-_IQ" class="cyc_term">ChemicalPlant_Facility</a> is one or more buildings and grounds in an area devoted to the manufacture or processing of chemical substances. This collection is intended to represent the complex of buildings comprising the plant, if there is more that one, not the individual buildings. hospital A specialization of <a href="http://sw.opencyc.org/concept/Mx4raPZQYlsLEdaAAACQJ5pZBw" class="cyc_term">MedicalFacility</a> and <a href="http://sw.opencyc.org/concept/Mx4rvViggZwpEbGdrcN5Y29ycA" class="cyc_term">ModernShelterConstruction</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvVjptJwpEbGdrcN5Y29ycA" class="cyc_term">HospitalBuilding</a> is a building that serves as (all or part of) the physical quarters of a given <a href="http://sw.opencyc.org/concept/Mx4rvViRwZwpEbGdrcN5Y29ycA" class="cyc_term">Hospital</a> (q.v.). A hospital building typically contains rooms for patients, examination rooms, operating rooms, doctors' offices, and nurses' stations. HospitalBuilding A <a href="http://sw.opencyc.org/concept/Mx4rvVj7KJwpEbGdrcN5Y29ycA" class="cyc_term">Building</a> in which <a href="http://sw.opencyc.org/concept/Mx4rwQySppwpEbGdrcN5Y29ycA" class="cyc_term">Prostitute</a>s engage in <a href="http://sw.opencyc.org/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA" class="cyc_term">SexualBehavior</a> with clients for money. brothel Brothel A large, rural building usually found on farms which is used to house livestock or for storage of farm implements. barn Barn (PropertyTypeOwnedByFn Building UnitedStatesArmy) buildings owned by the United States Army thatched roof building (SubcollectionOfWithRelationToTypeFn Building externalParts ThatchedRoof) ReligiousBuilding place of worship A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVj7KJwpEbGdrcN5Y29ycA" class="cyc_term">Building</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvVj0S5wpEbGdrcN5Y29ycA" class="cyc_term">ReligiousBuilding</a> is a building designed and primarily used for religious purposes. Specializations include <a href="http://sw.opencyc.org/concept/Mx4rwQwW0ZwpEbGdrcN5Y29ycA" class="cyc_term">Temple</a> and <a href="http://sw.opencyc.org/concept/Mx4rENHUNCTbQdeVBuqOqTr7Lw" class="cyc_term">Convent_Residence</a>. police station A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvZUQChOWQdiIh9EyzPtB2w" class="cyc_term">PoliceFacility</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rG6FNZrs7QdiUPd1oThnvrA" class="cyc_term">PoliceStation</a> is a building that serves as a quarters of a <a href="http://sw.opencyc.org/concept/Mx4rvzXOSZwpEbGdrcN5Y29ycA" class="cyc_term">PoliceOrganization</a>, and is where one or (usually) more <a href="http://sw.opencyc.org/concept/Mx4rgZcQmrrMEdaAAAACs6Mw3A" class="cyc_term">PoliceOfficer_Municipal</a>s work out of. PoliceStation two-story <a href="http://sw.opencyc.org/concept/Mx4rvVjGy5wpEbGdrcN5Y29ycA" class="cyc_term">TwoStoryBuilding</a> is a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVj7KJwpEbGdrcN5Y29ycA" class="cyc_term">Building</a>. Each instance is a building with exactly two stories. TwoStoryBuilding buildings owned by the United States (PropertyTypeOwnedByFn Building UnitedStatesOfAmerica) Farmhouse farmhouse A <a href="http://sw.opencyc.org/concept/Mx4rwQrb2pwpEbGdrcN5Y29ycA" class="cyc_term">Farmhouse</a> is a <a href="http://sw.opencyc.org/concept/Mx4rvVjmiZwpEbGdrcN5Y29ycA" class="cyc_term">HumanResidence</a> building located on a farm. It is where the farmers live. SmallBuilding small building Each <a href="http://sw.opencyc.org/concept/Mx4ri_ZQRq3pEdqAAAAOpmP6tw" class="cyc_term">Stable_Structure</a> is a building typically found on a farm or ranch which is intended to house large domesticated animals such as horses. Stables are often divided up into stalls intended for occupation by single animals. Stable-Structure stable foundry Foundry-Building A specialization of both <a href="http://sw.opencyc.org/concept/Mx4rvVj7KJwpEbGdrcN5Y29ycA" class="cyc_term">Building</a> and <a href="http://sw.opencyc.org/concept/Mx4rvViJnJwpEbGdrcN5Y29ycA" class="cyc_term">Workplace</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rI2ggbiTeQdeVabrJUUtQEQ" class="cyc_term">Foundry_Building</a> is a building where metal casting is done. MultiLevelBuilding multilevel building This is the collection of all <a href="http://sw.opencyc.org/concept/Mx4rvVj7KJwpEbGdrcN5Y29ycA" class="cyc_term">Building</a>s which have more than one <a href="http://sw.opencyc.org/concept/Mx4rvVjKCZwpEbGdrcN5Y29ycA" class="cyc_term">LevelOfAConstruction</a>. (CollectionIntersectionFn (TheSet Building HistoricalSite)) The collection of all historic buildings. A type of <a href="http://sw.opencyc.org/concept/Mx4rN9lf4CTeQdee4PjuZp8BLw" class="cyc_term">HistoricalSite</a> and <a href="http://sw.opencyc.org/concept/Mx4rvVj7KJwpEbGdrcN5Y29ycA" class="cyc_term">Building</a>. historic building BarBuilding pub The collection of all buildings that house bars (drinking establishments). A type of both <a href="http://sw.opencyc.org/concept/Mx4rvnXyPpwpEbGdrcN5Y29ycA" class="cyc_term">Bar_Place</a> and <a href="http://sw.opencyc.org/concept/Mx4rvVj7KJwpEbGdrcN5Y29ycA" class="cyc_term">Building</a>. ObservationTower The collection of observation towers, typically located in <a href="http://sw.opencyc.org/concept/Mx4rwVAaWpwpEbGdrcN5Y29ycA" class="cyc_term">Forest</a>s and used to visually detect forest fires. observation tower PostOfficeBuilding The collection of all buildings, each of which serves as the <a href="http://sw.opencyc.org/concept/Mx4rvViKIZwpEbGdrcN5Y29ycA" class="cyc_term">physicalQuarters</a> for some local <a href="http://sw.opencyc.org/concept/Mx4rvVilh5wpEbGdrcN5Y29ycA" class="cyc_term">PostOfficeOrganization</a>. post office building OfficeBuilding The collection of `modern' office buildings office building GrainElevator grain elevator The collection of buildings used to store and distribute grain (<a href="http://sw.opencyc.org/concept/Mx4rvViBppwpEbGdrcN5Y29ycA" class="cyc_term">GrainOfCereal</a>, q.v.). See also <a href="http://sw.opencyc.org/concept/Mx4rQSKjtksCEdqAAAACs6hO_g" class="cyc_term">BucketElevator</a>, a device used in grain elevators to move grain into bins. The collection of all rotundas. A type of <a href="http://sw.opencyc.org/concept/Mx4rvVj7KJwpEbGdrcN5Y29ycA" class="cyc_term">Building</a> and <a href="http://sw.opencyc.org/concept/Mx4rwQBfkZwpEbGdrcN5Y29ycA" class="cyc_term">RoundObject</a>. The concept <a href="http://sw.opencyc.org/concept/Mx4raPD59CzUQdifWZRjvlt6Ng" class="cyc_term">Rotunda</a> is a <a href="http://sw.opencyc.org/concept/Mx4rZvGxFv6_EdmAAAACs0uFOQ" class="cyc_term">BuildingConcept</a>. rotunda Rotunda bank building BankBuilding handicap accessible building Should say it has ramps, elevators, &c. HandicapAccessibleBuilding Boathouse The collection of boathouses, buildings whose primary function is to serve as storage for (and thus provide shelter to) boats. (see <a href="http://sw.opencyc.org/concept/Mx4rIDj6hi6jEdqAAAACs71DGQ" class="cyc_term">Boat</a>). boathouse Large many-roomed residences set in rural settings, often with extensive gardens, fountains, and outdoor <a href="http://sw.opencyc.org/concept/Mx4rvVis2pwpEbGdrcN5Y29ycA" class="cyc_term">Sculpture</a>s. Villa villa fire station FireStation A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVj7KJwpEbGdrcN5Y29ycA" class="cyc_term">Building</a> and <a href="http://sw.opencyc.org/concept/Mx4r2N9snqt1QdiZvKjw7ApqpQ" class="cyc_term">FirefightingEquipment</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rwQCO1pwpEbGdrcN5Y29ycA" class="cyc_term">FireStation</a> is a building where <a href="http://sw.opencyc.org/concept/Mx4rvgHg8pwpEbGdrcN5Y29ycA" class="cyc_term">Firefighter</a>s work and <a href="http://sw.opencyc.org/concept/Mx4r2N9snqt1QdiZvKjw7ApqpQ" class="cyc_term">FirefightingEquipment</a> is kept. greenhouse The collection of greenhouses Greenhouse the Lincoln Memorial LincolnMemorialInWashingtonDC the Alamo TheAlamo MissionSanJuan-SATX Mission San Juan MissionConcepcion-SATX Mission Conception Ka'bah A sanctuary in Mecca that Muslims believe to be the holiest place on Earth. Kabah WashingtonMonumentInWashingtonDC the Washington Monument Building1030 Building 1030 Schachnerstueberl An historic building in <a href="http://sw.opencyc.org/concept/Mx4rvhhMNJwpEbGdrcN5Y29ycA" class="cyc_term">CityOfTrattenbachAustria</a>, in which Ludwig Wittgenstein once rented rooms. Schachnerstueberl Building1028 Building 1028 MissionSanJose-SATX Mission San Jose Building1007 Building 1007 Building 1027 Building1027 Palace Of Fine Arts The Palace of Fine Arts Bldg in San Francisco. PalaceOfFineArts-SanFrancisco Building 1000 Building1000 RomanColiseum the Colosseum The famous ruined stadium in Rome Building 1029 Building1029 the Parthenon The Parthenon, a temple built in honor of Athena, is located in Athens, Greece. It was built in the mid-5th century BC. Parthenon the Sorbonne Sorbonne-Building The building housing the Sorbonne University, located in Paris, France. Mission Espada MissionEspada-SATX 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> <b>THING</b> <b>URI</b>)</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 TestOWLExportConcept test OWL export concept A <a href="http://sw.opencyc.org/concept/Mx4ret7qgOKgEdmAAAACs6hfSg" class="cyc_term">ConceptTypeByDomain</a> (q.v.). Instances of <a href="http://sw.opencyc.org/concept/Mx4r9fut4P7NEdmAAAACs2IKaQ" class="cyc_term">TestOWLExportConcept</a> are concepts each of which tests some aspect of the new export schema. The <a href="http://sw.opencyc.org/concept/Mx4rvrt5kZwpEbGdrcN5Y29ycA" class="cyc_term">collectionIntersection</a> of <a href="http://sw.opencyc.org/concept/Mx4rwLjlAJwpEbGdrcN5Y29ycA" class="cyc_term">GeographicalThing</a> and <a href="http://sw.opencyc.org/concept/Mx4rvVjTtJwpEbGdrcN5Y29ycA" class="cyc_term">Place</a> (q.v.). place that is also a geographical thing GeographicalPlace Sample Instance Of Type For Program Fn type of ______ tangible thing the Cyc Analytic Environment (SampleInstanceOfTypeForProgramFn (SpecsFn PartiallyTangible) CycAnalyticEnvironment-TheProgram) specializations of physical device device topic SpecializationsOfPhysicalDevice-Device-Topic Building building A specialization of both <a href="http://sw.opencyc.org/concept/Mx4rvVjGR5wpEbGdrcN5Y29ycA" class="cyc_term">FixedStructure</a> and <a href="http://sw.opencyc.org/concept/Mx4rvVjNP5wpEbGdrcN5Y29ycA" class="cyc_term">HumanShelterConstruction</a>. Each instance of <a href="http://sw.opencyc.org/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/concept/Mx4rwLIPtpwpEbGdrcN5Y29ycA" class="cyc_term">EmpireStateBuilding</a>, Hearst Castle, an <a href="http://sw.opencyc.org/concept/Mx4rvVjI9ZwpEbGdrcN5Y29ycA" class="cyc_term">AircraftHangar</a> at O'Hare, a <a href="http://sw.opencyc.org/concept/Mx4rvWRPO5wpEbGdrcN5Y29ycA" class="cyc_term">Lighthouse</a> in the Mediterranean sea, the <a href="http://sw.opencyc.org/concept/Mx4rwQwaXpwpEbGdrcN5Y29ycA" class="cyc_term">SydneyOperaHouse</a>, and the <a href="http://sw.opencyc.org/concept/Mx4rwPzXP5wpEbGdrcN5Y29ycA" class="cyc_term">WashingtonMonumentInWashingtonDC</a>. BT broaderTerm <code>(<a href="http://sw.opencyc.org/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> <b>TERM1</b> <b>TERM2</b>)</code> means that <code><b>TERM2</b></code> is <i>broader</i> than <code><b>TERM1</b></code>, in an extremely general sense of &quot;broader&quot;. For example, <code><b>TERM2</b></code> is, in the relevant sense, broader than <code><b>TERM1</b></code> if any of the following hold:<br><br> <code><b>TERM2</b></code> is a collection that subsumes <code><b>TERM1</b></code>; <br> <code><b>TERM2</b></code> is a collection that has <code><b>TERM1</b></code> as an instance; <br> <code><b>TERM2</b></code> is a collection, instances of which have instances of the collection <code><b>TERM1</b></code> as parts; <br> <code><b>TERM2</b></code> has <code><b>TERM1</b></code> as a part; <br><br> This list of reasons for why <code>(<a href="http://sw.opencyc.org/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> <b>TERM1</b> <b>TERM2</b>)</code> could hold is not exhaustive, but it should give a good indication of how general the <a href="http://sw.opencyc.org/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> relation actually is. SpatiallyDisjointObjectType type of object whose instances do not physically overlap A collection of collections and a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a> is a collection C of spatial things (see <a href="http://sw.opencyc.org/concept/Mx4rvVjpUZwpEbGdrcN5Y29ycA" class="cyc_term">SpatialThing</a>), where each of the spatial things in C is spatially disjoint with the other spatial things in C. <p/> For example, the collection <a href="http://sw.opencyc.org/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a> is an instance of <a href="http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>, since dogs do not spatially overlap. Even pregnant dogs do not spatially overlap the pups they bear; rather, pregnant dogs contain their unborn pups. Other instances of <a href="http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a> include <a href="http://sw.opencyc.org/concept/Mx4rwVGrQ5wpEbGdrcN5Y29ycA" class="cyc_term">LatitudeLine</a>, <a href="http://sw.opencyc.org/concept/Mx4rvW4n1pwpEbGdrcN5Y29ycA" class="cyc_term">CompactDisc_Audio</a>, and <a href="http://sw.opencyc.org/concept/Mx4rwR7UWZwpEbGdrcN5Y29ycA" class="cyc_term">PlanetaryBody</a>. An important specialization of <a href="http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a> is <a href="http://sw.opencyc.org/concept/Mx4rvVjlE5wpEbGdrcN5Y29ycA" class="cyc_term">SpatiallyDisjointRegionType</a> (a collection of specializations of <a href="http://sw.opencyc.org/concept/Mx4rvViACZwpEbGdrcN5Y29ycA" class="cyc_term">GeographicalRegion</a>, such as <a href="http://sw.opencyc.org/concept/Mx4rvVjnZ5wpEbGdrcN5Y29ycA" class="cyc_term">City</a> and <a href="http://sw.opencyc.org/concept/Mx4rwT-n15wpEbGdrcN5Y29ycA" class="cyc_term">TrueContinent</a>). 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 (CollectionDifferenceFn HumanScaleObject SpaceInAHOC) human-scale object that is not an indoor space FixedStructure fixed free-standing structure <a href="http://sw.opencyc.org/concept/Mx4rvVjGR5wpEbGdrcN5Y29ycA" class="cyc_term">FixedStructure</a> is a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVidpZwpEbGdrcN5Y29ycA" class="cyc_term">ConstructionArtifact</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvVjGR5wpEbGdrcN5Y29ycA" class="cyc_term">FixedStructure</a> is a human-constructed, freestanding object that exists in a fixed location. Examples include buildings, pyramids, the Great Wall of China, dams, bridges, elevated roadways, and canals. Such structures may have parts which are also instances of <a href="http://sw.opencyc.org/concept/Mx4rvVjGR5wpEbGdrcN5Y29ycA" class="cyc_term">FixedStructure</a> (e.g. bridge pilings) and parts which are not freestanding (e.g. the span of a bridge, or a room in a building). artifactual feature type <a href="http://sw.opencyc.org/concept/Mx4ru-8ymLHtEdmAAAACs6hO_g" class="cyc_term">ArtifactualFeatureType</a> is the collection of <a href="http://sw.opencyc.org/concept/Mx4r6-wc8BKxEdeIXwCgydofLQ" class="cyc_term">CartographicFeatureType</a>s which are <a href="http://sw.opencyc.org/concept/Mx4rvVkH_ZwpEbGdrcN5Y29ycA" class="cyc_term">Artifact</a>s, as opposed to naturally occuring. Positive examples include <a href="http://sw.opencyc.org/concept/Mx4rvVjzt5wpEbGdrcN5Y29ycA" class="cyc_term">WaterReservoir</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVjzcZwpEbGdrcN5Y29ycA" class="cyc_term">Canal</a>, and <a href="http://sw.opencyc.org/concept/Mx4rT2uByCTVQdeVZZaE0030Zg" class="cyc_term">Airfield</a>. Negative examples include <a href="http://sw.opencyc.org/concept/Mx4rvVjODZwpEbGdrcN5Y29ycA" class="cyc_term">Mountain</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVjktpwpEbGdrcN5Y29ycA" class="cyc_term">Ocean</a>, and <a href="http://sw.opencyc.org/concept/Mx4rvgD8VZwpEbGdrcN5Y29ycA" class="cyc_term">Mesa</a>. Also see <a href="http://sw.opencyc.org/concept/Mx4rummjkLHtEdmAAAACs6hO_g" class="cyc_term">NaturalFeatureType</a>, the corresponding collection for naturally occuring feature types. ArtifactualFeatureType A <a href="http://sw.opencyc.org/concept/Mx4ret7qgOKgEdmAAAACs6hfSg" class="cyc_term">ConceptTypeByDomain</a> (q.v.). Instances of <a href="http://sw.opencyc.org/concept/Mx4rZvGxFv6_EdmAAAACs0uFOQ" class="cyc_term">BuildingConcept</a> are collections and relations having to do with buildings. Specializations of <a href="http://sw.opencyc.org/concept/Mx4rvVj7KJwpEbGdrcN5Y29ycA" class="cyc_term">Building</a>, and relations used for describing the construction, parts, size, uses, and other features of various types of buildings are instances of this collection. buildings and structures concept BuildingConcept A specialization of both <a href="http://sw.opencyc.org/concept/Mx4rvViagpwpEbGdrcN5Y29ycA" class="cyc_term">ShelterConstruction</a> and <a href="http://sw.opencyc.org/concept/Mx4rvVigNpwpEbGdrcN5Y29ycA" class="cyc_term">HumanOccupationConstruct</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvVjNP5wpEbGdrcN5Y29ycA" class="cyc_term">HumanShelterConstruction</a> is a place designed to shelter people from the elements by allowing them to get indoors. Specializations include <a href="http://sw.opencyc.org/concept/Mx4rvVjwdpwpEbGdrcN5Y29ycA" class="cyc_term">ModernHumanResidence</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVjifZwpEbGdrcN5Y29ycA" class="cyc_term">SchoolBuilding</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVj_SJwpEbGdrcN5Y29ycA" class="cyc_term">ShoppingMallBuilding</a>, and many others. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvVjNP5wpEbGdrcN5Y29ycA" class="cyc_term">HumanShelterConstruction</a> must have a roof and typically has sides, though the latter may be flimsy (as in instances of <a href="http://sw.opencyc.org/concept/Mx4rvVi0AZwpEbGdrcN5Y29ycA" class="cyc_term">Tent</a>) or even absent (as in some instances of <a href="http://sw.opencyc.org/concept/Mx4rwQB7W5wpEbGdrcN5Y29ycA" class="cyc_term">ParkingGarage</a>). HumanShelterConstruction shelter intended for humans RealEstate A specialization of <a href="http://sw.opencyc.org/concept/Mx4rv6EfGZwpEbGdrcN5Y29ycA" class="cyc_term">Place_NonAgent</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rwQr0G5wpEbGdrcN5Y29ycA" class="cyc_term">RealEstate</a> is either a parcel of land or a land-based property that can be bought, sold, or rented. Notable specializations of <a href="http://sw.opencyc.org/concept/Mx4rwQr0G5wpEbGdrcN5Y29ycA" class="cyc_term">RealEstate</a> include <a href="http://sw.opencyc.org/concept/Mx4rvVj1yZwpEbGdrcN5Y29ycA" class="cyc_term">GroundsOfOrganization</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVj7KJwpEbGdrcN5Y29ycA" class="cyc_term">Building</a>, and <a href="http://sw.opencyc.org/concept/Mx4rvViggZwpEbGdrcN5Y29ycA" class="cyc_term">ModernShelterConstruction</a>. real estate 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 &quot;implicitly quoted&quot; (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> <b>THING</b> <b>EXPR-TYPE</b>)</code> does <i>not</i> mean that <code><b>THING</b></code> itself is an instance of <code><b>EXPR-TYPE</b></code>. Rather, such a sentence is partly self-referential, and means that the particular <i>CycL expression</i> appearing in the sentence's own first argument-position is an instance of <code><b>EXPR-TYPE</b></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). <p/> 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 <font color="#ff0000">#$PublicConstant</font>. 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> <font color="#ff0000">#$PublicConstant</font>)</code>, as that states the falsehood that the IndianOcean itself -- which is <i>not</i> 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> <font color="#ff0000">#$PublicConstant</font>) . </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 <i>explicitly</i> 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>) <font color="#ff0000">#$PublicConstant</font>). </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. <p/> 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 <i>open</i> expression, see the accompanying <font color="#ff0000">#$cyclistNotes</font>. Quoted Isa predicate or collection used in UCT representation PredicateOrCollection-UsedInUCTRepresentation Building building A specialization of both <a href="http://sw.opencyc.org/concept/Mx4rvVjGR5wpEbGdrcN5Y29ycA" class="cyc_term">FixedStructure</a> and <a href="http://sw.opencyc.org/concept/Mx4rvVjNP5wpEbGdrcN5Y29ycA" class="cyc_term">HumanShelterConstruction</a>. Each instance of <a href="http://sw.opencyc.org/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/concept/Mx4rwLIPtpwpEbGdrcN5Y29ycA" class="cyc_term">EmpireStateBuilding</a>, Hearst Castle, an <a href="http://sw.opencyc.org/concept/Mx4rvVjI9ZwpEbGdrcN5Y29ycA" class="cyc_term">AircraftHangar</a> at O'Hare, a <a href="http://sw.opencyc.org/concept/Mx4rvWRPO5wpEbGdrcN5Y29ycA" class="cyc_term">Lighthouse</a> in the Mediterranean sea, the <a href="http://sw.opencyc.org/concept/Mx4rwQwaXpwpEbGdrcN5Y29ycA" class="cyc_term">SydneyOperaHouse</a>, and the <a href="http://sw.opencyc.org/concept/Mx4rwPzXP5wpEbGdrcN5Y29ycA" class="cyc_term">WashingtonMonumentInWashingtonDC</a>. Building building A specialization of both <a href="http://sw.opencyc.org/concept/Mx4rvVjGR5wpEbGdrcN5Y29ycA" class="cyc_term">FixedStructure</a> and <a href="http://sw.opencyc.org/concept/Mx4rvVjNP5wpEbGdrcN5Y29ycA" class="cyc_term">HumanShelterConstruction</a>. Each instance of <a href="http://sw.opencyc.org/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/concept/Mx4rwLIPtpwpEbGdrcN5Y29ycA" class="cyc_term">EmpireStateBuilding</a>, Hearst Castle, an <a href="http://sw.opencyc.org/concept/Mx4rvVjI9ZwpEbGdrcN5Y29ycA" class="cyc_term">AircraftHangar</a> at O'Hare, a <a href="http://sw.opencyc.org/concept/Mx4rvWRPO5wpEbGdrcN5Y29ycA" class="cyc_term">Lighthouse</a> in the Mediterranean sea, the <a href="http://sw.opencyc.org/concept/Mx4rwQwaXpwpEbGdrcN5Y29ycA" class="cyc_term">SydneyOperaHouse</a>, and the <a href="http://sw.opencyc.org/concept/Mx4rwPzXP5wpEbGdrcN5Y29ycA" class="cyc_term">WashingtonMonumentInWashingtonDC</a>. Instances are the spatial regions (usually 3d) depicted or displayed in a visual image. scene ImageSpace 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 WordNetWorkflowConstant-NotFullyReviewed word net workflow constant not fully reviewed The collection of all <a href="http://sw.opencyc.org/concept/Mx4rvzSRxJwpEbGdrcN5Y29ycA" class="cyc_term">CycLConstant</a>s created from the import of concepts from <a href="http://sw.opencyc.org/concept/Mx4rtfZxnO-3QdibF4NWtMhnaQ" class="cyc_term">WordNet_Version2_0</a> that have not yet been fully reviewed by a <a href="http://sw.opencyc.org/concept/Mx4rvViX3ZwpEbGdrcN5Y29ycA" class="cyc_term">HumanCyclist</a>.