| 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 |
|
|
| (subclass Room StationaryArtifact) | Merge.kif 15916-15916 | Room is a subclass of stationary artifact |
| (disjoint Room Building) | Merge.kif 15917-15917 | 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 15918-15921 | 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 |
|
|
| antecedent |
|
|
| (=> (instance ?ROOM Room) (exists (?BUILD) (and (instance ?BUILD Building) (properPart ?ROOM ?BUILD)))) |
Merge.kif 15923-15928 | 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 2670-2675 | 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 28450-28467 | 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 28790-28802 | 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 |
| 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 3607-3617 | 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 16729-16737 | 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 16786-16788 | 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 16843-16850 | 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 16852-16859 | 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 16865-16872 | 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 16878-16883 | 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 16889-16894 | 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 17175-17190 | 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 26996-27007 | 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 27009-27019 | 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 29458-29468 | 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 959-983 | 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 |
|
|
|