| Room(房间)
| |
| appearance as argument number 1 |
|
|
| (disjoint Room Building) | Merge.kif 14575-14575 | 房间 和 % 2 是 disjoint |
| (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 14576-14579 | |
| (externalImage Room "http://upload.wikimedia.org/wikipedia/commons/5/56/ OvalOffice.whitehouse.jpg") | pictureList.kif 141-141 | |
| (subclass Room StationaryArtifact) | Merge.kif 14574-14574 | 房间 是 固定人工制品 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass Bathroom Room) | Mid-level-ontology.kif 13177-13177 | 浴室 是 房间 的 subclass |
| (subclass Bedroom Room) | Mid-level-ontology.kif 13265-13265 | 卧室 是 房间 的 subclass |
| (subclass BusinessCenter Room) | Hotel.kif 1598-1598 | BusinessCenter 是 房间 的 subclass |
| (subclass Classroom Room) | Mid-level-ontology.kif 13275-13275 | 教室 是 房间 的 subclass |
| (subclass Closet Room) | Mid-level-ontology.kif 13188-13188 | 衣橱 是 房间 的 subclass |
| (subclass CourtRoom Room) | Mid-level-ontology.kif 13819-13819 | 法庭室 是 房间 的 subclass |
| (subclass DiningRoom Room) | Mid-level-ontology.kif 13261-13261 | 饭厅 是 房间 的 subclass |
| (subclass DressingRoom Room) | Mid-level-ontology.kif 13199-13199 | 更衣室 是 房间 的 subclass |
| (subclass GameRoom Room) | Mid-level-ontology.kif 24923-24923 | GameRoom 是 房间 的 subclass |
| (subclass HotelFunctionRoom Room) | Hotel.kif 1634-1634 | HotelFunctionRoom 是 房间 的 subclass |
| (subclass HotelRoom Room) | Hotel.kif 114-114 | HotelRoom 是 房间 的 subclass |
| (subclass Kitchen Room) | Mid-level-ontology.kif 13236-13236 | 厨房 是 房间 的 subclass |
| (subclass Nursery Room) | Mid-level-ontology.kif 24936-24936 | Nursery 是 房间 的 subclass |
| (subclass SelfServiceLaundry Room) | Mid-level-ontology.kif 23299-23299 | SelfServiceLaundry 是 房间 的 subclass |
| (subclass Solarium Room) | Mid-level-ontology.kif 24894-24894 | Solarium 是 房间 的 subclass |
| (subclass SteamBath Room) | Mid-level-ontology.kif 24962-24962 | SteamBath 是 房间 的 subclass |
| (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 24160-24172 | |
| (=> (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 23750-23767 |
|
| (=> (and (located ?T ?R) (instance ?T Toilet) (instance ?R Room)) (instance ?R Bathroom)) |
Mid-level-ontology.kif 2657-2662 | |
| (=> (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 924-937 | |
| (=> (instance ?ROOM Room) (exists (?BUILD) (and (instance ?BUILD Building) (properPart ?ROOM ?BUILD)))) |
Merge.kif 14581-14586 |
| 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 22439-22450 | |
| (=> (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 22452-22462 | |
| (=> (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 12921-12923 | |
| (=> (instance ?C Ceiling) (exists (?R) (and (top ?C ?R) (instance ?R Room)))) |
Mid-level-ontology.kif 13022-13027 |
|
| (=> (instance ?DOOR Door) (exists (?ARTIFACT) (and (part ?DOOR ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 12986-12993 | |
| (=> (instance ?FLOOR Floor) (exists (?ARTIFACT) (and (part ?FLOOR ?ARTIFACT) (instance ?ARTIFACT Room)))) |
Mid-level-ontology.kif 13012-13017 | |
| (=> (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 3668-3678 | |
| (=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle))))) |
Mid-level-ontology.kif 12865-12873 | |
| (=> (instance ?WALL Wall) (exists (?ARTIFACT) (and (part ?WALL ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 12999-13006 | |
| (=> (instance ?WAY Doorway) (exists (?ARTIFACT) (and (part ?WAY ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 12977-12984 | |
| (=> (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 25004-25014 |
|
|
|