![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(disjoint Room Building) | Merge.kif 15755-15755 | |
(documentation Room ChineseLanguage "这是 Building 的 properPart,它由墙把它和 Building 的外墙和/ 或 Building 其他的 Room 分隔。有些 Room 会有特定的用途,例如:睡觉、洗澡、煮食和娱乐 等等。") | Merge.kif 15760-15762 | |
(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 15756-15759 | |
(externalImage Room "http://upload.wikimedia.org/wikipedia/commons/5/56/ OvalOffice.whitehouse.jpg") | pictureList.kif 141-141 | |
(subclass Room StationaryArtifact) | Merge.kif 15754-15754 |
appearance as argument number 2 |
![]() |
(subclass Bathroom Room) | Mid-level-ontology.kif 12917-12917 | |
(subclass Bedroom Room) | Mid-level-ontology.kif 13005-13005 | |
(subclass BusinessCenter Room) | Hotel.kif 1594-1594 | |
(subclass Classroom Room) | Mid-level-ontology.kif 13015-13015 | |
(subclass Closet Room) | Mid-level-ontology.kif 12928-12928 | |
(subclass CourtRoom Room) | Mid-level-ontology.kif 13559-13559 | |
(subclass DiningRoom Room) | Mid-level-ontology.kif 13001-13001 | |
(subclass DressingRoom Room) | Mid-level-ontology.kif 12939-12939 | |
(subclass GameRoom Room) | Mid-level-ontology.kif 24469-24469 | |
(subclass HotelFunctionRoom Room) | Hotel.kif 1630-1630 | |
(subclass HotelRoom Room) | Hotel.kif 114-114 | |
(subclass Kitchen Room) | Mid-level-ontology.kif 12976-12976 | |
(subclass Nursery Room) | Mid-level-ontology.kif 24482-24482 | |
(subclass SelfServiceLaundry Room) | Mid-level-ontology.kif 22894-22894 | |
(subclass Solarium Room) | Mid-level-ontology.kif 24440-24440 | |
(subclass SteamBath Room) | Mid-level-ontology.kif 24508-24508 | |
(termFormat ChineseLanguage Room "房间") | chinese_format.kif 1052-1052 | |
(termFormat EnglishLanguage Room "room") | english_format.kif 739-739 | |
(termFormat FrenchLanguage Room "pi�ce") | french_format.kif 730-730 | |
(termFormat Hindi Room "kaksha") | terms-hindi.txt 261-261 | |
(termFormat ItalianLanguage Room "Stanza") | terms-it.txt 262-262 | |
(termFormat PortugueseLanguage Room "Comodo") | portuguese_format.kif 682-682 | |
(termFormat cb Room "kuwarto") | terms-cb.txt 266-266 | |
(termFormat cz Room "room") | terms-cz.txt 300-300 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
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 22034-22045 | |
(=> (and (unitNumber ?UNITSTR ?PLACE) (not (exists (?FLR) (floorCode ?FLR ?PLACE)))) (exists (?UNIT) (and (instance ?UNIT Room) (names ?UNITSTR ?UNIT) (located ?UNIT ?BLDG)))) |
Mid-level-ontology.kif 22047-22057 | |
(=> (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 913-937 | |
(=> (attribute ?X AdjoiningRoom) (instance ?X Room)) |
Mid-level-ontology.kif 12661-12663 | |
(=> (instance ?C Ceiling) (exists (?R) (and (top ?C ?R) (instance ?R Room)))) |
Mid-level-ontology.kif 12762-12767 | |
(=> (instance ?DOOR Door) (exists (?ARTIFACT) (and (part ?DOOR ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 12726-12733 | |
(=> (instance ?FLOOR Floor) (exists (?ARTIFACT) (and (part ?FLOOR ?ARTIFACT) (instance ?ARTIFACT Room)))) |
Mid-level-ontology.kif 12752-12757 | |
(=> (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 12605-12613 | |
(=> (instance ?WALL Wall) (exists (?ARTIFACT) (and (part ?WALL ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 12739-12746 | |
(=> (instance ?WAY Doorway) (exists (?ARTIFACT) (and (part ?WAY ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 12717-12724 | |
(=> (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 24550-24560 |
![]() |
![]() |