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


KB Term:  Term intersection
English Word: 

Sigma KEE - Room
Room(room)

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


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

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


(subclass Bathroom Room) Mid-level-ontology.kif 17018-17018 Bathroom is a subclass of room
(subclass Closet Room) Mid-level-ontology.kif 17029-17029 Closet is a subclass of room
(subclass DressingRoom Room) Mid-level-ontology.kif 17041-17041 Dressing room is a subclass of room
(subclass Kitchen Room) Mid-level-ontology.kif 17079-17079 Kitchen is a subclass of room
(subclass DiningRoom Room) Mid-level-ontology.kif 17105-17105 Dining room is a subclass of room
(subclass Bedroom Room) Mid-level-ontology.kif 17109-17109 Bedroom is a subclass of room
(subclass Classroom Room) Mid-level-ontology.kif 17119-17119 Classroom is a subclass of room
(subclass Hallway Room) Mid-level-ontology.kif 17138-17138 Hall is a subclass of room
(subclass CourtRoom Room) Mid-level-ontology.kif 17735-17735 Court room is a subclass of room
(subclass SelfServiceLaundry Room) Mid-level-ontology.kif 27795-27795 Self-service laundry is a subclass of room
(subclass Solarium Room) Mid-level-ontology.kif 29413-29413 Solarium is a subclass of room
(subclass GameRoom Room) Mid-level-ontology.kif 29442-29442 Game room is a subclass of room
(subclass Nursery Room) Mid-level-ontology.kif 29455-29455 Nursery is a subclass of room
(subclass SteamBath Room) Mid-level-ontology.kif 29466-29466 Steam bath is a subclass of room
(subclass HotelRoom Room) Hotel.kif 119-119 Hotel room is a subclass of room
(subclass BusinessCenter Room) Hotel.kif 1661-1661 Business center is a subclass of room
(subclass HotelFunctionRoom Room) Hotel.kif 1697-1697 Hotel function room is a subclass of room
(termFormat EnglishLanguage Room "room") english_format.kif 1315-1315 Hotel function room is a subclass of room

antecedent
-------------------------


(=>
    (instance ?ROOM Room)
    (exists (?BUILD)
        (and
            (instance ?BUILD Building)
            (properPart ?ROOM ?BUILD))))		 Merge.kif 15934-15939 If X is an instance of room, then there exists Y such that Y is an instance of building and X is a proper part of Y
(=>
    (and
        (located ?T ?R)
        (instance ?T Toilet)
        (instance ?R Room))
    (instance ?R Bathroom))		 Mid-level-ontology.kif 2683-2688 If X is located at Y, X is an instance of toilet, and Y is an instance of room, then Y is an instance of bathroom
(=>
    (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 28485-28502 If X is an instance of knock light, X is located at Y, Y is an instance of room, Z is an instance of door, and Z is a part of Y, then All of the following hold: (1) X has the purpose there exist W, V (2) U such that W is an instance of impacting (3) Z is a patient of W (4) W causes V (5) V is an instance of radiating sound (6) Z is an agent of V (7) V causes U (8) U is an instance of radiating visible light (9) X is an instrument for U
(=>
    (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 28825-28837 If wheelchair accessible is an attribute of X and X is an instance of building or X is an instance of room, then the statement there exist Y, Z such that Y is an instance of motion, Z is an instrument for Y, Z is an instance of wheelchair, and Y is located at X has the modal force of possibility
(=>
    (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 If a person in X can see Y, X is an instance of room, Z is an instance of Y, and Z is outside of to X, then the statement there exist W, V such that W is an instance of human, W is located at X, V is an instance of seeing, Z is a patient of V, and W is an agent of V has the modal force of possibility
(=>
    (and
        (memberType ?CLCT Room)
        (instance ?H RoomHeater)
        (instance ?CLCT Collection)
        (memberCount ?CLCT 1)
        (instance ?E Heating)
        (instrument ?E ?H)
        (patient ?E ?CLCT))
    (and
        (defaultMinimumHeight ?H
            (MeasureFn 5 Inch))
        (defaultMaximumHeight ?H
            (MeasureFn 16 Inch))
        (defaultMinimumWidth ?H
            (MeasureFn 5 Inch))
        (defaultMaximumWidth ?H
            (MeasureFn 7 Inch))
        (defaultMinimumLength ?H
            (MeasureFn 18 Inch))
        (defaultMaximumLength ?H
            (MeasureFn 26 Inch))
        (defaultMinimumMeasure ?H
            (MeasureFn 11 PoundMass))
        (defaultMaximumMeasure ?H
            (MeasureFn 30 PoundMass))))		 DimensioningAmenities.kif 611-628 If All of the following hold: (1) room is a member type of X (2) Y is an instance of room heater (3) X is an instance of collection (4) 1 is a member count of X (5) Z is an instance of heating (6) Y is an instrument for Z (7) X is a patient of Z, then All of the following hold: (1) the minimum expected height of Y is 5 inch(s) (2) the maximum expected height of Y is 16 inch(s) (3) the minimum expected width of Y is 5 inch(s) (4) the maximum expected width of Y is 7 inch(s) (5) the minimum expected length of Y is 18 inch(s) (6) the maximum expected length of Y is 26 inch(s) (7) the minimum expected value of Y is 11 pound mass(s) (8) the maximum expected value of Y is 30 pound mass(s)
(=>
    (and
        (memberType ?CLCT Room)
        (instance ?H RoomHeater)
        (instance ?CLCT Collection)
        (memberCount ?CLCT ?C)
        (greaterThan ?C 1)
        (instance ?E Heating)
        (instrument ?E ?H)
        (patient ?E ?CLCT))
    (and
        (defaultMinimumHeight ?H
            (MeasureFn 16 Inch))
        (defaultMaximumHeight ?H
            (MeasureFn 40 Inch))
        (defaultMinimumWidth ?H
            (MeasureFn 10 Inch))
        (defaultMaximumWidth ?H
            (MeasureFn 26 Inch))
        (defaultMinimumLength ?H
            (MeasureFn 26 Inch))
        (defaultMaximumLength ?H
            (MeasureFn 45 Inch))
        (defaultMinimumMeasure ?H
            (MeasureFn 30 PoundMass))
        (defaultMaximumMeasure ?H
            (MeasureFn 200 PoundMass))))		 DimensioningAmenities.kif 632-650 If All of the following hold: (1) room is a member type of X (2) Y is an instance of room heater (3) X is an instance of collection (4) Z is a member count of X (5) Z is greater than 1 (6) W is an instance of heating (7) Y is an instrument for W (8) X is a patient of W, then All of the following hold: (1) the minimum expected height of Y is 16 inch(s) (2) the maximum expected height of Y is 40 inch(s) (3) the minimum expected width of Y is 10 inch(s) (4) the maximum expected width of Y is 26 inch(s) (5) the minimum expected length of Y is 26 inch(s) (6) the maximum expected length of Y is 45 inch(s) (7) the minimum expected value of Y is 30 pound mass(s) (8) the maximum expected value of Y is 200 pound mass(s)
(=>
    (and
        (memberType ?CLCT Room)
        (instance ?A AirConditioner)
        (instance ?CLCT Collection)
        (memberCount ?CLCT 1)
        (instance ?E Cooling)
        (instrument ?E ?A)
        (patient ?E ?CLCT))
    (and
        (defaultMinimumHeight ?A
            (MeasureFn 18 Inch))
        (defaultMaximumHeight ?A
            (MeasureFn 28 Inch))
        (defaultMinimumWidth ?A
            (MeasureFn 12 Inch))
        (defaultMaximumWidth ?A
            (MeasureFn 21 Inch))
        (defaultMinimumLength ?A
            (MeasureFn 21 Inch))
        (defaultMaximumLength ?A
            (MeasureFn 36 Inch))
        (defaultMinimumMeasure ?A
            (MeasureFn 75 PoundMass))
        (defaultMaximumMeasure ?A
            (MeasureFn 250 PoundMass))))		 DimensioningAmenities.kif 654-671 If All of the following hold: (1) room is a member type of X (2) Y is an instance of air conditioner (3) X is an instance of collection (4) 1 is a member count of X (5) Z is an instance of cooling (6) Y is an instrument for Z (7) X is a patient of Z, then All of the following hold: (1) the minimum expected height of Y is 18 inch(s) (2) the maximum expected height of Y is 28 inch(s) (3) the minimum expected width of Y is 12 inch(s) (4) the maximum expected width of Y is 21 inch(s) (5) the minimum expected length of Y is 21 inch(s) (6) the maximum expected length of Y is 36 inch(s) (7) the minimum expected value of Y is 75 pound mass(s) (8) the maximum expected value of Y is 250 pound mass(s)
(=>
    (and
        (memberType ?CLCT Room)
        (instance ?A AirConditioner)
        (instance ?CLCT Collection)
        (memberCount ?CLCT ?C)
        (greaterThan ?C 1)
        (instance ?E Cooling)
        (instrument ?E ?A)
        (patient ?E ?CLCT))
    (and
        (defaultMinimumHeight ?A
            (MeasureFn 28 Inch))
        (defaultMaximumHeight ?A
            (MeasureFn 60 Inch))
        (defaultMinimumWidth ?A
            (MeasureFn 21 Inch))
        (defaultMaximumWidth ?A
            (MeasureFn 60 Inch))
        (defaultMinimumLength ?A
            (MeasureFn 36 Inch))
        (defaultMaximumLength ?A
            (MeasureFn 60 Inch))
        (defaultMinimumMeasure ?A
            (MeasureFn 75 PoundMass))
        (defaultMaximumMeasure ?A
            (MeasureFn 500 PoundMass))))		 DimensioningAmenities.kif 675-693 If All of the following hold: (1) room is a member type of X (2) Y is an instance of air conditioner (3) X is an instance of collection (4) Z is a member count of X (5) Z is greater than 1 (6) W is an instance of cooling (7) Y is an instrument for W (8) X is a patient of W, then All of the following hold: (1) the minimum expected height of Y is 28 inch(s) (2) the maximum expected height of Y is 60 inch(s) (3) the minimum expected width of Y is 21 inch(s) (4) the maximum expected width of Y is 60 inch(s) (5) the minimum expected length of Y is 36 inch(s) (6) the maximum expected length of Y is 60 inch(s) (7) the minimum expected value of Y is 75 pound mass(s) (8) the maximum expected value of Y is 500 pound mass(s)

consequent
-------------------------


(=>
    (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 3591-3601 If X is an instance of wallpaper, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of wall (3) Y is a part of Z (4) Z is an instance of room (5) W is an instance of covering (6) Y is a patient of W (7) X is an instrument for W
(=>
    (instance ?W Window)
    (exists (?A)
        (and
            (part ?W ?A)
            (or
                (instance ?A Building)
                (instance ?A Room)
                (instance ?A Vehicle)))))		 Mid-level-ontology.kif 16701-16709 If X is an instance of window, then there exists Y such that X is a part of Y and Y is an instance of building, Y is an instance of room, or Y is an instance of vehicle
(=>
    (attribute ?X AdjoiningRoom)
    (instance ?X Room))		 Mid-level-ontology.kif 16758-16760 If adjoining room is an attribute of X, then X is an instance of room
(=>
    (instance ?WAY Doorway)
    (exists (?ARTIFACT)
        (and
            (part ?WAY ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))		 Mid-level-ontology.kif 16815-16822 If X is an instance of doorway, then there exists Y such that X is a part of Y and Y is an instance of building or Y is an instance of room
(=>
    (instance ?DOOR Door)
    (exists (?ARTIFACT)
        (and
            (part ?DOOR ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))		 Mid-level-ontology.kif 16824-16831 If X is an instance of door, then there exists Y such that X is a part of Y and Y is an instance of building or Y is an instance of room
(=>
    (instance ?WALL Wall)
    (exists (?ARTIFACT)
        (and
            (part ?WALL ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))		 Mid-level-ontology.kif 16837-16844 If X is an instance of wall, then there exists Y such that X is a part of Y and Y is an instance of building or Y is an instance of room
(=>
    (instance ?FLOOR Floor)
    (exists (?ARTIFACT)
        (and
            (part ?FLOOR ?ARTIFACT)
            (instance ?ARTIFACT Room))))		 Mid-level-ontology.kif 16850-16855 If X is an instance of floor, then there exists Y such that X is a part of Y and Y is an instance of room
(=>
    (instance ?C Ceiling)
    (exists (?R)
        (and
            (top ?C ?R)
            (instance ?R Room))))		 Mid-level-ontology.kif 16861-16866 If X is an instance of ceiling, then there exists Y such that the top of Y is X and Y is an instance of room
(=>
    (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 17147-17162 If X is an instance of hall, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of translocation (3) X is path along which Y occurs (4) X is located at Z (5) Z is an instance of building (6) X is between W (7) V (8) W is an instance of room (9) V is an instance of room (10) W is located at Z (11) V is located at Z (12) equal W (13) V
(=>
    (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 27031-27042 If the unit number of X is Y and Z is the floor of X, then All of the following hold: (1) there exist W (2) V such that V is an instance of building level (3) W is an instance of room (4) W is located at V (5) V is a part of X (6) W has name Y (7) V has name Z
(=>
    (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 27044-27054 If the unit number of X is Y and there doesn't exist Z such that Z is the floor of X, then there exists W such that W is an instance of room, W has name Y, and W is located at X
(=>
    (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 29507-29517 If X is an instance of room heater, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of air (3) W is an instance of room (4) Y is located at W (5) Z is an instance of heating (6) Y is a patient of Z (7) X is an instrument for Z
(=>
    (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 If open layout is an attribute of X, then X is an instance of room and All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of region (3) Z is an instance of region (4) Y is located at X (5) Z is located at X (6) equal Y (7) Z (8) Y is adjacent to Z (9) there exist V (10) U such that V is an instance of process (11) U is an instance of process (12) Y has the purpose V (13) Z has the purpose U (14) W is an instance of agent (15) W is located at ZW is capable of doing seeing as a agent (16) Y is capable of doing seeing as a patient
(=>
    (instance ?A Attic)
    (exists (?B ?R)
        (and
            (instance ?B Building)
            (instance ?R Roof)
            (not
                (exists (?ROOM)
                    (and
                        (instance ?ROOM Room)
                        (orientation ?A ?ROOM Above)))))))		 HouseholdAppliances.kif 1115-1125 If X is an instance of attic, then there exist Y, Z such that Y is an instance of building, Z is an instance of roof, there doesn't exist W such that W is an instance of room, and X is above to W


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