Room - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Room

Room

appearance as argument number 1

(disjoint Room Building)	Merge.kif 15502-15502	disjoint Room and Building
(documentation Room ChineseLanguage "这是 Building 的 properPart，它由墙把它和 Building 的外墙和/ 或 Building 其他的 Room 分隔。有些 Room 会有特定的用途，例如：睡觉、洗澡、煮食和娱乐等等。")	chinese_format.kif 3588-3590
(documentation Room EnglishLanguage "A properPart of a Building which is separated from the exterior of the Building and/ or other Rooms of the Building by walls. Some Rooms may have a specific purpose, e.g. sleeping, bathing, cooking, entertainment, etc.")	Merge.kif 15503-15506
(externalImage Room "http://upload.wikimedia.org/wikipedia/commons/5/56/ OvalOffice.whitehouse.jpg")	pictureList.kif 141-141
(subclass Room StationaryArtifact)	Merge.kif 15501-15501	subclass Room and StationaryArtifact

appearance as argument number 2

(subclass Bathroom Room)	Mid-level-ontology.kif 15012-15012	subclass Bathroom and Room
(subclass Bedroom Room)	Mid-level-ontology.kif 15103-15103	subclass Bedroom and Room
(subclass BusinessCenter Room)	Hotel.kif 1650-1650	subclass BusinessCenter and Room
(subclass Classroom Room)	Mid-level-ontology.kif 15113-15113	subclass Classroom and Room
(subclass Closet Room)	Mid-level-ontology.kif 15023-15023	subclass Closet and Room
(subclass CourtRoom Room)	Mid-level-ontology.kif 15668-15668	subclass CourtRoom and Room
(subclass DiningRoom Room)	Mid-level-ontology.kif 15099-15099	subclass DiningRoom and Room
(subclass DressingRoom Room)	Mid-level-ontology.kif 15035-15035	subclass DressingRoom and Room
(subclass GameRoom Room)	Mid-level-ontology.kif 26243-26243	subclass GameRoom and Room
(subclass Hallway Room)	Mid-level-ontology.kif 15132-15132	subclass Hallway and Room
(subclass HotelFunctionRoom Room)	Hotel.kif 1686-1686	subclass HotelFunctionRoom and Room
(subclass HotelRoom Room)	Hotel.kif 119-119	subclass HotelRoom and Room
(subclass Kitchen Room)	Mid-level-ontology.kif 15073-15073	subclass Kitchen and Room
(subclass Nursery Room)	Mid-level-ontology.kif 26256-26256	subclass Nursery and Room
(subclass SelfServiceLaundry Room)	Mid-level-ontology.kif 24845-24845	subclass SelfServiceLaundry and Room
(subclass Solarium Room)	Mid-level-ontology.kif 26214-26214	subclass Solarium and Room
(subclass SteamBath Room)	Mid-level-ontology.kif 26267-26267	subclass SteamBath and Room
(termFormat ChineseLanguage Room "房间")	chinese_format.kif 1052-1052
(termFormat EnglishLanguage Room "room")	english_format.kif 1315-1315

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 25643-25655	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 ?KL KnockLight) (located ?KL ?ROOM) (instance ?ROOM Room) (instance ?DOOR Door) (part ?DOOR ?ROOM)) (hasPurpose ?KL (exists (?KNOCK ?SOUND ?LIGHT) (and (instance ?KNOCK Impacting) (patient ?KNOCK ?DOOR) (causes ?KNOCK ?SOUND) (instance ?SOUND RadiatingSound) (agent ?SOUND ?DOOR) (causes ?SOUND ?LIGHT) (instance ?LIGHT RadiatingVisibleLight) (instrument ?LIGHT ?KL)))))	Mid-level-ontology.kif 25305-25322	instance Physical and KnockLight located Physical and Object instance Object and Room instance Object and Door part Object and Object hasPurpose Physical and entity entity and entity instance entity and Impacting patient entity and Object causes entity and entity instance entity and RadiatingSound agent entity and Object causes entity and entity instance entity and RadiatingVisibleLight instrument entity and Physical
(=> (and (located ?T ?R) (instance ?T Toilet) (instance ?R Room)) (instance ?R Bathroom))	Mid-level-ontology.kif 2165-2170	located Physical and Object instance Physical and Toilet instance Object and Room instance Object and Bathroom
(=> (and (viewType ?ROOM ?OBJ) (instance ?ROOM Room) (instance ?INST ?OBJ) (orientation ?INST ?ROOM Outside)) (modalAttribute (exists (?HUMAN ?SEE) (and (instance ?HUMAN Human) (located ?HUMAN ?ROOM) (instance ?SEE Seeing) (patient ?SEE ?INST) (agent ?SEE ?HUMAN))) Possibility))	Hotel.kif 954-967	viewType Object and Physical instance Object and Room instance Object and Physical orientation Object, Object and Outside modalAttribute entity entity instance entity and Human located entity and Object instance entity and Seeing patient entity and Object agent entity and entity and Possibility
(=> (instance ?ROOM Room) (exists (?BUILD) (and (instance ?BUILD Building) (properPart ?ROOM ?BUILD))))	Merge.kif 15508-15513	instance Object and Room Entity instance Entity and Building properPart Object and Entity

consequent

(=> (and (unitNumber ?UNITSTR ?PLACE) (floorCode ?FLRCODE ?PLACE)) (exists (?UNIT ?FLOOR) (and (instance ?FLOOR BuildingLevel) (instance ?UNIT Room) (located ?UNIT ?FLOOR) (part ?FLOOR ?PLACE) (names ?UNITSTR ?UNIT) (names ?FLRCODE ?FLOOR))))	Mid-level-ontology.kif 24099-24110	unitNumber SymbolicString and PostalPlace floorCode SymbolicString and PostalPlace Physical Object instance Object and BuildingLevel instance Physical and Room located Physical and Object part Object and PostalPlace names SymbolicString and Physical names SymbolicString and Object
(=> (and (unitNumber ?UNITSTR ?PLACE) (not (exists (?FLR) (floorCode ?FLR ?PLACE)))) (exists (?UNIT) (and (instance ?UNIT Room) (names ?UNITSTR ?UNIT) (located ?UNIT ?PLACE))))	Mid-level-ontology.kif 24112-24122	unitNumber SymbolicString and PostalPlace SymbolicString floorCode SymbolicString and PostalPlace Physical instance Physical and Room names SymbolicString and Physical located Physical and PostalPlace
(=> (attribute ?ROOM OpenLayout) (and (instance ?ROOM Room) (exists (?R1 ?R2) (and (instance ?R1 Region) (instance ?R2 Region) (located ?R1 ?ROOM) (located ?R2 ?ROOM) (not (equal ?R1 ?R2)) (orientation ?R1 ?R2 Adjacent) (exists (?P1 ?P2) (and (instance ?P1 Process) (instance ?P2 Process) (hasPurpose ?R1 ?P1) (hasPurpose ?R2 ?P2))) (=> (and (instance ?H Agent) (located ?H ?R2)) (and (capability Seeing agent ?H) (capability Seeing patient ?R1)))))))	Dining.kif 909-933	attribute Object and OpenLayout instance Object and Room Object Object instance Object and Region instance Object and Region located Object and Object located Object and Object equal Object and Object orientation Object, Object and Adjacent Formula Formula instance Formula and Process instance Formula and Process hasPurpose Object and Formula hasPurpose Object and Formula instance Object and Agent located Object and Object capability Seeing, agent and Object capability Seeing, patient and Object
(=> (attribute ?X AdjoiningRoom) (instance ?X Room))	Mid-level-ontology.kif 14752-14754	attribute Object and AdjoiningRoom instance Object and Room
(=> (instance ?C Ceiling) (exists (?R) (and (top ?C ?R) (instance ?R Room))))	Mid-level-ontology.kif 14855-14860	instance SelfConnectedObject and Ceiling SelfConnectedObject top SelfConnectedObject and SelfConnectedObject instance SelfConnectedObject and Room
(=> (instance ?DOOR Door) (exists (?ARTIFACT) (and (part ?DOOR ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room)))))	Mid-level-ontology.kif 14818-14825	instance Object and Door Object part Object and Object instance Object and Building instance Object and Room
(=> (instance ?FLOOR Floor) (exists (?ARTIFACT) (and (part ?FLOOR ?ARTIFACT) (instance ?ARTIFACT Room))))	Mid-level-ontology.kif 14844-14849	instance Object and Floor Object part Object and Object instance Object and Room
(=> (instance ?P Wallpaper) (hasPurpose ?P (exists (?W ?R ?C) (and (instance ?W Wall) (part ?W ?R) (instance ?R Room) (instance ?C Covering) (patient ?C ?W) (instrument ?C ?P)))))	Mid-level-ontology.kif 3092-3102	instance Physical and Wallpaper hasPurpose Physical and entity entity and entity instance entity and Wall part entity and entity instance entity and Room instance entity and Covering patient entity and entity instrument entity and Physical
(=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle)))))	Mid-level-ontology.kif 14695-14703	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 14831-14838	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 14809-14816	instance Object and Doorway Object part Object and Object instance Object and Building instance Object and Room
(=> (instance ?X RoomHeater) (hasPurpose ?X (exists (?AIR ?HEATING ?ROOM) (and (instance ?AIR Air) (instance ?ROOM Room) (located ?AIR ?ROOM) (instance ?HEATING Heating) (patient ?HEATING ?AIR) (instrument ?HEATING ?X)))))	Mid-level-ontology.kif 26308-26318	instance Physical and RoomHeater hasPurpose Physical and entity entity and entity instance entity and Air instance entity and Room located entity and entity instance entity and Heating patient entity and entity instrument entity and Physical

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