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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DrivingRange
DrivingRange

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


(documentation DrivingRange EnglishLanguage "DrivingRange is a GolfFacility where people line up side-by-side performing GolfDrive for practice") Sports.kif 975-976
(subclass DrivingRange GolfFacility) Sports.kif 974-974

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


(termFormat EnglishLanguage DrivingRange "driving range") Sports.kif 977-977

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


(=>
    (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 979-992


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