| 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 1022-1023 | |
| (subclass MiniatureGolf PuttingGreen) | Sports.kif 1021-1021 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MiniatureGolf "miniature golf") | Sports.kif 1024-1024 |
| antecedent |
|
|
| (=> (instance ?G MiniatureGolf) (hasPurpose ?G (exists (?REC) (and (instance ?REC RecreationOrExercise) (eventLocated ?REC ?G))))) |
Sports.kif 1026-1032 |
|
|
|