TreeView Knowledge Base Browser

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")

antecedent

(=>
    (instance ?G MiniatureGolf)
    (hasPurpose ?G
        (exists (?REC)
            (and
                (instance ?REC RecreationOrExercise)
                (eventLocated ?REC ?G)))))

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