GolfPackage |
appearance as argument number 1 |
(documentation GolfPackage EnglishLanguage "GolfPackage is a type of HotelPackage that includes Golfing") | Hotel.kif 2806-2807 | |
(subclass GolfPackage HotelPackage) | Hotel.kif 2805-2805 | 子類 GolfPackage and HotelPackage |
appearance as argument number 2 |
(termFormat EnglishLanguage GolfPackage "golf package") | Hotel.kif 2808-2808 |
antecedent |
(=> (instance ?X GolfPackage) (processInclusion ?X Golf)) |
Hotel.kif 2810-2812 |
|