DownAndInRoom |
appearance as argument number 1 |
(documentation DownAndInRoom EnglishLanguage "DownAndInRoom describes a HotelUnit that has its entrance and exit inside the HotelBuilding") | Hotel.kif 1053-1054 | |
(instance DownAndInRoom HotelRoomAttribute) | Hotel.kif 1052-1052 |
appearance as argument number 2 |
(termFormat EnglishLanguage DownAndInRoom "down and in room") | Hotel.kif 1055-1055 |
antecedent |
(=> (attribute ?X DownAndInRoom) (exists (?LOC ?INDOOR) (and (instance ?INDOOR Indoors) (instance ?LOC Region) (orientation ?LOC ?X Adjacent) (orientation ?LOC ?X Outside) (located ?LOC ?INDOOR)))) |
Hotel.kif 1057-1065 |