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 14559-14560
(externalImage Building "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Two-story_single-family_home.jpg")	pictureList.kif 1679-1679
(externalImage Building "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Manhattan_at_Dusk_by_slonecker.jpg")	pictureList.kif 2128-2128
(subclass Building StationaryArtifact)	Merge.kif 14558-14558	subclass Building and StationaryArtifact

appearance as argument number 2

(disjoint Room Building)	Merge.kif 14575-14575	disjoint Room and Building
(subclass Auditorium Building)	Mid-level-ontology.kif 6987-6987	subclass Auditorium and Building
(subclass Barn Building)	Mid-level-ontology.kif 13387-13387	subclass Barn and Building
(subclass BaseballDugout Building)	Sports.kif 534-534	subclass BaseballDugout and Building
(subclass CommercialBuilding Building)	Mid-level-ontology.kif 6703-6703	subclass CommercialBuilding and Building
(subclass EntertainmentBuilding Building)	Mid-level-ontology.kif 20271-20271	subclass EntertainmentBuilding and Building
(subclass FarmBuilding Building)	Mid-level-ontology.kif 6761-6761	subclass FarmBuilding and Building
(subclass GovernmentBuilding Building)	Mid-level-ontology.kif 20283-20283	subclass GovernmentBuilding and Building
(subclass HighRise Building)	Mid-level-ontology.kif 24622-24622	subclass HighRise and Building
(subclass HomeGarage Building)	Transportation.kif 2912-2912	subclass HomeGarage and Building
(subclass HotelVilla Building)	Hotel.kif 127-127	subclass HotelVilla and Building
(subclass LibraryBuilding Building)	Mid-level-ontology.kif 8201-8201	subclass LibraryBuilding and Building
(subclass MedicalClinicBuilding Building)	Mid-level-ontology.kif 7362-7362	subclass MedicalClinicBuilding and Building
(subclass OfficeBuilding Building)	Mid-level-ontology.kif 20385-20385	subclass OfficeBuilding and Building
(subclass ParkingGarage Building)	Transportation.kif 2913-2913	subclass ParkingGarage and Building
(subclass PlaceOfWorship Building)	Mid-level-ontology.kif 20394-20394	subclass PlaceOfWorship and Building
(subclass PoliceFacility Building)	Mid-level-ontology.kif 18593-18593	subclass PoliceFacility and Building
(subclass ReligiousBuilding Building)	Mid-level-ontology.kif 7606-7606	subclass ReligiousBuilding and Building
(subclass ResidentialBuilding Building)	Merge.kif 14622-14622	subclass ResidentialBuilding and Building
(subclass RestaurantBuilding Building)	Mid-level-ontology.kif 20437-20437	subclass RestaurantBuilding and Building
(subclass Store Building)	Mid-level-ontology.kif 6738-6738	subclass Store and Building
(subclass TerminalBuilding Building)	Transportation.kif 2897-2897	subclass TerminalBuilding and Building
(subclass TollBooth Building)	Transportation.kif 3054-3054	subclass TollBooth and Building
(termFormat ChineseLanguage Building "建筑物")	chinese_format.kif 1051-1051
(termFormat EnglishLanguage Building "building")	english_format.kif 1318-1318

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 675-675

domain numberOfFloors, 1 and 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 24160-24172	attribute Object and WheelchairAccessible instance Object and Building instance Object and Room modalAttribute entity entity instance entity and Motion instrument entity and entity instance entity and Wheelchair eventLocated entity and Object and 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 12789-12799	instance Object and BuildingLevel instance Object and BuildingLevel instance Object and Building part Object and Object part Object and Object Object instance Object and Steps connects Object, Object and 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 12765-12777	instance Object and Stairway part Object and Object instance Object and Building hasPurpose Object and entity entity instance entity and BuildingLevel instance entity and BuildingLevel part entity and Object part entity and Object connects Object, entity and entity
(=> (and (instance ?UNIT SingleFamilyResidence) (home ?PERSON ?UNIT) (possesses ?PERSON ?UNIT) (not (instance ?UNIT Building))) (instance ?UNIT CondominiumUnit))	Mid-level-ontology.kif 6594-6600	instance PermanentResidence and SingleFamilyResidence home Human and PermanentResidence possesses Human and PermanentResidence instance PermanentResidence and Building instance PermanentResidence and CondominiumUnit
(=> (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 102-121	possesses CognitiveAgent and Object instance CognitiveAgent and CommercialAgent instance Object and ParkingLot instance Object and Building located CognitiveAgent and Object customer CognitiveAgent and CognitiveAgent holdsDuring TimePosition and located CognitiveAgent and Object instance Process and Driving patient Process and Entity agent Process and CognitiveAgent destination Process and Object holdsDuring TimePosition and confersRight instance entity and Keeping destination entity and Object patient entity and Entity, CognitiveAgent and CognitiveAgent
(=> (instance ?BUILDING Building) (exists (?HUMAN) (and (instance ?HUMAN Human) (or (inhabits ?HUMAN ?BUILDING) (exists (?ACT) (and (agent ?ACT ?HUMAN) (located ?ACT ?BUILDING)))))))	Merge.kif 14562-14572	instance Object and Building Organism instance Organism and Human inhabits Organism and Object Process agent Process and Organism located Process and 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 5339-5346	instance Entity and OutdoorClothing holdsDuring TimePosition and wears entity and Entity Entity instance Entity and Building holdsDuring TimePosition and located entity and Entity
(=> (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 8699-8720	instance Collection and Organization attribute Collection and WarehousingAndStorage Agent Object member Object and Collection agent Object and Agent CognitiveAgent Entity instance Agent and Selling instance Entity and Object instance CognitiveAgent and Human patient Agent and CognitiveAgent confersRight entity entity instance entity and TimeInterval instance entity and Building possesses CognitiveAgent and Entity holdsDuring entity and located entity and Entity, Object and CognitiveAgent
(=> (equal (StreetAddressFn ?PLACE ?ROAD ?CITY ?COUNTRY) ?AGENT) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?PLACE ?BUILDING))))	Mid-level-ontology.kif 6381-6387	equal StreetAddressFn StationaryArtifact, Roadway, City and Nation and Agent Object instance Object and Building part StationaryArtifact and 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 18874-18883	hasExpertise Human and Architecture Process Entity and Entity instance Process and ContentDevelopment agent Process and Human result Process and Entity instance Entity and Blueprint represents Entity and Entity instance Entity and 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 13096-13105	instance Object and Basement Object Object instance Object and BuildingLevel instance Object and Building part Object and Object part Object and Object equal Object and Object orientation Object, Object and Below
(=> (instance ?C Carpentry) (exists (?B) (and (instance ?B Building) (instance ?W Wood) (part ?W ?B) (result ?C ?B))))	Mid-level-ontology.kif 18447-18454	instance Process and Carpentry Object instance Object and Building instance Object and Wood part Object and Object result Process and Object
(=> (instance ?DOOR Door) (exists (?ARTIFACT) (and (part ?DOOR ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room)))))	Mid-level-ontology.kif 12986-12993	instance Object and Door Object part Object and Object instance Object and Building instance Object and 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 13111-13124	instance Physical and Elevator hasPurpose Physical and entity entity, entity and entity instance entity and Transportation origin entity and entity instance entity and BuildingLevel destination entity and entity instance entity and BuildingLevel equal entity and entity part entity and entity part entity and entity instance entity and Building
(=> (instance ?F Fireplace) (exists (?B) (and (instance ?B Building) (part ?F ?B))))	Mid-level-ontology.kif 13058-13063	instance Object and Fireplace Object instance Object and Building part Object and Object
(=> (instance ?GARAGE Garage) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?GARAGE ?BUILDING))))	Mid-level-ontology.kif 13170-13175	instance Object and Garage Object instance Object and Building part Object and Object
(=> (instance ?INDOORS Indoors) (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?INDOORS ?BUILDING Inside))))	Mid-level-ontology.kif 8873-8878	instance Object and Indoors Object instance Object and Building orientation Object, Object and Inside
(=> (instance ?LEVEL BuildingLevel) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?LEVEL ?BUILDING))))	Mid-level-ontology.kif 13084-13089	instance Object and BuildingLevel Object instance Object and Building part Object and Object
(=> (instance ?M ArtMuseum) (exists (?B ?A) (and (possesses ?M ?B) (instance ?B Building) (instance ?A ArtWork) (located ?A ?B))))	Mid-level-ontology.kif 8225-8232	instance Agent and ArtMuseum Object Physical possesses Agent and Object instance Object and Building instance Physical and ArtWork located Physical and Object
(=> (instance ?OUTDOORS Outdoors) (not (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?OUTDOORS ?BUILDING Inside)))))	Mid-level-ontology.kif 8861-8867	instance Object and Outdoors Object instance Object and Building orientation Object, Object and Inside
(=> (instance ?PLANT IndustrialPlant) (or (instance ?PLANT Building) (exists (?BUILDING) (and (instance ?BUILDING Building) (located ?BUILDING ?PLANT)))))	Mid-level-ontology.kif 13341-13348	instance Object and IndustrialPlant instance Object and Building Physical instance Physical and Building located Physical and Object
(=> (instance ?PORCH Porch) (exists (?BUILDING) (and (instance ?BUILDING Building) (connected ?PORCH ?BUILDING))))	Mid-level-ontology.kif 13298-13303	instance Object and Porch Object instance Object and Building connected Object and Object
(=> (instance ?ROOF Roof) (exists (?BUILDING) (and (instance ?BUILDING Building) (top ?ROOF ?BUILDING))))	Mid-level-ontology.kif 13032-13037	instance SelfConnectedObject and Roof SelfConnectedObject instance SelfConnectedObject and Building top SelfConnectedObject and SelfConnectedObject
(=> (instance ?ROOM Room) (exists (?BUILD) (and (instance ?BUILD Building) (properPart ?ROOM ?BUILD))))	Merge.kif 14581-14586	instance Object and Room Entity instance Entity and Building properPart Object and Entity
(=> (instance ?STEEPLE Steeple) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?STEEPLE ?BUILDING))))	Mid-level-ontology.kif 7624-7629	instance Object and Steeple Object instance Object and Building part Object and Object
(=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle)))))	Mid-level-ontology.kif 12865-12873	instance Object and Window Object part Object and Object instance Object and Building instance Object and Room instance Object and Vehicle
(=> (instance ?WALL Wall) (exists (?ARTIFACT) (and (part ?WALL ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room)))))	Mid-level-ontology.kif 12999-13006	instance Object and Wall Object part Object and Object instance Object and Building instance Object and Room
(=> (instance ?WAY Doorway) (exists (?ARTIFACT) (and (part ?WAY ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room)))))	Mid-level-ontology.kif 12977-12984	instance Object and Doorway Object part Object and Object instance Object and Building instance Object and 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 24020-24031	instance SelfConnectedObject and Courtyard SelfConnectedObject instance SelfConnectedObject and Roof top SelfConnectedObject and SelfConnectedObject Object instance Object and Building orientation SelfConnectedObject, Object and Surrounded
(=> (instance ?X Patio) (and (modalAttribute (attribute ?X Paved) Likely) (exists (?BLDG) (and (instance ?BLDG Building) (orientation ?X ?BLDG Adjacent) (located ?X Outdoors)))))	Mid-level-ontology.kif 24743-24752	instance Object and Patio modalAttribute attribute Object and Paved and Likely Object instance Object and Building orientation Object, Object and Adjacent located Object and Outdoors
(=> (orientation ?OBJ1 ?OBJ2 Downstairs) (exists (?LEVEL1 ?LEVEL2 ?BUILDING) (and (instance ?LEVEL1 BuildingLevel) (instance ?LEVEL2 BuildingLevel) (instance ?BUILDING Building) (part ?LEVEL1 ?BUILDING) (part ?LEVEL2 ?BUILDING) (located ?OBJ1 ?LEVEL1) (located ?OBJ2 ?LEVEL2) (orientation ?LEVEL1 ?LEVEL2 Below))))	Mid-level-ontology.kif 17021-17032	orientation Object, Object and Downstairs Object Object and Object instance Object and BuildingLevel instance Object and BuildingLevel instance Object and Building part Object and Object part Object and Object located Object and Object located Object and Object orientation Object, Object and Below

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: