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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DrivingRange
DrivingRange(driving range)driving_range, golf_range, practice_range

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 976-977
(subclass DrivingRange GolfFacility) Sports.kif 975-975 Driving range is a subclass of golf facility

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


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

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 980-993


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