Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Room

Sigma KEE - Room
Room

appearance as argument number 1
-------------------------


(disjoint Room Building) Merge.kif 15474-15474
(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 15475-15478
(externalImage Room "http://upload.wikimedia.org/wikipedia/commons/5/56/ OvalOffice.whitehouse.jpg") pictureList.kif 141-141
(subclass Room StationaryArtifact) Merge.kif 15473-15473

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


(subclass Bathroom Room) Mid-level-ontology.kif 14937-14937
(subclass Bedroom Room) Mid-level-ontology.kif 15028-15028
(subclass BusinessCenter Room) Hotel.kif 1625-1625
(subclass Classroom Room) Mid-level-ontology.kif 15038-15038
(subclass Closet Room) Mid-level-ontology.kif 14948-14948
(subclass CourtRoom Room) Mid-level-ontology.kif 15593-15593
(subclass DiningRoom Room) Mid-level-ontology.kif 15024-15024
(subclass DressingRoom Room) Mid-level-ontology.kif 14960-14960
(subclass GameRoom Room) Mid-level-ontology.kif 26127-26127
(subclass Hallway Room) Mid-level-ontology.kif 15057-15057
(subclass HotelFunctionRoom Room) Hotel.kif 1661-1661
(subclass HotelRoom Room) Hotel.kif 114-114
(subclass Kitchen Room) Mid-level-ontology.kif 14998-14998
(subclass Nursery Room) Mid-level-ontology.kif 26140-26140
(subclass SelfServiceLaundry Room) Mid-level-ontology.kif 24728-24728
(subclass Solarium Room) Mid-level-ontology.kif 26098-26098
(subclass SteamBath Room) Mid-level-ontology.kif 26151-26151
(termFormat ChineseLanguage Room "房间") chinese_format.kif 1052-1052
(termFormat EnglishLanguage Room "room") english_format.kif 1315-1315

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 25526-25538
(=>
    (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 25188-25205
(=>
    (and
        (located ?T ?R)
        (instance ?T Toilet)
        (instance ?R Room))
    (instance ?R Bathroom))
Mid-level-ontology.kif 2157-2162
(=>
    (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 932-945
(=>
    (instance ?ROOM Room)
    (exists (?BUILD)
        (and
            (instance ?BUILD Building)
            (properPart ?ROOM ?BUILD))))
Merge.kif 15480-15485

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 23982-23993
(=>
    (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 23995-24005
(=>
    (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 14677-14679
(=>
    (instance ?C Ceiling)
    (exists (?R)
        (and
            (top ?C ?R)
            (instance ?R Room))))
Mid-level-ontology.kif 14780-14785
(=>
    (instance ?DOOR Door)
    (exists (?ARTIFACT)
        (and
            (part ?DOOR ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))
Mid-level-ontology.kif 14743-14750
(=>
    (instance ?FLOOR Floor)
    (exists (?ARTIFACT)
        (and
            (part ?FLOOR ?ARTIFACT)
            (instance ?ARTIFACT Room))))
Mid-level-ontology.kif 14769-14774
(=>
    (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 3082-3092
(=>
    (instance ?W Window)
    (exists (?A)
        (and
            (part ?W ?A)
            (or
                (instance ?A Building)
                (instance ?A Room)
                (instance ?A Vehicle)))))
Mid-level-ontology.kif 14620-14628
(=>
    (instance ?WALL Wall)
    (exists (?ARTIFACT)
        (and
            (part ?WALL ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))
Mid-level-ontology.kif 14756-14763
(=>
    (instance ?WAY Doorway)
    (exists (?ARTIFACT)
        (and
            (part ?WAY ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))
Mid-level-ontology.kif 14734-14741
(=>
    (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 26192-26202


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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