Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GolfPackage(golf package) |
| appearance as argument number 1 |
|
| (subclass GolfPackage HotelPackage) | Hotel.kif 2823-2823 | Golf package is a subclass of hotel package |
| (documentation GolfPackage EnglishLanguage "GolfPackage is a type of HotelPackage that includes Golfing") | Hotel.kif 2824-2825 | Golf package is a subclass of hotel package |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GolfPackage "golf package") | Hotel.kif 2826-2826 |
| antecedent |
|
|
| (=> (instance ?X GolfPackage) (processInclusion ?X Golf)) |
Hotel.kif 2828-2830 | If X is an instance of golf package, then customers of X are entitled to golf |
|