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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Park
Park(park)common, commons, green, park, shooting_preserve

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


(documentation Park EnglishLanguage "A publicly owned LandArea which is intended to be used for recreation and/ or exercise.") Mid-level-ontology.kif 7848-7849
(subclass Park LandArea) Mid-level-ontology.kif 7847-7847 Park is a subclass of land area

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


(subclass PublicPark Park) Mid-level-ontology.kif 7866-7866 Public park is a subclass of park
(termFormat ChineseLanguage Park "公园") domainEnglishFormat.kif 44335-44335
(termFormat ChineseTraditionalLanguage Park "公園") domainEnglishFormat.kif 44334-44334
(termFormat EnglishLanguage Park "park") domainEnglishFormat.kif 44333-44333

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


(=>
    (instance ?PARK Park)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (possesses ?GOV ?PARK))))
Mid-level-ontology.kif 7851-7856
(=>
    (instance ?PARK Park)
    (hasPurpose ?PARK
        (exists (?REC)
            (and
                (instance ?REC RecreationOrExercise)
                (eventLocated ?REC ?PARK)))))
Mid-level-ontology.kif 7858-7864


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners