Building - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Building ChineseLanguage "这是为了容纳 Human 和他们的活动 StationaryArtifact 的类别。")	chinese_format.kif 3586-3587
(documentation Building EnglishLanguage "The Class of StationaryArtifacts which are intended to house Humans and their activities.")	Merge.kif 15811-15812
(externalImage Building "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Two_story_single_family_home.jpg")	pictureList.kif 1677-1677
(externalImage Building "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Manhattan_at_Dusk_by_slonecker.jpg")	pictureList.kif 2126-2126
(subclass Building StationaryArtifact)	Merge.kif 15810-15810	Building is a subclass of stationary artifact

appearance as argument number 2

(disjoint Room Building)	Merge.kif 15827-15827	Room is disjoint from building
(subclass Auditorium Building)	Mid-level-ontology.kif 8093-8093	Auditorium is a subclass of building
(subclass Barn Building)	Mid-level-ontology.kif 16664-16664	Barn is a subclass of building
(subclass BaseballDugout Building)	Sports.kif 648-648	Baseball dugout is a subclass of building
(subclass CommercialBuilding Building)	Mid-level-ontology.kif 7817-7817	Commercial building is a subclass of building
(subclass EntertainmentBuilding Building)	Mid-level-ontology.kif 23504-23504	Entertainment building is a subclass of building
(subclass FarmBuilding Building)	Mid-level-ontology.kif 7864-7864	Farm building is a subclass of building
(subclass GovernmentBuilding Building)	Mid-level-ontology.kif 23516-23516	Government building is a subclass of building
(subclass HighRise Building)	Mid-level-ontology.kif 27598-27598	High rise is a subclass of building
(subclass HomeGarage Building)	Transportation.kif 3765-3765	Home garage is a subclass of building
(subclass HotelVilla Building)	Hotel.kif 132-132	Hotel villa is a subclass of building
(subclass LibraryBuilding Building)	Mid-level-ontology.kif 9249-9249	Library building is a subclass of building
(subclass MedicalClinicBuilding Building)	Mid-level-ontology.kif 8440-8440	Medical clinic building is a subclass of building
(subclass OfficeBuilding Building)	Mid-level-ontology.kif 23591-23591	Office building is a subclass of building
(subclass ParkingGarage Building)	Transportation.kif 3766-3766	Parking garage is a subclass of building
(subclass PlaceOfWorship Building)	Mid-level-ontology.kif 23634-23634	Place of worship is a subclass of building
(subclass PoliceFacility Building)	Mid-level-ontology.kif 22011-22011	Police facility is a subclass of building
(subclass ReligiousBuilding Building)	Mid-level-ontology.kif 8677-8677	Religious building is a subclass of building
(subclass ResidentialBuilding Building)	Merge.kif 15874-15874	Residential building is a subclass of building
(subclass RestaurantBuilding Building)	Mid-level-ontology.kif 23670-23670	Restaurant building is a subclass of building
(subclass SchoolBuilding Building)	Mid-level-ontology.kif 23596-23596	School building is a subclass of building
(subclass Store Building)	Mid-level-ontology.kif 7852-7852	Store is a subclass of building
(subclass TerminalBuilding Building)	Transportation.kif 3760-3760	Terminal building is a subclass of building
(subclass TollBooth Building)	Transportation.kif 3976-3976	Toll booth is a subclass of building
(termFormat ChineseLanguage Building "建筑物")	chinese_format.kif 1051-1051	Toll booth is a subclass of building

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain numberOfFloors 1 Building)

Hotel.kif 702-702

The number 1 argument of number of floors is an instance of building

antecedent

(=> (and (attribute ?X WheelchairAccessible) (or (instance ?X Building) (instance ?X Room))) (modalAttribute (exists (?MOTION ?WHEELCHAIR) (and (instance ?MOTION Motion) (instrument ?MOTION ?WHEELCHAIR) (instance ?WHEELCHAIR Wheelchair) (eventLocated ?MOTION ?X))) Possibility))	Mid-level-ontology.kif 27254-27266	If wheelchair accessible is an attribute of an object and the object is an instance of building or the object is an instance of room, then the statement there exist an entity and another entity such that the entity is an instance of motion and the other entity is an instrument for the entity and the other entity is an instance of wheelchair and the entity is located at the object has the modal force of possibility
(=> (and (instance ?LEVEL1 BuildingLevel) (instance ?LEVEL2 BuildingLevel) (instance ?BUILDING Building) (part ?LEVEL1 ?BUILDING) (part ?LEVEL2 ?BUILDING)) (exists (?STEPS) (and (instance ?STEPS Steps) (connects ?STEPS ?LEVEL1 ?LEVEL2))))	Mid-level-ontology.kif 16025-16035	If an object is an instance of building level and another object is an instance of building level and a third object is an instance of building and the object is a part of the third object and the other object is a part of the third object, then there exists a fourth object such that the fourth object is an instance of steps and the fourth object connects the object and the other object
(=> (and (instance ?S Stairway) (part ?S ?B) (instance ?B Building)) (hasPurpose ?S (exists (?L1 ?L2) (and (instance ?L1 BuildingLevel) (instance ?L2 BuildingLevel) (part ?L1 ?B) (part ?L2 ?B) (connects ?S ?L1 ?L2)))))	Mid-level-ontology.kif 16001-16013	If an object is an instance of stairway and the object is a part of another object and the other object is an instance of building, then the object has the purpose there exist an entity and another entity such that the entity is an instance of building level and the other entity is an instance of building level and the entity is a part of the other object and the other entity is a part of the other object and the object connects the entity and the other entity
(=> (and (instance ?UNIT SingleFamilyResidence) (home ?PERSON ?UNIT) (possesses ?PERSON ?UNIT) (not (instance ?UNIT Building))) (instance ?UNIT CondominiumUnit))	Mid-level-ontology.kif 7694-7700	If a permanent residence is an instance of single family residence and the home of a human is the permanent residence and the human possesses the permanent residence and the permanent residence is not an instance of building, then the permanent residence is an instance of condominium unit
(=> (and (possesses ?BUS ?PARK) (instance ?BUS CommercialAgent) (instance ?PARK ParkingLot) (instance ?BLDG Building) (located ?BUS ?BLDG) (customer ?BUS ?CUST) (holdsDuring ?T (located ?CUST ?BLDG)) (instance ?DRIVE Driving) (patient ?DRIVE ?VEHICLE) (agent ?DRIVE ?CUST) (destination ?DRIVE ?BLDG)) (holdsDuring ?T (confersRight (and (instance ?PUT Keeping) (destination ?PUT ?PARK) (patient ?PUT ?VEHICLE)) ?BUS ?CUST)))	TransportDetail.kif 106-125	If a cognitive agent possesses an object and the cognitive agent is an instance of commercial agent and the object is an instance of parking lot and another object is an instance of building and the cognitive agent is located at the other object and an agent is a customer of the cognitive agent and the agent is located at the other object holds during a time position and a process is an instance of driving and an entity is a patient of the process and the agent is an agent of the process and the process ends up at the other object, then the cognitive agent allows the agent to perform task of the type another entity is an instance of keeping and the other entity ends up at the object and the entity is a patient of the other entity holds during the time position
(=> (instance ?BUILDING Building) (exists (?HUMAN) (and (instance ?HUMAN Human) (or (inhabits ?HUMAN ?BUILDING) (exists (?ACT) (and (agent ?ACT ?HUMAN) (located ?ACT ?BUILDING)))))))	Merge.kif 15814-15824	If an object is an instance of building, then there exists an organism such that the organism is an instance of human and the organism lives in the object or there exists a process such that the organism is an agent of the process and the process is located at the object

consequent

(=> (and (instance ?CLOTHING OutdoorClothing) (holdsDuring ?TIME (wears ?PERSON ?CLOTHING))) (not (exists (?BUILDING) (and (instance ?BUILDING Building) (holdsDuring ?TIME (located ?PERSON ?BUILDING))))))	Mid-level-ontology.kif 5592-5600	If an entity is an instance of outdoor clothing and another entity wears the entity holds during a time position, then there doesn't exist a third entity such that the third entity is an instance of building and the other entity is located at the third entity holds during the time position
(=> (and (instance ?ORG Organization) (attribute ?ORG WarehousingAndStorage)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P ?OBJ) (and (instance ?EV Selling) (instance ?OBJ Object) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?B ?T) (and (instance ?T TimeInterval) (instance ?B Building) (possesses ?P ?OBJ) (holdsDuring ?T (located ?B ?OBJ)))) ?MEM ?P))))))	naics.kif 8776-8797	If a collection is an instance of organization and warehousing and storage is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist a cognitive agent and an entity such that the agent is an instance of selling and the entity is an instance of object and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist another entity and a third entity such that the third entity is an instance of time interval and the other entity is an instance of building and the cognitive agent possesses the entity and the other entity is located at the entity holds during the third entity
(=> (equal (StreetAddressFn ?PLACE ?ROAD ?CITY ?COUNTRY) ?AGENT) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?PLACE ?BUILDING))))	Mid-level-ontology.kif 7270-7276	If the street address of a stationary artifact, a roadway, a city and a nation is equal to an agent, then there exists an object such that the object is an instance of building and the stationary artifact is a part of the object
(=> (hasExpertise ?H Architecture) (exists (?D ?P ?B) (and (instance ?D ContentDevelopment) (agent ?D ?H) (result ?D ?P) (instance ?P Blueprint) (represents ?P ?B) (instance ?B Building))))	Mid-level-ontology.kif 22272-22281	If architecture has an expertise in a human, then there exist a process, an entity and another entity such that the process is an instance of content development and the human is an agent of the process and the entity is a result of the process and the entity is an instance of blueprint and the entity expresses the other entity and the other entity is an instance of building
(=> (instance ?BASEMENT Basement) (not (exists (?LEVEL ?BUILDING) (and (instance ?LEVEL BuildingLevel) (instance ?BUILDING Building) (part ?LEVEL ?BUILDING) (part ?BASEMENT ?BUILDING) (not (equal ?LEVEL ?BASEMENT)) (orientation ?LEVEL ?BASEMENT Below)))))	Mid-level-ontology.kif 16339-16348	If an object is an instance of basement, then there don't exist another object and a third object such that the other object is an instance of building level and the third object is an instance of building and the other object is a part of the third object and the object is a part of the third object and the other object is not equal to the object and the other object is below to the object
(=> (instance ?BU BuildingUnit) (exists (?O ?B) (and (instance ?B Building) (instance ?O Organization) (part ?BU ?B) (workLocation ?O ?BU))))	Mid-level-ontology.kif 21641-21648	If a stationary artifact is an instance of building unit, then there exist an organization and an object such that the object is an instance of building and the organization is an instance of organization and the stationary artifact is a part of the object and members of the organization work at the stationary artifact
(=> (instance ?C Carpentry) (exists (?B ?W) (and (instance ?B Building) (instance ?W Wood) (part ?W ?B) (result ?C ?B))))	Mid-level-ontology.kif 21881-21888	If a process is an instance of carpentry, then there exist an object and another object such that the object is an instance of building and the other object is an instance of wood and the other object is a part of the object and the object is a result of the process
(=> (instance ?DOOR Door) (exists (?ARTIFACT) (and (part ?DOOR ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room)))))	Mid-level-ontology.kif 16227-16234	If an object is an instance of door, then there exists another object such that the object is a part of the other object and the other object is an instance of building or the other object is an instance of room
(=> (instance ?E Elevator) (hasPurpose ?E (exists (?T ?L1 ?L2 ?B) (and (instance ?T Transportation) (origin ?T ?L1) (instance ?L1 BuildingLevel) (destination ?T ?L2) (instance ?L2 BuildingLevel) (not (equal ?L1 ?L2)) (part ?L1 ?B) (part ?L2 ?B) (instance ?B Building)))))	Mid-level-ontology.kif 16355-16368	If a physical is an instance of elevator, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of transportation and the entity originates at the other entity and the other entity is an instance of building level and the entity ends up at the third entity and the third entity is an instance of building level and the other entity is not equal to the third entity and the other entity is a part of the fourth entity and the third entity is a part of the fourth entity and the fourth entity is an instance of building
(=> (instance ?F Fireplace) (exists (?B) (and (instance ?B Building) (part ?F ?B))))	Mid-level-ontology.kif 16301-16306	If an object is an instance of fireplace, then there exists another object such that the other object is an instance of building and the object is a part of the other object
(=> (instance ?GARAGE Garage) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?GARAGE ?BUILDING))))	Mid-level-ontology.kif 16414-16419	If an object is an instance of garage, then there exists another object such that the other object is an instance of building and the object is a part of the other object
(=> (instance ?HALL Hallway) (hasPurpose ?HALL (exists (?TRAN ?BUILD ?R1 ?R2) (and (instance ?TRAN Translocation) (path ?TRAN ?HALL) (located ?HALL ?BUILD) (instance ?BUILD Building) (between ?R1 ?HALL ?R2) (instance ?R1 Room) (instance ?R2 Room) (located ?R1 ?BUILD) (located ?R2 ?BUILD) (not (equal ?R1 ?R2))))))	Mid-level-ontology.kif 16550-16565	If a physical is an instance of hall, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of translocation and the physical is path along which the entity occurs and the physical is located at the other entity and the other entity is an instance of building and the physical is between the third entity and the fourth entity and the third entity is an instance of room and the fourth entity is an instance of room and the third entity is located at the other entity and the fourth entity is located at the other entity and the third entity is not equal to the fourth entity
(=> (instance ?INDOORS Indoors) (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?INDOORS ?BUILDING Inside))))	Mid-level-ontology.kif 9918-9923	If an object is an instance of indoors, then there exists another object such that the other object is an instance of building and the object is inside to the other object
(=> (instance ?LEVEL BuildingLevel) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?LEVEL ?BUILDING))))	Mid-level-ontology.kif 16327-16332	If an object is an instance of building level, then there exists another object such that the other object is an instance of building and the object is a part of the other object
(=> (instance ?M ArtMuseum) (exists (?B ?A) (and (possesses ?M ?B) (instance ?B Building) (instance ?A ArtWork) (located ?A ?B))))	Mid-level-ontology.kif 9272-9279	If an agent is an instance of art museum, then there exist an object and a physical such that the agent possesses the object and the object is an instance of building and the physical is an instance of art work and the physical is located at the object
(=> (instance ?OUTDOORS Outdoors) (not (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?OUTDOORS ?BUILDING Inside)))))	Mid-level-ontology.kif 9906-9912	If an object is an instance of outdoors, then there doesn't exist another object such that the other object is an instance of building and the object is inside to the other object
(=> (instance ?PLANT IndustrialPlant) (or (instance ?PLANT Building) (exists (?BUILDING) (and (instance ?BUILDING Building) (located ?BUILDING ?PLANT)))))	Mid-level-ontology.kif 16617-16624	If an object is an instance of industrial plant, then the object is an instance of building or there exists a physical such that the physical is an instance of building and the physical is located at the object
(=> (instance ?PORCH Porch) (exists (?BUILDING) (and (instance ?BUILDING Building) (connected ?PORCH ?BUILDING))))	Mid-level-ontology.kif 16572-16577	If an object is an instance of veranda, then there exists another object such that the other object is an instance of building and the object is connected to the other object
(=> (instance ?ROOF Roof) (exists (?BUILDING) (and (instance ?BUILDING Building) (top ?ROOF ?BUILDING))))	Mid-level-ontology.kif 16274-16279	If a self connected object is an instance of roof, then there exists another self connected object such that the other self connected object is an instance of building and the top of the other self connected object is the self connected object
(=> (instance ?ROOM Room) (exists (?BUILD) (and (instance ?BUILD Building) (properPart ?ROOM ?BUILD))))	Merge.kif 15833-15838	If an object is an instance of room, then there exists another object such that the other object is an instance of building and the object is a proper part of the other object
(=> (instance ?STEEPLE Steeple) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?STEEPLE ?BUILDING))))	Mid-level-ontology.kif 8686-8691	If an object is an instance of steeple, then there exists another object such that the other object is an instance of building and the object is a part of the other object
(=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle)))))	Mid-level-ontology.kif 16104-16112	If an object is an instance of window, then there exists another object such that the object is a part of the other object and the other object is an instance of building or the other object is an instance of room or the other object is an instance of vehicle
(=> (instance ?WALL Wall) (exists (?ARTIFACT) (and (part ?WALL ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room)))))	Mid-level-ontology.kif 16240-16247	If an object is an instance of wall, then there exists another object such that the object is a part of the other object and the other object is an instance of building or the other object is an instance of room
(=> (instance ?WAY Doorway) (exists (?ARTIFACT) (and (part ?WAY ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room)))))	Mid-level-ontology.kif 16218-16225	If an object is an instance of doorway, then there exists another object such that the object is a part of the other object and the other object is an instance of building or the other object is an instance of room
(=> (instance ?X Courtyard) (and (not (exists (?ROOF) (and (instance ?ROOF Roof) (top ?ROOF ?X)))) (exists (?BLDG) (and (instance ?BLDG Building) (orientation ?X ?BLDG Surrounded)))))	Mid-level-ontology.kif 27116-27127	If a self connected object is an instance of courtyard, then there doesn't exist another self connected object such that the other self connected object is an instance of roof and the top of the self connected object is the other self connected object and there exists an object such that the object is an instance of building and the self connected object is surrounded to the object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: