DownAndOutRoom
|
|
appearance as argument number 1 |
(documentation DownAndOutRoom EnglishLanguage "DownAndOutRoom describes a HotelUnit that has its entrance and exit that lead Outdoors") | Hotel.kif 1068-1069 | |
(instance DownAndOutRoom HotelRoomAttribute) | Hotel.kif 1067-1067 | DownAndOutRoom ist ein fall von HotelRoomAttribute %n{nicht} |
appearance as argument number 2 |
(termFormat EnglishLanguage DownAndOutRoom "down and out room") | Hotel.kif 1070-1070 |
antecedent |
(=> (attribute ?X DownAndOutRoom) (exists (?LOC ?OUTDOOR) (and (instance ?OUTDOOR Outdoors) (instance ?LOC Region) (orientation ?LOC ?X Adjacent) (orientation ?LOC ?X Outside) (located ?LOC ?OUTDOOR)))) |
Hotel.kif 1072-1080 |
|