| Room(房间)
| |
| appearance as argument number 1 |
|
|
| (disjoint Room Building) | Merge.kif 15857-15857 | 房间 和 % 2 是 disjoint |
| (documentation Room ChineseLanguage "这是 Building 的 properPart，它由墙把它和 Building 的外墙和/ 或 Building 其他的 Room 分隔。有些 Room 会有特定的用途，例如：睡觉、洗澡、煮食和娱乐 等等。") | chinese_format.kif 3588-3590 | 房间 和 % 2 是 disjoint |
| (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 15858-15861 | 房间 和 % 2 是 disjoint |
| (externalImage Room "http://upload.wikimedia.org/wikipedia/commons/5/56/ OvalOffice.whitehouse.jpg") | pictureList.kif 141-141 | 房间 和 % 2 是 disjoint |
| (subclass Room StationaryArtifact) | Merge.kif 15856-15856 | 房间 是 固定人工制品 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass Bathroom Room) | Mid-level-ontology.kif 16874-16874 | 浴室 是 房间 的 subclass |
| (subclass Bedroom Room) | Mid-level-ontology.kif 16965-16965 | 卧室 是 房间 的 subclass |
| (subclass BusinessCenter Room) | Hotel.kif 1650-1650 | BusinessCenter 是 房间 的 subclass |
| (subclass Classroom Room) | Mid-level-ontology.kif 16975-16975 | 教室 是 房间 的 subclass |
| (subclass Closet Room) | Mid-level-ontology.kif 16885-16885 | 衣橱 是 房间 的 subclass |
| (subclass CourtRoom Room) | Mid-level-ontology.kif 17569-17569 | 法庭室 是 房间 的 subclass |
| (subclass DiningRoom Room) | Mid-level-ontology.kif 16961-16961 | 饭厅 是 房间 的 subclass |
| (subclass DressingRoom Room) | Mid-level-ontology.kif 16897-16897 | 更衣室 是 房间 的 subclass |
| (subclass GameRoom Room) | Mid-level-ontology.kif 28424-28424 | GameRoom 是 房间 的 subclass |
| (subclass Hallway Room) | Mid-level-ontology.kif 16994-16994 | 门厅 是 房间 的 subclass |
| (subclass HotelFunctionRoom Room) | Hotel.kif 1686-1686 | HotelFunctionRoom 是 房间 的 subclass |
| (subclass HotelRoom Room) | Hotel.kif 119-119 | HotelRoom 是 房间 的 subclass |
| (subclass Kitchen Room) | Mid-level-ontology.kif 16935-16935 | 厨房 是 房间 的 subclass |
| (subclass Nursery Room) | Mid-level-ontology.kif 28437-28437 | Nursery 是 房间 的 subclass |
| (subclass SelfServiceLaundry Room) | Mid-level-ontology.kif 27065-27065 | SelfServiceLaundry 是 房间 的 subclass |
| (subclass Solarium Room) | Mid-level-ontology.kif 28395-28395 | Solarium 是 房间 的 subclass |
| (subclass SteamBath Room) | Mid-level-ontology.kif 28448-28448 | SteamBath 是 房间 的 subclass |
| (termFormat ChineseLanguage Room "房间") | chinese_format.kif 1052-1052 | SteamBath 是 房间 的 subclass |
| (termFormat EnglishLanguage Room "room") | english_format.kif 1315-1315 | SteamBath 是 房间 的 subclass |
| (termFormat FrenchLanguage Room "pi�ce") | french_format.kif 730-730 | SteamBath 是 房间 的 subclass |
| (termFormat Hindi Room "kaksha") | terms-hindi.txt 261-261 | SteamBath 是 房间 的 subclass |
| (termFormat ItalianLanguage Room "Stanza") | terms-it.txt 264-264 | SteamBath 是 房间 的 subclass |
| (termFormat JapaneseLanguage Room "部屋") | japanese_format.kif 2414-2414 | SteamBath 是 房间 的 subclass |
| (termFormat PortugueseLanguage Room "Comodo") | portuguese_format.kif 682-682 | SteamBath 是 房间 的 subclass |
| 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 27804-27816 | |
| (=> (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 27466-27483 |
|
| (=> (and (located ?T ?R) (instance ?T Toilet) (instance ?R Room)) (instance ?R Bathroom)) |
Mid-level-ontology.kif 2671-2676 | |
| (=> (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 15863-15868 |
| 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 26301-26312 | |
| (=> (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 26314-26324 | |
| (=> (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 16614-16616 | |
| (=> (instance ?C Ceiling) (exists (?R) (and (top ?C ?R) (instance ?R Room)))) |
Mid-level-ontology.kif 16717-16722 |
|
| (=> (instance ?DOOR Door) (exists (?ARTIFACT) (and (part ?DOOR ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 16680-16687 | |
| (=> (instance ?FLOOR Floor) (exists (?ARTIFACT) (and (part ?FLOOR ?ARTIFACT) (instance ?ARTIFACT Room)))) |
Mid-level-ontology.kif 16706-16711 | |
| (=> (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 17003-17018 |
|
| (=> (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 3600-3610 | |
| (=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle))))) |
Mid-level-ontology.kif 16557-16565 | |
| (=> (instance ?WALL Wall) (exists (?ARTIFACT) (and (part ?WALL ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 16693-16700 | |
| (=> (instance ?WAY Doorway) (exists (?ARTIFACT) (and (part ?WAY ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 16671-16678 | |
| (=> (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 28489-28499 |
|
|
|