|
|
  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 是 HotelRoomAttribute 的 instance |
| 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 |
|
|
|