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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GolfManeuver
GolfManeuver(golf maneuver)
approach, approach_shot, chip, chip_shot, downswing, draw, explosion, fade, golf_shot, golf_stroke, hook, hooking, pitch, pitch_shot, sclaff, shank, slice, slicing, swing

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


(documentation GolfManeuver EnglishLanguage "Any Maneuver in Golf.") Sports.kif 866-866
(externalImage GolfManeuver "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Golf_player_putting_green_2003.jpg") pictureList.kif 3109-3109
(externalImage GolfManeuver "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Tiger_Woods_2004.jpg") pictureList.kif 2961-2961
(subclass GolfManeuver Maneuver) Sports.kif 865-865 Golf maneuver is a subclass of maneuver

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


(subclass GolfDrive GolfManeuver) Sports.kif 874-874 Golf drive is a subclass of golf maneuver
(subclass GolfPutt GolfManeuver) Sports.kif 880-880 Golf put is a subclass of golf maneuver
(termFormat ChineseLanguage GolfManeuver "高尔夫演习") domainEnglishFormat.kif 26229-26229
(termFormat ChineseTraditionalLanguage GolfManeuver "高爾夫演習") domainEnglishFormat.kif 26228-26228
(termFormat EnglishLanguage GolfManeuver "golf maneuver") domainEnglishFormat.kif 26227-26227

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


(=>
    (instance ?D DrivingRange)
    (hasPurpose ?D
        (and
            (exists (?DRIVE)
                (and
                    (instance ?DRIVE GolfDrive)
                    (eventLocated ?DRIVE ?D)))
            (not
                (exists (?GOLF)
                    (and
                        (eventLocated ?GOLF ?D)
                        (instance ?GOLF GolfManeuver)
                        (not
                            (instance ?GOLF GolfDrive))))))))
Sports.kif 906-919
(=>
    (instance ?G Golf)
    (exists (?M)
        (and
            (instance ?M GolfManeuver)
            (subProcess ?M ?G))))
Sports.kif 867-872
(=>
    (instance ?P PuttingGreen)
    (hasPurpose ?D
        (and
            (exists (?PUT)
                (and
                    (instance ?PUT GolfPutt)
                    (eventLocated ?PUT ?P)))
            (not
                (exists (?GOLF)
                    (and
                        (eventLocated ?GOLF ?D)
                        (instance ?GOLF GolfManeuver)
                        (not
                            (instance ?GOLF GolfPutt))))))))
Sports.kif 927-940
(=>
    (instance ?X GolfFacility)
    (hasPurpose ?X
        (exists (?GOLF)
            (and
                (or
                    (instance ?GOLF Golf)
                    (instance ?GOLF GolfManeuver))
                (eventLocated ?GOLF ?X)))))
Sports.kif 835-843


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