Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Golf
Golf

appearance as argument number 1
-------------------------


(documentation Golf EnglishLanguage "A Sport which has a course of 9 or 18 holes and where the object is to hit a ball with a club into each hole in turn with the fewest number of strokes.") Sports.kif 817-819
(externalImage Golf "http://www.adampease.org/Articulate/SUMOpictures/pictures/ recreation/ sports/ golf/ golf.png") pictureList.kif 468-468
(subclass Golf Sport) Sports.kif 816-816

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Golf "高尔夫球") domainEnglishFormat.kif 26211-26211
(termFormat ChineseTraditionalLanguage Golf "高爾夫球") domainEnglishFormat.kif 26210-26210
(termFormat EnglishLanguage Golf "golf") domainEnglishFormat.kif 26209-26209

antecedent
-------------------------


(=>
    (instance ?G Golf)
    (exists (?M)
        (and
            (instance ?M GolfManeuver)
            (subProcess ?M ?G))))
Sports.kif 867-872
(=>
    (instance ?GOLF Golf)
    (exists (?DRIVE ?PUTT)
        (and
            (instance ?DRIVE GolfDrive)
            (instance ?PUTT GolfPutt)
            (subProcess ?DRIVE ?GOLF)
            (subProcess ?PUTT ?GOLF))))
Sports.kif 821-828

consequent
-------------------------


(=>
    (attribute ?ATHLETE Golfer)
    (hasSkill Golf ?ATHLETE))
Sports.kif 347-349
(=>
    (instance ?X GolfCourse)
    (hasPurpose ?X
        (exists (?GOLF)
            (and
                (instance ?GOLF Golf)
                (eventLocated ?GOLF ?X)))))
Sports.kif 850-856
(=>
    (instance ?X GolfFacility)
    (hasPurpose ?X
        (exists (?GOLF)
            (and
                (or
                    (instance ?GOLF Golf)
                    (instance ?GOLF GolfManeuver))
                (eventLocated ?GOLF ?X)))))
Sports.kif 835-843
(=>
    (instance ?X GolfPackage)
    (processInclusion ?X Golf))
Hotel.kif 2779-2781


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners