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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GolfManeuver
GolfManeuver(高爾夫演習)

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


(documentation GolfManeuver EnglishLanguage "Any Maneuver in Golf.") Sports.kif 939-939
(externalImage GolfManeuver "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Golf_player_putting_green_2003.jpg") pictureList.kif 3108-3108
(externalImage GolfManeuver "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Tiger_Woods_2004.jpg") pictureList.kif 2960-2960
(subclass GolfManeuver Maneuver) Sports.kif 938-938 子類 高爾夫演習 and Maneuver

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


(subclass GolfDrive GolfManeuver) Sports.kif 947-947 子類 GolfDrive and 高爾夫演習
(subclass GolfPutt GolfManeuver) Sports.kif 953-953 子類 GolfPutt and 高爾夫演習
(termFormat ChineseLanguage GolfManeuver "高尔夫演习") domainEnglishFormat.kif 26238-26238
(termFormat ChineseTraditionalLanguage GolfManeuver "高爾夫演習") domainEnglishFormat.kif 26237-26237
(termFormat EnglishLanguage GolfManeuver "golf maneuver") domainEnglishFormat.kif 26236-26236

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 980-993
(=>
    (instance ?G Golf)
    (exists (?M)
        (and
            (instance ?M GolfManeuver)
            (subProcess ?M ?G))))
Sports.kif 940-945
(=>
    (instance ?P PuttingGreen)
    (hasPurpose ?P
        (and
            (exists (?PUT)
                (and
                    (instance ?PUT GolfPutt)
                    (eventLocated ?PUT ?P)))
            (not
                (exists (?GOLF)
                    (and
                        (eventLocated ?GOLF ?P)
                        (instance ?GOLF GolfManeuver)
                        (not
                            (instance ?GOLF GolfPutt))))))))
Sports.kif 1001-1014
(=>
    (instance ?X GolfFacility)
    (hasPurpose ?X
        (exists (?GOLF)
            (and
                (or
                    (instance ?GOLF Golf)
                    (instance ?GOLF GolfManeuver))
                (eventLocated ?GOLF ?X)))))
Sports.kif 908-916


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