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 14602-14602	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 14603-14606
(externalImage Room "http://upload.wikimedia.org/wikipedia/commons/5/56/ OvalOffice.whitehouse.jpg")	pictureList.kif 141-141
(subclass Room StationaryArtifact)	Merge.kif 14601-14601	subclass Room and StationaryArtifact

appearance as argument number 2

(subclass Bathroom Room)	Mid-level-ontology.kif 13202-13202	subclass Bathroom and Room
(subclass Bedroom Room)	Mid-level-ontology.kif 13290-13290	subclass Bedroom and Room
(subclass BusinessCenter Room)	Hotel.kif 1598-1598	subclass BusinessCenter and Room
(subclass Classroom Room)	Mid-level-ontology.kif 13300-13300	subclass Classroom and Room
(subclass Closet Room)	Mid-level-ontology.kif 13213-13213	subclass Closet and Room
(subclass CourtRoom Room)	Mid-level-ontology.kif 13844-13844	subclass CourtRoom and Room
(subclass DiningRoom Room)	Mid-level-ontology.kif 13286-13286	subclass DiningRoom and Room
(subclass DressingRoom Room)	Mid-level-ontology.kif 13224-13224	subclass DressingRoom and Room
(subclass GameRoom Room)	Mid-level-ontology.kif 24948-24948	subclass GameRoom and Room
(subclass HotelFunctionRoom Room)	Hotel.kif 1634-1634	subclass HotelFunctionRoom and Room
(subclass HotelRoom Room)	Hotel.kif 114-114	subclass HotelRoom and Room
(subclass Kitchen Room)	Mid-level-ontology.kif 13261-13261	subclass Kitchen and Room
(subclass Nursery Room)	Mid-level-ontology.kif 24961-24961	subclass Nursery and Room
(subclass SelfServiceLaundry Room)	Mid-level-ontology.kif 23324-23324	subclass SelfServiceLaundry and Room
(subclass Solarium Room)	Mid-level-ontology.kif 24919-24919	subclass Solarium and Room
(subclass SteamBath Room)	Mid-level-ontology.kif 24987-24987	subclass SteamBath and Room
(termFormat ChineseLanguage Room "房间")	chinese_format.kif 1052-1052
(termFormat EnglishLanguage Room "room")	english_format.kif 1320-1320

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 24185-24197	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) (instance ?ROOM Room) (located ?KL ?ROOM) (instance ?DOOR Door) (part ?DOOR ?ROOM)) (hasPurpose ?KL (exists (?SOUND ?LIGHT ?IMPACT) (and (instance ?IMPACT Impacting) (patient ?IMPACT ?DOOR) (causes ?IMPACT ?SOUND) (instance ?SOUND RadiatingSound) (agent ?SOUND ?DOOR) (causes ?SOUND ?LIGHT) (instance ?LIGHT RadiatingLight) (agent ?LIGHT ?KL)))))	Mid-level-ontology.kif 23775-23792	instance Physical and KnockLight instance Object and Room located Physical and Object 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 RadiatingLight agent entity and Physical
(=> (and (located ?T ?R) (instance ?T Toilet) (instance ?R Room)) (instance ?R Bathroom))	Mid-level-ontology.kif 2663-2668	located Physical and Object instance Physical and Toilet instance Object and Room instance Object and Bathroom
(=> (and (viewType ?ROOM ?OBJ) (instance ?ROOM Room) (orientation ?OBJ ?ROOM Outside)) (modalAttribute (exists (?HUMAN ?SEE ?INST) (and (instance ?HUMAN Human) (located ?HUMAN ?ROOM) (instance ?SEE Seeing) (instance ?INST ?OBJ) (patient ?SEE ?INST) (agent ?SEE ?HUMAN))) Possibility))	Hotel.kif 924-937	viewType Object and Physical instance Object and Room orientation Physical, Object and Outside modalAttribute entity entity and entity instance entity and Human located entity and Object instance entity and Seeing instance entity and Physical patient entity and entity agent entity and entity and Possibility
(=> (instance ?ROOM Room) (exists (?BUILD) (and (instance ?BUILD Building) (properPart ?ROOM ?BUILD))))	Merge.kif 14608-14613	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 22464-22475	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 22477-22487	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 12946-12948	attribute Object and AdjoiningRoom instance Object and Room
(=> (instance ?C Ceiling) (exists (?R) (and (top ?C ?R) (instance ?R Room))))	Mid-level-ontology.kif 13047-13052	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 13011-13018	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 13037-13042	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 3674-3684	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 12890-12898	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 13024-13031	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 13002-13009	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 25029-25039	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