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 890-892
(externalImage Golf "http://articulatesoftware.com/SUMOpictures/recreation/ sports/ golf/ golf.png") pictureList.kif 468-468
(subclass Golf Sport) Sports.kif 889-889 Golfスポーツsubclass では %n

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


(termFormat ChineseLanguage Golf "高尔夫球") domainEnglishFormat.kif 26220-26220
(termFormat ChineseTraditionalLanguage Golf "高爾夫球") domainEnglishFormat.kif 26219-26219
(termFormat EnglishLanguage Golf "golf") domainEnglishFormat.kif 26218-26218

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


(=>
    (instance ?G Golf)
    (exists (?M)
        (and
            (instance ?M GolfManeuver)
            (subProcess ?M ?G))))
Sports.kif 940-945
(=>
    (instance ?GOLF Golf)
    (exists (?DRIVE ?PUTT)
        (and
            (instance ?DRIVE GolfDrive)
            (instance ?PUTT GolfPutt)
            (subProcess ?DRIVE ?GOLF)
            (subProcess ?PUTT ?GOLF))))
Sports.kif 894-901

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


(=>
    (attribute ?ATHLETE Golfer)
    (hasSkill Golf ?ATHLETE))
Sports.kif 416-418
(=>
    (instance ?X GolfCourse)
    (hasPurpose ?X
        (exists (?GOLF)
            (and
                (instance ?GOLF Golf)
                (eventLocated ?GOLF ?X)))))
Sports.kif 923-929
(=>
    (instance ?X GolfFacility)
    (hasPurpose ?X
        (exists (?GOLF)
            (and
                (or
                    (instance ?GOLF Golf)
                    (instance ?GOLF GolfManeuver))
                (eventLocated ?GOLF ?X)))))
Sports.kif 908-916
(=>
    (instance ?X GolfPackage)
    (processInclusion ?X Golf))
Hotel.kif 2810-2812


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