MiniatureGolf
|
|
appearance as argument number 1 |
(documentation MiniatureGolf EnglishLanguage "MiniatureGolf is a type of PuttingGreen used for a novelty type of Golf where GolfHoles have obstacles such as bridges, etc.") | Sports.kif 1023-1024 | |
(subclass MiniatureGolf PuttingGreen) | Sports.kif 1022-1022 | 子類 MiniatureGolf and PuttingGreen |
appearance as argument number 2 |
(termFormat EnglishLanguage MiniatureGolf "miniature golf") | Sports.kif 1025-1025 |
antecedent |
(=> (instance ?G MiniatureGolf) (hasPurpose ?G (exists (?REC) (and (instance ?REC RecreationOrExercise) (eventLocated ?REC ?G))))) |
Sports.kif 1027-1033 |