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 14484-14484
(documentation Room ChineseLanguage "这是 BuildingproperPart,它由墙把它和 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 14485-14488
(externalImage Room "http://upload.wikimedia.org/wikipedia/commons/5/56/ OvalOffice.whitehouse.jpg") pictureList.kif 141-141
(subclass Room StationaryArtifact) Merge.kif 14483-14483

appearance as argument number 2
-------------------------


(subclass Bathroom Room) Mid-level-ontology.kif 13176-13176
(subclass Bedroom Room) Mid-level-ontology.kif 13264-13264
(subclass BusinessCenter Room) Hotel.kif 1598-1598
(subclass Classroom Room) Mid-level-ontology.kif 13274-13274
(subclass Closet Room) Mid-level-ontology.kif 13187-13187
(subclass CourtRoom Room) Mid-level-ontology.kif 13818-13818
(subclass DiningRoom Room) Mid-level-ontology.kif 13260-13260
(subclass DressingRoom Room) Mid-level-ontology.kif 13198-13198
(subclass GameRoom Room) Mid-level-ontology.kif 24911-24911
(subclass HotelFunctionRoom Room) Hotel.kif 1634-1634
(subclass HotelRoom Room) Hotel.kif 114-114
(subclass Kitchen Room) Mid-level-ontology.kif 13235-13235
(subclass Nursery Room) Mid-level-ontology.kif 24924-24924
(subclass SelfServiceLaundry Room) Mid-level-ontology.kif 23287-23287
(subclass Solarium Room) Mid-level-ontology.kif 24882-24882
(subclass SteamBath Room) Mid-level-ontology.kif 24950-24950
(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 24148-24160
(=>
    (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 23738-23755
(=>
    (and
        (located ?T ?R)
        (instance ?T Toilet)
        (instance ?R Room))
    (instance ?R Bathroom))
Mid-level-ontology.kif 2657-2662
(=>
    (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
(=>
    (instance ?ROOM Room)
    (exists (?BUILD)
        (and
            (instance ?BUILD Building)
            (properPart ?ROOM ?BUILD))))
Merge.kif 14490-14495

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 22427-22438
(=>
    (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 22440-22450
(=>
    (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 ?X AdjoiningRoom)
    (instance ?X Room))
Mid-level-ontology.kif 12920-12922
(=>
    (instance ?C Ceiling)
    (exists (?R)
        (and
            (top ?C ?R)
            (instance ?R Room))))
Mid-level-ontology.kif 13021-13026
(=>
    (instance ?DOOR Door)
    (exists (?ARTIFACT)
        (and
            (part ?DOOR ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))
Mid-level-ontology.kif 12985-12992
(=>
    (instance ?FLOOR Floor)
    (exists (?ARTIFACT)
        (and
            (part ?FLOOR ?ARTIFACT)
            (instance ?ARTIFACT Room))))
Mid-level-ontology.kif 13011-13016
(=>
    (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 3668-3678
(=>
    (instance ?W Window)
    (exists (?A)
        (and
            (part ?W ?A)
            (or
                (instance ?A Building)
                (instance ?A Room)
                (instance ?A Vehicle)))))
Mid-level-ontology.kif 12864-12872
(=>
    (instance ?WALL Wall)
    (exists (?ARTIFACT)
        (and
            (part ?WALL ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))
Mid-level-ontology.kif 12998-13005
(=>
    (instance ?WAY Doorway)
    (exists (?ARTIFACT)
        (and
            (part ?WAY ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))
Mid-level-ontology.kif 12976-12983
(=>
    (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 24992-25002


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners