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 15891-15891 部屋 と 建物 は disjoint では
(documentation Room ChineseLanguage "这是 Building 的 properPart，它由墙把它和 Building 的外墙和/ 或 Building 其他的 Room 分隔。有些 Room 会有特定的用途，例如：睡觉、洗澡、煮食和娱乐 等等。") chinese_format.kif 3588-3590 部屋 と 建物 は 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 15892-15895 部屋 と 建物 は disjoint では
(externalImage Room "http://upload.wikimedia.org/wikipedia/commons/5/56/ OvalOffice.whitehouse.jpg") pictureList.kif 141-141 部屋 と 建物 は disjoint では
(subclass Room StationaryArtifact) Merge.kif 15890-15890 部屋 は 固定アーチファクト の subclass では

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


(subclass Bathroom Room) Mid-level-ontology.kif 16866-16866 Bathroom は 部屋 の subclass では
(subclass Bedroom Room) Mid-level-ontology.kif 16957-16957 Bedroom は 部屋 の subclass では
(subclass BusinessCenter Room) Hotel.kif 1661-1661 BusinessCenter は 部屋 の subclass では
(subclass Classroom Room) Mid-level-ontology.kif 16967-16967 Classroom は 部屋 の subclass では
(subclass Closet Room) Mid-level-ontology.kif 16877-16877 Closet は 部屋 の subclass では
(subclass CourtRoom Room) Mid-level-ontology.kif 17559-17559 CourtRoom は 部屋 の subclass では
(subclass DiningRoom Room) Mid-level-ontology.kif 16953-16953 DiningRoom は 部屋 の subclass では
(subclass DressingRoom Room) Mid-level-ontology.kif 16889-16889 DressingRoom は 部屋 の subclass では
(subclass GameRoom Room) Mid-level-ontology.kif 28680-28680 GameRoom は 部屋 の subclass では
(subclass Hallway Room) Mid-level-ontology.kif 16986-16986 Hallway は 部屋 の 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 Kitchen は 部屋 の subclass では
(subclass Nursery Room) Mid-level-ontology.kif 28693-28693 Nursery は 部屋 の subclass では
(subclass SelfServiceLaundry Room) Mid-level-ontology.kif 27060-27060 SelfServiceLaundry は 部屋 の subclass では
(subclass Solarium Room) Mid-level-ontology.kif 28651-28651 Solarium は 部屋 の subclass では
(subclass SteamBath Room) Mid-level-ontology.kif 28704-28704 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 28059-28071
(=>
    (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 27721-27738
(=>
    (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 15897-15902

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 26296-26307
(=>
    (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 26309-26319
(=>
    (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 28745-28755


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