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(room)

ER, OR, Turkish_bath, accommodation, alcove, amen_corner, amphitheater, amphitheatre, anechoic_chamber, annex, annexe, antechamber, anteroom, apadana, apse, apsidal, apsis, artist's_workroom, assembly_hall, atelier, atrium, back_room, backroom, bank_vault, bay, bedsit, bedsitter, bedsitting_room, beer_hall, belfry, billiard_hall, billiard_parlor, billiard_parlour, billiard_room, billiard_saloon, boardroom, booth, boudoir, box, brig, broom_closet, bullpen, burial_vault, buttery, cabin_class, canteen, cardroom, cell, cellar, chamber...

appearance as argument number 1

s__disjoint(s__Room,s__Building)	Merge.kif 15102-15102	Room is disjoint from building
s__documentation(s__Room,s__ChineseLanguage,'"这是 Building 的 properPart，它由墙把它和 Building 的外墙和/ 或 Building 其他的 Room 分隔。有些 Room 会有特定的用途，例如：睡觉、洗澡、煮食和娱乐等等。"')	chinese_format.kif 3588-3590
s__documentation(s__Room,s__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 15103-15106
s__externalImage(s__Room,'"http://upload.wikimedia.org/wikipedia/commons/5/56/ OvalOffice.whitehouse.jpg"')	pictureList.kif 141-141
s__instance(s__StationaryArtifact,s__Class) s__instance(s__Room,s__Class) s__subclass(s__Room,s__StationaryArtifact)	Merge.kif 15101-15101	Room is a subclass of stationary artifact

appearance as argument number 2

s__instance(s__Bathroom,s__Class) s__subclass(s__Bathroom,s__Room) s__instance(s__Room,s__Class)	Mid-level-ontology.kif 14792-14792	Bathroom is a subclass of room
s__instance(s__Bedroom,s__Class) s__instance(s__Room,s__Class) s__subclass(s__Bedroom,s__Room)	Mid-level-ontology.kif 14883-14883	Bedroom is a subclass of room
s__instance(s__Room,s__Class) s__instance(s__BusinessCenter,s__Class) s__subclass(s__BusinessCenter,s__Room)	Hotel.kif 1625-1625	Business center is a subclass of room
s__instance(s__Classroom,s__Class) s__subclass(s__Classroom,s__Room) s__instance(s__Room,s__Class)	Mid-level-ontology.kif 14893-14893	Classroom is a subclass of room
s__subclass(s__Closet,s__Room) s__instance(s__Closet,s__Class) s__instance(s__Room,s__Class)	Mid-level-ontology.kif 14803-14803	Closet is a subclass of room
s__subclass(s__CourtRoom,s__Room) s__instance(s__CourtRoom,s__Class) s__instance(s__Room,s__Class)	Mid-level-ontology.kif 15448-15448	Court room is a subclass of room
s__instance(s__Room,s__Class) s__instance(s__DiningRoom,s__Class) s__subclass(s__DiningRoom,s__Room)	Mid-level-ontology.kif 14879-14879	Dining room is a subclass of room
s__instance(s__DressingRoom,s__Class) s__instance(s__Room,s__Class) s__subclass(s__DressingRoom,s__Room)	Mid-level-ontology.kif 14815-14815	Dressing room is a subclass of room
s__instance(s__Room,s__Class) s__instance(s__GameRoom,s__Class) s__subclass(s__GameRoom,s__Room)	Mid-level-ontology.kif 25982-25982	Game room is a subclass of room
s__instance(s__Hallway,s__Class) s__instance(s__Room,s__Class) s__subclass(s__Hallway,s__Room)	Mid-level-ontology.kif 14912-14912	Hall is a subclass of room
s__subclass(s__HotelFunctionRoom,s__Room) s__instance(s__HotelFunctionRoom,s__Class) s__instance(s__Room,s__Class)	Hotel.kif 1661-1661	Hotel function room is a subclass of room
s__instance(s__HotelRoom,s__Class) s__instance(s__Room,s__Class) s__subclass(s__HotelRoom,s__Room)	Hotel.kif 114-114	Hotel room is a subclass of room
s__subclass(s__Kitchen,s__Room) s__instance(s__Room,s__Class) s__instance(s__Kitchen,s__Class)	Mid-level-ontology.kif 14853-14853	Kitchen is a subclass of room
s__subclass(s__Nursery,s__Room) s__instance(s__Nursery,s__Class) s__instance(s__Room,s__Class)	Mid-level-ontology.kif 25995-25995	Nursery is a subclass of room
s__subclass(s__SelfServiceLaundry,s__Room) s__instance(s__Room,s__Class) s__instance(s__SelfServiceLaundry,s__Class)	Mid-level-ontology.kif 24583-24583	Self-service laundry is a subclass of room
s__instance(s__Solarium,s__Class) s__subclass(s__Solarium,s__Room) s__instance(s__Room,s__Class)	Mid-level-ontology.kif 25953-25953	Solarium is a subclass of room
s__subclass(s__SteamBath,s__Room) s__instance(s__SteamBath,s__Class) s__instance(s__Room,s__Class)	Mid-level-ontology.kif 26006-26006	Steam bath is a subclass of room
s__termFormat(s__ChineseLanguage,s__Room,'"房间"')	chinese_format.kif 1052-1052
s__termFormat(s__EnglishLanguage,s__Room,'"room"')	english_format.kif 1315-1315

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25381-25393	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 2 has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25043-25060	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
( ! [V__R,V__T] : (((s__located(V__T,V__R) & s__instance(V__T,s__Toilet) & s__instance(V__R,s__Room)) => (s__instance(V__R,s__Bathroom))) ) )	Mid-level-ontology.kif 2140-2145	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 932-945	If a person in an object can see a kind of physical and the object is an instance of room and a kind of physical is outside to the object, then the statement there exist an entity, another entity and a third 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 third entity is an instance of the kind of physical and the third entity is a patient of the other entity and the entity is an agent of the other entity has the modal force of possibility
( ! [V__ROOM] : ((s__instance(V__ROOM,s__Room) => (( ? [V__BUILD] : ((s__instance(V__BUILD,s__Building) & s__properPart(V__ROOM,V__BUILD)))))) ) )	Merge.kif 15108-15113	If an object is an instance of room, then there exists an entity such that the entity is an instance of building and the object is a proper part of the entity

consequent

( ! [V__PLACE,V__FLRCODE,V__UNITSTR] : (((s__instance(V__PLACE,s__PostalPlace) & s__instance(V__FLRCODE,s__SymbolicString) & s__instance(V__UNITSTR,s__SymbolicString)) => (((s__unitNumber(V__UNITSTR,V__PLACE) & s__floorCode(V__FLRCODE,V__PLACE)) => (( ? [V__UNIT, V__FLOOR] : ((s__instance(V__FLOOR,s__BuildingLevel) & s__instance(V__UNIT,s__Room) & s__located(V__UNIT,V__FLOOR) & s__part(V__FLOOR,V__PLACE) & s__names(V__UNITSTR,V__UNIT) & s__names(V__FLRCODE,V__FLOOR)))))))) ) )	Mid-level-ontology.kif 23837-23848	If the unit number of a PostalPlace is a symbolic string and another symbolic string is the floor of the PostalPlace, 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 PostalPlace and the physical has name the symbolic string and the object has name the other symbolic string
( ! [V__PLACE,V__UNITSTR] : (((s__instance(V__PLACE,s__PostalPlace) & s__instance(V__UNITSTR,s__SymbolicString)) => (((s__unitNumber(V__UNITSTR,V__PLACE) & ~(( ? [V__FLR] : ((s__instance(V__FLR,s__SymbolicString) & s__floorCode(V__FLR,V__PLACE)))))) => (( ? [V__UNIT] : ((s__instance(V__UNIT,s__Room) & s__names(V__UNITSTR,V__UNIT) & s__located(V__UNIT,V__PLACE)))))))) ) )	Mid-level-ontology.kif 23850-23860	If the unit number of a PostalPlace is a symbolic string and there doesn't exist another symbolic string such that the other symbolic string is the floor of the PostalPlace, then there exists a physical such that the physical is an instance of room and the physical has name the symbolic string and the physical is located at the PostalPlace
No TPTP formula. May not be expressible in strict first order.	Dining.kif 909-933	If open layout is an attribute of an object, then the object is an instance of room and there exist another object and a third 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 the other object is not equal to 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 a 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
( ! [V__X] : ((s__instance(V__X,s__Object) => ((s__attribute(V__X,s__AdjoiningRoom) => (s__instance(V__X,s__Room))))) ) )	Mid-level-ontology.kif 14532-14534	If adjoining room is an attribute of an object, then the object is an instance of room
( ! [V__C] : ((s__instance(V__C,s__Ceiling) => (( ? [V__R] : ((s__top(V__C,V__R) & s__instance(V__R,s__Room)))))) ) )	Mid-level-ontology.kif 14635-14640	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
( ! [V__DOOR] : ((s__instance(V__DOOR,s__Door) => (( ? [V__ARTIFACT] : ((s__part(V__DOOR,V__ARTIFACT) & (s__instance(V__ARTIFACT,s__Building) \| s__instance(V__ARTIFACT,s__Room))))))) ) )	Mid-level-ontology.kif 14598-14605	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
( ! [V__FLOOR] : ((s__instance(V__FLOOR,s__Floor) => (( ? [V__ARTIFACT] : ((s__part(V__FLOOR,V__ARTIFACT) & s__instance(V__ARTIFACT,s__Room)))))) ) )	Mid-level-ontology.kif 14624-14629	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3065-3075	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
( ! [V__W] : ((s__instance(V__W,s__Window) => (( ? [V__A] : ((s__part(V__W,V__A) & (s__instance(V__A,s__Building) \| s__instance(V__A,s__Room) \| s__instance(V__A,s__Vehicle))))))) ) )	Mid-level-ontology.kif 14475-14483	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
( ! [V__WALL] : ((s__instance(V__WALL,s__Wall) => (( ? [V__ARTIFACT] : ((s__part(V__WALL,V__ARTIFACT) & (s__instance(V__ARTIFACT,s__Building) \| s__instance(V__ARTIFACT,s__Room))))))) ) )	Mid-level-ontology.kif 14611-14618	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
( ! [V__WAY] : ((s__instance(V__WAY,s__Doorway) => (( ? [V__ARTIFACT] : ((s__part(V__WAY,V__ARTIFACT) & (s__instance(V__ARTIFACT,s__Building) \| s__instance(V__ARTIFACT,s__Room))))))) ) )	Mid-level-ontology.kif 14589-14596	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26047-26057	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