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 15906-15906 房间 和 % 2 是 disjoint
(documentation Room ChineseLanguage "这是 BuildingproperPart,它由墙把它和 Building 的外墙和/ 或 Building 其他的 Room 分隔。有些 Room 会有特定的用途,例如:睡觉、洗澡、煮食和娱乐 等等。") chinese_format.kif 3588-3590 房间 和 % 2 是 disjoint
(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 15907-15910 房间 和 % 2 是 disjoint
(externalImage Room "http://upload.wikimedia.org/wikipedia/commons/5/56/ OvalOffice.whitehouse.jpg") pictureList.kif 141-141 房间 和 % 2 是 disjoint
(subclass Room StationaryArtifact) Merge.kif 15905-15905 房间固定人工制品subclass

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


(subclass Bathroom Room) Mid-level-ontology.kif 16866-16866 浴室房间subclass
(subclass Bedroom Room) Mid-level-ontology.kif 16957-16957 卧室房间subclass
(subclass BusinessCenter Room) Hotel.kif 1661-1661 BusinessCenter房间subclass
(subclass Classroom Room) Mid-level-ontology.kif 16967-16967 教室房间subclass
(subclass Closet Room) Mid-level-ontology.kif 16877-16877 衣橱房间subclass
(subclass CourtRoom Room) Mid-level-ontology.kif 17559-17559 法庭室房间subclass
(subclass DiningRoom Room) Mid-level-ontology.kif 16953-16953 饭厅房间subclass
(subclass DressingRoom Room) Mid-level-ontology.kif 16889-16889 更衣室房间subclass
(subclass GameRoom Room) Mid-level-ontology.kif 28678-28678 GameRoom房间subclass
(subclass Hallway Room) Mid-level-ontology.kif 16986-16986 门厅房间subclass
(subclass HotelFunctionRoom Room) Hotel.kif 1697-1697 HotelFunctionRoom房间subclass
(subclass HotelRoom Room) Hotel.kif 119-119 HotelRoom房间subclass
(subclass Kitchen Room) Mid-level-ontology.kif 16927-16927 厨房房间subclass
(subclass Nursery Room) Mid-level-ontology.kif 28691-28691 Nursery房间subclass
(subclass SelfServiceLaundry Room) Mid-level-ontology.kif 27058-27058 SelfServiceLaundry房间subclass
(subclass Solarium Room) Mid-level-ontology.kif 28649-28649 Solarium房间subclass
(subclass SteamBath Room) Mid-level-ontology.kif 28702-28702 SteamBath房间subclass
(termFormat ChineseLanguage Room "房间") chinese_format.kif 1052-1052 SteamBath房间subclass
(termFormat EnglishLanguage Room "room") english_format.kif 1315-1315 SteamBath房间subclass
(termFormat FrenchLanguage Room "pi�ce") french_format.kif 730-730 SteamBath房间subclass
(termFormat Hindi Room "kaksha") terms-hindi.txt 261-261 SteamBath房间subclass
(termFormat ItalianLanguage Room "Stanza") terms-it.txt 264-264 SteamBath房间subclass
(termFormat JapaneseLanguage Room "部屋") japanese_format.kif 2414-2414 SteamBath房间subclass
(termFormat PortugueseLanguage Room "Comodo") portuguese_format.kif 682-682 SteamBath房间subclass

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 28057-28069
(=>
    (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 27719-27736
(=>
    (and
        (located ?T ?R)
        (instance ?T Toilet)
        (instance ?R Room))
    (instance ?R Bathroom))
Mid-level-ontology.kif 2665-2670
(=>
    (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
(=>
    (instance ?ROOM Room)
    (exists (?BUILD)
        (and
            (instance ?BUILD Building)
            (properPart ?ROOM ?BUILD))))
Merge.kif 15912-15917

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 26294-26305
(=>
    (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 26307-26317
(=>
    (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
(=>
    (attribute ?X AdjoiningRoom)
    (instance ?X Room))
Mid-level-ontology.kif 16606-16608
(=>
    (instance ?C Ceiling)
    (exists (?R)
        (and
            (top ?C ?R)
            (instance ?R Room))))
Mid-level-ontology.kif 16709-16714
(=>
    (instance ?DOOR Door)
    (exists (?ARTIFACT)
        (and
            (part ?DOOR ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))
Mid-level-ontology.kif 16672-16679
(=>
    (instance ?FLOOR Floor)
    (exists (?ARTIFACT)
        (and
            (part ?FLOOR ?ARTIFACT)
            (instance ?ARTIFACT Room))))
Mid-level-ontology.kif 16698-16703
(=>
    (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 16995-17010
(=>
    (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
(=>
    (instance ?W Window)
    (exists (?A)
        (and
            (part ?W ?A)
            (or
                (instance ?A Building)
                (instance ?A Room)
                (instance ?A Vehicle)))))
Mid-level-ontology.kif 16549-16557
(=>
    (instance ?WALL Wall)
    (exists (?ARTIFACT)
        (and
            (part ?WALL ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))
Mid-level-ontology.kif 16685-16692
(=>
    (instance ?WAY Doorway)
    (exists (?ARTIFACT)
        (and
            (part ?WAY ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))
Mid-level-ontology.kif 16663-16670
(=>
    (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 28743-28753


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