Room - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint Room Building)	Merge.kif 15903-15903	Room is disjoint from building
(documentation Room ChineseLanguage "这是 Building 的 properPart，它由墙把它和 Building 的外墙和/ 或 Building 其他的 Room 分隔。有些 Room 会有特定的用途，例如：睡觉、洗澡、煮食和娱乐等等。")	chinese_format.kif 3588-3590	Room is disjoint from building
(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 15904-15907	Room is disjoint from building
(externalImage Room "http://upload.wikimedia.org/wikipedia/commons/5/56/ OvalOffice.whitehouse.jpg")	pictureList.kif 141-141	Room is disjoint from building
(subclass Room StationaryArtifact)	Merge.kif 15902-15902	Room is a subclass of stationary artifact

appearance as argument number 2

(subclass Bathroom Room)	Mid-level-ontology.kif 16855-16855	Bathroom is a subclass of room
(subclass Bedroom Room)	Mid-level-ontology.kif 16946-16946	Bedroom is a subclass of room
(subclass BusinessCenter Room)	Hotel.kif 1661-1661	Business center is a subclass of room
(subclass Classroom Room)	Mid-level-ontology.kif 16956-16956	Classroom is a subclass of room
(subclass Closet Room)	Mid-level-ontology.kif 16866-16866	Closet is a subclass of room
(subclass CourtRoom Room)	Mid-level-ontology.kif 17545-17545	Court room is a subclass of room
(subclass DiningRoom Room)	Mid-level-ontology.kif 16942-16942	Dining room is a subclass of room
(subclass DressingRoom Room)	Mid-level-ontology.kif 16878-16878	Dressing room is a subclass of room
(subclass GameRoom Room)	Mid-level-ontology.kif 28661-28661	Game room is a subclass of room
(subclass Hallway Room)	Mid-level-ontology.kif 16975-16975	Hall is a subclass of room
(subclass HotelFunctionRoom Room)	Hotel.kif 1697-1697	Hotel function room is a subclass of room
(subclass HotelRoom Room)	Hotel.kif 119-119	Hotel room is a subclass of room
(subclass Kitchen Room)	Mid-level-ontology.kif 16916-16916	Kitchen is a subclass of room
(subclass Nursery Room)	Mid-level-ontology.kif 28674-28674	Nursery is a subclass of room
(subclass SelfServiceLaundry Room)	Mid-level-ontology.kif 27046-27046	Self-service laundry is a subclass of room
(subclass Solarium Room)	Mid-level-ontology.kif 28632-28632	Solarium is a subclass of room
(subclass SteamBath Room)	Mid-level-ontology.kif 28685-28685	Steam bath is a subclass of room
(termFormat ChineseLanguage Room "房间")	chinese_format.kif 1052-1052	Steam bath is a subclass of room
(termFormat EnglishLanguage Room "room")	english_format.kif 1315-1315	Steam bath is a subclass of room
(termFormat FrenchLanguage Room "pi�ce")	french_format.kif 730-730	Steam bath is a subclass of room
(termFormat Hindi Room "kaksha")	terms-hindi.txt 261-261	Steam bath is a subclass of room
(termFormat ItalianLanguage Room "Stanza")	terms-it.txt 264-264	Steam bath is a subclass of room
(termFormat JapaneseLanguage Room "部屋")	japanese_format.kif 2414-2414	Steam bath is a subclass of room
(termFormat PortugueseLanguage Room "Comodo")	portuguese_format.kif 682-682	Steam bath is a subclass of room

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 28044-28056	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 ?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 27707-27724	If a physical is an instance of knock light and the physical is located at an object and the object is an instance of room and another object is an instance of door and the other object is a part of the object, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of impacting and the other object is a patient of the entity and the entity causes the other entity and the other entity is an instance of radiating sound and the other object is an agent of the other entity and the other entity causes the third entity and the third entity is an instance of radiating visible light and the physical is an instrument for the third entity
(=> (and (located ?T ?R) (instance ?T Toilet) (instance ?R Room)) (instance ?R Bathroom))	Mid-level-ontology.kif 2665-2670	If a physical is located at an object and the physical is an instance of toilet and the object is an instance of room, then the object is an instance of 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 962-975	If a person in an object can see a kind of physical and the object is an instance of room and another object is an instance of a kind of physical and the other object is outside to the object, then the statement there exist an entity and another entity such that the entity is an instance of human and the entity is located at the object and the other entity is an instance of seeing and the other object is a patient of the other entity and the entity is an agent of the other entity has the modal force of possibility
(=> (instance ?ROOM Room) (exists (?BUILD) (and (instance ?BUILD Building) (properPart ?ROOM ?BUILD))))	Merge.kif 15909-15914	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

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 26282-26293	If the unit number of a postal place is a symbolic string and another symbolic string is the floor of the postal place, then there exist a physical and an object such that the object is an instance of building level and the physical is an instance of room and the physical is located at the object and the object is a part of the postal place and the physical has &ames$"name" the symbolic string and the object has &ames$"name" the other symbolic string
(=> (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 26295-26305	If the unit number of a postal place is a symbolic string and there doesn't exist another symbolic string such that the other symbolic string is the floor of the postal place, then there exists a physical such that the physical is an instance of room and the physical has &ames$"name" the symbolic string and the physical is located at the postal place
(=> (attribute ?ROOM OpenLayout) (and (instance ?ROOM Room) (exists (?R1 ?R2 ?H) (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 AutonomousAgent) (located ?H ?R2)) (and (capability Seeing agent ?H) (capability Seeing patient ?R1)))))))	Dining.kif 956-980	If open layout is an attribute of an object, then the object is an instance of room and there exist another object, a third object and a fourth object such that the other object is an instance of region and the third object is an instance of region and the other object is located at the object and the third object is located at the object and equal the other object and the third object and the other object is adjacent to the third object and there exist a formula and another formula such that the formula is an instance of process and the other formula is an instance of process and the other object has the purpose the formula and the third object has the purpose the other formula and if the fourth object is an instance of agent and the fourth object is located at the third object, then the fourth object is capable of doing seeing as a agent and the other object is capable of doing seeing as a patient
(=> (attribute ?X AdjoiningRoom) (instance ?X Room))	Mid-level-ontology.kif 16595-16597	If adjoining room is an attribute of an object, then the object is an instance of room
(=> (instance ?C Ceiling) (exists (?R) (and (top ?C ?R) (instance ?R Room))))	Mid-level-ontology.kif 16698-16703	If a self connected object is an instance of ceiling, then there exists another self connected object such that the top of the other self connected object is the self connected object and the other self connected object is an instance of room
(=> (instance ?DOOR Door) (exists (?ARTIFACT) (and (part ?DOOR ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room)))))	Mid-level-ontology.kif 16661-16668	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 ?FLOOR Floor) (exists (?ARTIFACT) (and (part ?FLOOR ?ARTIFACT) (instance ?ARTIFACT Room))))	Mid-level-ontology.kif 16687-16692	If an object is an instance of floor, then there exists another object such that the object is a part of the other object and the other object is an instance of room
(=> (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 16984-16999	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 equal the third entity and the fourth entity
(=> (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 3574-3584	If a physical is an instance of wallpaper, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of wall and the entity is a part of the other entity and the other entity is an instance of room and the third entity is an instance of covering and the entity is a patient of the third entity and the physical is an instrument for the third entity
(=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle)))))	Mid-level-ontology.kif 16538-16546	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 16674-16681	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 16652-16659	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 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 28726-28736	If a physical is an instance of room heater, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of air and the third entity is an instance of room and the entity is located at the third entity and the other entity is an instance of heating and the entity is a patient of the other entity and the physical is an instrument for the other entity

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: