Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MiniatureGolf(miniature golf) |  | miniature_golf |
| appearance as argument number 1 |
|
|
| (subclass MiniatureGolf PuttingGreen) | Sports.kif 1050-1050 | Miniature golf is a subclass of putting green |
| (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 1051-1052 | Miniature golf is a subclass of putting green |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MiniatureGolf "miniature golf") | Sports.kif 1053-1053 |
| antecedent |
|
|
| (=> (instance ?G MiniatureGolf) (hasPurpose ?G (exists (?REC) (and (instance ?REC RecreationOrExercise) (eventLocated ?REC ?G))))) |
Sports.kif 1055-1061 | If X is an instance of miniature golf, then X has the purpose there exists Y such that Y is an instance of recreation or exercise and Y is located at X |
|