Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   LeftTrueRib7Bone
|
|
|
| appearance as argument number 1 |
|
|
| (subclass HotelBuilding ResidentialBuilding) | Hotel.kif 77-77 | Hotel is a subclass of residential building |
| (documentation HotelBuilding EnglishLanguage "A ResidentialBuilding which provides temporary accommodations to guests in exchange for money.") | Hotel.kif 78-79 | Hotel is a subclass of residential building |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HotelBuilding "hotel") | Hotel.kif 80-80 |
| antecedent |
|
|
| (=> (instance ?HOTEL HotelBuilding) (exists (?ROOM) (and (instance ?ROOM HotelRoom) (properPart ?ROOM ?HOTEL)))) |
Hotel.kif 82-87 | If X is an instance of hotel, then there exists Y such that Y is an instance of hotel room and Y is a proper part of X |
| consequent |
|
|
| (=> (instance ?ROOM HotelRoom) (exists (?BLDG) (and (instance ?BLDG HotelBuilding) (part ?ROOM ?BLDG)))) |
Hotel.kif 125-130 | If X is an instance of hotel room, then there exists Y such that Y is an instance of hotel and X is a part of Y |
| (=> (and (attribute ?X ?Y) (instance ?Y HotelLevelAttribute)) (and (instance ?X BuildingLevel) (exists (?BLDG) (and (instance ?BLDG HotelBuilding) (part ?X ?BLDG))))) |
Hotel.kif 1215-1224 | If X is an attribute of Y and X is an instance of hotel level attribute, then Y is an instance of building level and there exists Z such that Z is an instance of hotel and Y is a part of Z |
|