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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Room
Room(room)
ER, OR, Turkish_bath, accommodation, alcove, amen_corner, amphitheater, amphitheatre, anechoic_chamber, annex, annexe, antechamber, anteroom, apadana, apse, apsidal, apsis, artist's_workroom, assembly_hall, atelier, atrium, back_room, backroom, bank_vault, bay, bedsit, bedsitter, bedsitting_room, beer_hall, belfry, billiard_hall, billiard_parlor, billiard_parlour, billiard_room, billiard_saloon, boardroom, booth, boudoir, box, brig, broom_closet, bullpen, burial_vault, buttery, cabin_class, canteen, cardroom, cell, cellar, chamber...

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


(disjoint Room Building) Merge.kif 15756-15756 Room is disjoint from building
(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 15757-15760
(externalImage Room "http://upload.wikimedia.org/wikipedia/commons/5/56/ OvalOffice.whitehouse.jpg") pictureList.kif 141-141
(subclass Room StationaryArtifact) Merge.kif 15755-15755 Room is a subclass of stationary artifact

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


(subclass Bathroom Room) Mid-level-ontology.kif 15493-15493 Bathroom is a subclass of room
(subclass Bedroom Room) Mid-level-ontology.kif 15584-15584 Bedroom is a subclass of room
(subclass BusinessCenter Room) Hotel.kif 1650-1650 Business center is a subclass of room
(subclass Classroom Room) Mid-level-ontology.kif 15594-15594 Classroom is a subclass of room
(subclass Closet Room) Mid-level-ontology.kif 15504-15504 Closet is a subclass of room
(subclass CourtRoom Room) Mid-level-ontology.kif 16172-16172 Court room is a subclass of room
(subclass DiningRoom Room) Mid-level-ontology.kif 15580-15580 Dining room is a subclass of room
(subclass DressingRoom Room) Mid-level-ontology.kif 15516-15516 Dressing room is a subclass of room
(subclass GameRoom Room) Mid-level-ontology.kif 26779-26779 Game room is a subclass of room
(subclass Hallway Room) Mid-level-ontology.kif 15613-15613 Hall is a subclass of room
(subclass HotelFunctionRoom Room) Hotel.kif 1686-1686 Hotel function room is a subclass of room
(subclass HotelRoom Room) Hotel.kif 119-119 Hotel room is a subclass of room
(subclass Kitchen Room) Mid-level-ontology.kif 15554-15554 Kitchen is a subclass of room
(subclass Nursery Room) Mid-level-ontology.kif 26792-26792 Nursery is a subclass of room
(subclass SelfServiceLaundry Room) Mid-level-ontology.kif 25396-25396 Self-service laundry is a subclass of room
(subclass Solarium Room) Mid-level-ontology.kif 26750-26750 Solarium is a subclass of room
(subclass SteamBath Room) Mid-level-ontology.kif 26803-26803 Steam bath is a subclass of room
(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 26159-26171
(=>
    (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 25821-25838
(=>
    (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 15762-15767

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 24632-24643
(=>
    (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 24645-24655
(=>
    (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 15233-15235
(=>
    (instance ?C Ceiling)
    (exists (?R)
        (and
            (top ?C ?R)
            (instance ?R Room))))
Mid-level-ontology.kif 15336-15341
(=>
    (instance ?DOOR Door)
    (exists (?ARTIFACT)
        (and
            (part ?DOOR ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))
Mid-level-ontology.kif 15299-15306
(=>
    (instance ?FLOOR Floor)
    (exists (?ARTIFACT)
        (and
            (part ?FLOOR ?ARTIFACT)
            (instance ?ARTIFACT Room))))
Mid-level-ontology.kif 15325-15330
(=>
    (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 15622-15637
(=>
    (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 15176-15184
(=>
    (instance ?WALL Wall)
    (exists (?ARTIFACT)
        (and
            (part ?WALL ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))
Mid-level-ontology.kif 15312-15319
(=>
    (instance ?WAY Doorway)
    (exists (?ARTIFACT)
        (and
            (part ?WAY ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))
Mid-level-ontology.kif 15290-15297
(=>
    (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 26844-26854


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