Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DownAndOutRoom(down and out room) |
| appearance as argument number 1 |
|
| (instance DownAndOutRoom HotelRoomAttribute) | Hotel.kif 1075-1075 | Down and out room is an instance of hotel room attribute |
| (documentation DownAndOutRoom EnglishLanguage "DownAndOutRoom describes a HotelUnit that has its entrance and exit that lead Outdoors") | Hotel.kif 1076-1077 | Down and out room is an instance of hotel room attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DownAndOutRoom "down and out room") | Hotel.kif 1078-1078 |
| 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 1080-1088 | If down and out room is an attribute of X, then there exist Y, Z such that Z is an instance of outdoors, Y is an instance of region, Y is adjacent to X, Y is outside of to X, and Y is located at Z |
|