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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Room
Room(Stanza)

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


(disjoint Room Building) Merge.kif 15778-15778 Stanza è disgiunto da Costruzione
(documentation Room ChineseLanguage "这是 Building 的 properPart，它由墙把它和 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 15779-15782
(externalImage Room "http://upload.wikimedia.org/wikipedia/commons/5/56/ OvalOffice.whitehouse.jpg") pictureList.kif 141-141
(subclass Room StationaryArtifact) Merge.kif 15777-15777 Stanza è una sottoclasse di ManufattoStatico

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


(subclass Bathroom Room) Mid-level-ontology.kif 15492-15492 Bathroom è una sottoclasse di Stanza
(subclass Bedroom Room) Mid-level-ontology.kif 15583-15583 Bedroom è una sottoclasse di Stanza
(subclass BusinessCenter Room) Hotel.kif 1650-1650 BusinessCenter è una sottoclasse di Stanza
(subclass Classroom Room) Mid-level-ontology.kif 15593-15593 Classroom è una sottoclasse di Stanza
(subclass Closet Room) Mid-level-ontology.kif 15503-15503 Closet è una sottoclasse di Stanza
(subclass CourtRoom Room) Mid-level-ontology.kif 16171-16171 CourtRoom è una sottoclasse di Stanza
(subclass DiningRoom Room) Mid-level-ontology.kif 15579-15579 DiningRoom è una sottoclasse di Stanza
(subclass DressingRoom Room) Mid-level-ontology.kif 15515-15515 DressingRoom è una sottoclasse di Stanza
(subclass GameRoom Room) Mid-level-ontology.kif 26767-26767 GameRoom è una sottoclasse di Stanza
(subclass Hallway Room) Mid-level-ontology.kif 15612-15612 Hallway è una sottoclasse di Stanza
(subclass HotelFunctionRoom Room) Hotel.kif 1686-1686 HotelFunctionRoom è una sottoclasse di Stanza
(subclass HotelRoom Room) Hotel.kif 119-119 HotelRoom è una sottoclasse di Stanza
(subclass Kitchen Room) Mid-level-ontology.kif 15553-15553 Kitchen è una sottoclasse di Stanza
(subclass Nursery Room) Mid-level-ontology.kif 26780-26780 Nursery è una sottoclasse di Stanza
(subclass SelfServiceLaundry Room) Mid-level-ontology.kif 25395-25395 SelfServiceLaundry è una sottoclasse di Stanza
(subclass Solarium Room) Mid-level-ontology.kif 26738-26738 Solarium è una sottoclasse di Stanza
(subclass SteamBath Room) Mid-level-ontology.kif 26791-26791 SteamBath è una sottoclasse di Stanza
(termFormat ChineseLanguage Room "房间") chinese_format.kif 1052-1052
(termFormat EnglishLanguage Room "room") english_format.kif 1315-1315
(termFormat FrenchLanguage Room "pi�ce") french_format.kif 730-730
(termFormat Hindi Room "kaksha") terms-hindi.txt 261-261
(termFormat ItalianLanguage Room "Stanza") terms-it.txt 264-264
(termFormat JapaneseLanguage Room "部屋") japanese_format.kif 2414-2414
(termFormat PortugueseLanguage Room "Comodo") portuguese_format.kif 682-682

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 26147-26159
(=>
    (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 25809-25826
(=>
    (and
        (located ?T ?R)
        (instance ?T Toilet)
        (instance ?R Room))
    (instance ?R Bathroom))		 Mid-level-ontology.kif 2202-2207
(=>
    (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 954-967
(=>
    (instance ?ROOM Room)
    (exists (?BUILD)
        (and
            (instance ?BUILD Building)
            (properPart ?ROOM ?BUILD))))		 Merge.kif 15784-15789

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 24631-24642
(=>
    (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 24644-24654
(=>
    (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 15232-15234
(=>
    (instance ?C Ceiling)
    (exists (?R)
        (and
            (top ?C ?R)
            (instance ?R Room))))		 Mid-level-ontology.kif 15335-15340
(=>
    (instance ?DOOR Door)
    (exists (?ARTIFACT)
        (and
            (part ?DOOR ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))		 Mid-level-ontology.kif 15298-15305
(=>
    (instance ?FLOOR Floor)
    (exists (?ARTIFACT)
        (and
            (part ?FLOOR ?ARTIFACT)
            (instance ?ARTIFACT Room))))		 Mid-level-ontology.kif 15324-15329
(=>
    (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 15621-15636
(=>
    (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 3131-3141
(=>
    (instance ?W Window)
    (exists (?A)
        (and
            (part ?W ?A)
            (or
                (instance ?A Building)
                (instance ?A Room)
                (instance ?A Vehicle)))))		 Mid-level-ontology.kif 15175-15183
(=>
    (instance ?WALL Wall)
    (exists (?ARTIFACT)
        (and
            (part ?WALL ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))		 Mid-level-ontology.kif 15311-15318
(=>
    (instance ?WAY Doorway)
    (exists (?ARTIFACT)
        (and
            (part ?WAY ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))		 Mid-level-ontology.kif 15289-15296
(=>
    (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 26832-26842


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