Room(pi�ce)![]() | ![]() |
appearance as argument number 1 |
![]() |
(disjoint Room Building) | Merge.kif 15891-15891 | Pi�ce est disjoint de immeuble |
(documentation Room ChineseLanguage "这是 Building 的 properPart,它由墙把它和 Building 的外墙和/ 或 Building 其他的 Room 分隔。有些 Room 会有特定的用途,例如:睡觉、洗澡、煮食和娱乐 等等。") | chinese_format.kif 3588-3590 | Pi�ce est disjoint de immeuble |
(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 15892-15895 | Pi�ce est disjoint de immeuble |
(externalImage Room "http://upload.wikimedia.org/wikipedia/commons/5/56/ OvalOffice.whitehouse.jpg") | pictureList.kif 141-141 | Pi�ce est disjoint de immeuble |
(subclass Room StationaryArtifact) | Merge.kif 15890-15890 | Pi�ce est une sous-classe de artefact stationnaire |
appearance as argument number 2 |
![]() |
(subclass Bathroom Room) | Mid-level-ontology.kif 16866-16866 | Bathroom est une sous-classe de pi�ce |
(subclass Bedroom Room) | Mid-level-ontology.kif 16957-16957 | Bedroom est une sous-classe de pi�ce |
(subclass BusinessCenter Room) | Hotel.kif 1661-1661 | BusinessCenter est une sous-classe de pi�ce |
(subclass Classroom Room) | Mid-level-ontology.kif 16967-16967 | Classroom est une sous-classe de pi�ce |
(subclass Closet Room) | Mid-level-ontology.kif 16877-16877 | Closet est une sous-classe de pi�ce |
(subclass CourtRoom Room) | Mid-level-ontology.kif 17559-17559 | CourtRoom est une sous-classe de pi�ce |
(subclass DiningRoom Room) | Mid-level-ontology.kif 16953-16953 | DiningRoom est une sous-classe de pi�ce |
(subclass DressingRoom Room) | Mid-level-ontology.kif 16889-16889 | DressingRoom est une sous-classe de pi�ce |
(subclass GameRoom Room) | Mid-level-ontology.kif 28680-28680 | GameRoom est une sous-classe de pi�ce |
(subclass Hallway Room) | Mid-level-ontology.kif 16986-16986 | Hallway est une sous-classe de pi�ce |
(subclass HotelFunctionRoom Room) | Hotel.kif 1697-1697 | HotelFunctionRoom est une sous-classe de pi�ce |
(subclass HotelRoom Room) | Hotel.kif 119-119 | HotelRoom est une sous-classe de pi�ce |
(subclass Kitchen Room) | Mid-level-ontology.kif 16927-16927 | Kitchen est une sous-classe de pi�ce |
(subclass Nursery Room) | Mid-level-ontology.kif 28693-28693 | Nursery est une sous-classe de pi�ce |
(subclass SelfServiceLaundry Room) | Mid-level-ontology.kif 27060-27060 | SelfServiceLaundry est une sous-classe de pi�ce |
(subclass Solarium Room) | Mid-level-ontology.kif 28651-28651 | Solarium est une sous-classe de pi�ce |
(subclass SteamBath Room) | Mid-level-ontology.kif 28704-28704 | SteamBath est une sous-classe de pi�ce |
(termFormat ChineseLanguage Room "房间") | chinese_format.kif 1052-1052 | SteamBath est une sous-classe de pi�ce |
(termFormat EnglishLanguage Room "room") | english_format.kif 1315-1315 | SteamBath est une sous-classe de pi�ce |
(termFormat FrenchLanguage Room "pi�ce") | french_format.kif 730-730 | SteamBath est une sous-classe de pi�ce |
(termFormat Hindi Room "kaksha") | terms-hindi.txt 261-261 | SteamBath est une sous-classe de pi�ce |
(termFormat ItalianLanguage Room "Stanza") | terms-it.txt 264-264 | SteamBath est une sous-classe de pi�ce |
(termFormat JapaneseLanguage Room "部屋") | japanese_format.kif 2414-2414 | SteamBath est une sous-classe de pi�ce |
(termFormat PortugueseLanguage Room "Comodo") | portuguese_format.kif 682-682 | SteamBath est une sous-classe de pi�ce |
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 26296-26307 |
|
(=> (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 26309-26319 |
|
(=> (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 16606-16608 | |
(=> (instance ?C Ceiling) (exists (?R) (and (top ?C ?R) (instance ?R Room)))) |
Mid-level-ontology.kif 16709-16714 |
|
(=> (instance ?DOOR Door) (exists (?ARTIFACT) (and (part ?DOOR ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 16672-16679 | |
(=> (instance ?FLOOR Floor) (exists (?ARTIFACT) (and (part ?FLOOR ?ARTIFACT) (instance ?ARTIFACT Room)))) |
Mid-level-ontology.kif 16698-16703 | |
(=> (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 16995-17010 |
|
(=> (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 3574-3584 | |
(=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle))))) |
Mid-level-ontology.kif 16549-16557 | |
(=> (instance ?WALL Wall) (exists (?ARTIFACT) (and (part ?WALL ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 16685-16692 | |
(=> (instance ?WAY Doorway) (exists (?ARTIFACT) (and (part ?WAY ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 16663-16670 | |
(=> (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 28745-28755 |
![]() |
![]() |