Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| KingBedRoom |
| appearance as argument number 1 |
|
| (subclass KingBedRoom HotelRoom) | TravelPolicies.kif 1068-1068 | KingBedRoom is a subclass of hotel room |
| appearance as argument number 3 |
|
|
| (codeMapping RCroomType "KI" KingBedRoom) | TravelPolicies.kif 1057-1057 | "KI" in RCroomType denotes KingBedRoom |
| antecedent |
|
|
| (=> (instance ?KB KingBedRoom) (exists (?B) (and (instance ?KB HotelRoom) (instance ?B KingBed) (located ?B ?KB)))) |
TravelPolicies.kif 1078-1084 | If X is an instance of KingBedRoom, then there exists Y such that X is an instance of hotel room, Y is an instance of king-sized bed, and Y is located at X |
|