| Room
| |
| appearance as argument number 1 |
|
|
| (disjoint Room Building) | Merge.kif 14637-14637 | |
| (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 14638-14641 | |
| (externalImage Room "http://upload.wikimedia.org/wikipedia/commons/5/56/ OvalOffice.whitehouse.jpg") | pictureList.kif 141-141 | |
| (subclass Room StationaryArtifact) | Merge.kif 14636-14636 |
| appearance as argument number 2 |
|
|
| (subclass Bathroom Room) | Mid-level-ontology.kif 13204-13204 | |
| (subclass Bedroom Room) | Mid-level-ontology.kif 13292-13292 | |
| (subclass BusinessCenter Room) | Hotel.kif 1612-1612 | |
| (subclass Classroom Room) | Mid-level-ontology.kif 13302-13302 | |
| (subclass Closet Room) | Mid-level-ontology.kif 13215-13215 | |
| (subclass CourtRoom Room) | Mid-level-ontology.kif 13846-13846 | |
| (subclass DiningRoom Room) | Mid-level-ontology.kif 13288-13288 | |
| (subclass DressingRoom Room) | Mid-level-ontology.kif 13226-13226 | |
| (subclass GameRoom Room) | Mid-level-ontology.kif 24954-24954 | |
| (subclass HotelFunctionRoom Room) | Hotel.kif 1648-1648 | |
| (subclass HotelRoom Room) | Hotel.kif 114-114 | |
| (subclass Kitchen Room) | Mid-level-ontology.kif 13263-13263 | |
| (subclass Nursery Room) | Mid-level-ontology.kif 24967-24967 | |
| (subclass SelfServiceLaundry Room) | Mid-level-ontology.kif 23330-23330 | |
| (subclass Solarium Room) | Mid-level-ontology.kif 24925-24925 | |
| (subclass SteamBath Room) | Mid-level-ontology.kif 24993-24993 | |
| (termFormat ChineseLanguage Room "房间") | chinese_format.kif 1052-1052 | |
| (termFormat EnglishLanguage Room "room") | english_format.kif 1320-1320 |
| 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 24191-24203 | |
| (=> (and (instance ?KL KnockLight) (instance ?ROOM Room) (located ?KL ?ROOM) (instance ?DOOR Door) (part ?DOOR ?ROOM)) (hasPurpose ?KL (exists (?SOUND ?LIGHT ?IMPACT) (and (instance ?IMPACT Impacting) (patient ?IMPACT ?DOOR) (causes ?IMPACT ?SOUND) (instance ?SOUND RadiatingSound) (agent ?SOUND ?DOOR) (causes ?SOUND ?LIGHT) (instance ?LIGHT RadiatingLight) (agent ?LIGHT ?KL))))) |
Mid-level-ontology.kif 23781-23798 | |
| (=> (and (located ?T ?R) (instance ?T Toilet) (instance ?R Room)) (instance ?R Bathroom)) |
Mid-level-ontology.kif 2663-2668 | |
| (=> (and (viewType ?ROOM ?OBJ) (instance ?ROOM Room) (orientation ?OBJ ?ROOM Outside)) (modalAttribute (exists (?HUMAN ?SEE ?INST) (and (instance ?HUMAN Human) (located ?HUMAN ?ROOM) (instance ?SEE Seeing) (instance ?INST ?OBJ) (patient ?SEE ?INST) (agent ?SEE ?HUMAN))) Possibility)) |
Hotel.kif 932-945 | |
| (=> (instance ?ROOM Room) (exists (?BUILD) (and (instance ?BUILD Building) (properPart ?ROOM ?BUILD)))) |
Merge.kif 14643-14648 |
| 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 22470-22481 | |
| (=> (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 22483-22493 | |
| (=> (attribute ?ROOM OpenLayout) (and (instance ?ROOM Room) (exists (?R1 ?R2) (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 Agent) (located ?H ?R2)) (and (capability Seeing agent ?H) (capability Seeing patient ?R1))))))) |
Dining.kif 909-933 | |
| (=> (attribute ?X AdjoiningRoom) (instance ?X Room)) |
Mid-level-ontology.kif 12948-12950 | |
| (=> (instance ?C Ceiling) (exists (?R) (and (top ?C ?R) (instance ?R Room)))) |
Mid-level-ontology.kif 13049-13054 | |
| (=> (instance ?DOOR Door) (exists (?ARTIFACT) (and (part ?DOOR ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 13013-13020 | |
| (=> (instance ?FLOOR Floor) (exists (?ARTIFACT) (and (part ?FLOOR ?ARTIFACT) (instance ?ARTIFACT Room)))) |
Mid-level-ontology.kif 13039-13044 | |
| (=> (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 3674-3684 | |
| (=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle))))) |
Mid-level-ontology.kif 12892-12900 | |
| (=> (instance ?WALL Wall) (exists (?ARTIFACT) (and (part ?WALL ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 13026-13033 | |
| (=> (instance ?WAY Doorway) (exists (?ARTIFACT) (and (part ?WAY ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 13004-13011 | |
| (=> (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 25035-25045 |
|
|
|