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

appearance as argument number 2

(disjoint Room Building)	Merge.kif 14484-14484	disjoint Room and Building
(subclass Auditorium Building)	Mid-level-ontology.kif 6987-6987	subclass Auditorium and Building
(subclass Barn Building)	Mid-level-ontology.kif 13386-13386	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 20259-20259	subclass EntertainmentBuilding and Building
(subclass FarmBuilding Building)	Mid-level-ontology.kif 6761-6761	subclass FarmBuilding and Building
(subclass GovernmentBuilding Building)	Mid-level-ontology.kif 20271-20271	subclass GovernmentBuilding and Building
(subclass HighRise Building)	Mid-level-ontology.kif 24610-24610	subclass HighRise and Building
(subclass HomeGarage Building)	Transportation.kif 2903-2903	subclass HomeGarage and Building
(subclass HotelVilla Building)	Hotel.kif 127-127	subclass HotelVilla and Building
(subclass LibraryBuilding Building)	Mid-level-ontology.kif 8200-8200	subclass LibraryBuilding and Building
(subclass MedicalClinicBuilding Building)	Mid-level-ontology.kif 7361-7361	subclass MedicalClinicBuilding and Building
(subclass OfficeBuilding Building)	Mid-level-ontology.kif 20373-20373	subclass OfficeBuilding and Building
(subclass ParkingGarage Building)	Transportation.kif 2904-2904	subclass ParkingGarage and Building
(subclass PlaceOfWorship Building)	Mid-level-ontology.kif 20382-20382	subclass PlaceOfWorship and Building
(subclass PoliceFacility Building)	Mid-level-ontology.kif 18592-18592	subclass PoliceFacility and Building
(subclass ReligiousBuilding Building)	Mid-level-ontology.kif 7605-7605	subclass ReligiousBuilding and Building
(subclass ResidentialBuilding Building)	Merge.kif 14531-14531	subclass ResidentialBuilding and Building
(subclass RestaurantBuilding Building)	Mid-level-ontology.kif 20425-20425	subclass RestaurantBuilding and Building
(subclass Store Building)	Mid-level-ontology.kif 6738-6738	subclass Store and Building
(subclass TerminalBuilding Building)	Transportation.kif 2888-2888	subclass TerminalBuilding and Building
(subclass TollBooth Building)	Transportation.kif 3045-3045	subclass TollBooth and Building
(termFormat ChineseLanguage Building "建筑物")	chinese_format.kif 1051-1051	termFormat ChineseLanguage, Building and "建筑物"
(termFormat EnglishLanguage Building "building")	english_format.kif 1318-1318	termFormat EnglishLanguage, Building and "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 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 24148-24160	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 12788-12798	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 12764-12776	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 14471-14481	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 18873-18882	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 13095-13104	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 18446-18453	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 12985-12992	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 13110-13123	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 13057-13062	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 13169-13174	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 8872-8877	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 13083-13088	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 8224-8231	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 8860-8866	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 13340-13347	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 13297-13302	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 13031-13036	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 14490-14495	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 7623-7628	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 12864-12872	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 12998-13005	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 12976-12983	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 24008-24019	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 24731-24740	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 17020-17031	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: