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,'"这是 BuildingproperPart,它由墙把它和 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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25043-25060
( ! [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
No TPTP formula. May not be expressible in strict first order. Hotel.kif 932-945
( ! [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

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
( ! [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
No TPTP formula. May not be expressible in strict first order. Dining.kif 909-933
( ! [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
( ! [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
( ! [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
( ! [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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3065-3075
( ! [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
( ! [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
( ! [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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26047-26057


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