Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  DownAndInRoom
|
|
|
| appearance as argument number 1 |
|
|
| (instance DownAndInRoom HotelRoomAttribute) | Hotel.kif 1060-1060 | Down and in room is an instance of hotel room attribute |
| (documentation DownAndInRoom EnglishLanguage "DownAndInRoom describes a HotelUnit that has its entrance and exit inside the HotelBuilding") | Hotel.kif 1061-1062 | Down and in room is an instance of hotel room attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DownAndInRoom "down and in room") | Hotel.kif 1063-1063 |
| 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 1065-1073 | If down and in room is an attribute of X, then there exist Y, Z such that Z is an instance of indoors, Y is an instance of region, Y is adjacent to X, Y is outside of to X, and Y is located at Z |
|