Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - PublicPark
PublicPark(public park)
more pictures...		Acadia_National_Park, Arches_National_Park, Badlands_National_Park, Big_Bend, Big_Bend_National_Park, Biscayne_National_Park, Bryce_Canyon_National_Park, Canyonlands_National_Park, Capitol_Reef_National_Park, Carlsbad_Caverns_National_Park, Channel_Islands_National_Park, Crater_Lake_National_Park, Denali_National_Park, Everglades_National_Park, Gates_of_the_Arctic_National_Park, Grand_Canyon_National_Park, Grand_Teton_National_Park, Great_Smoky_Mountains_National_Park, Guadalupe_Mountains_National_Park, Haleakala_National_Park, Hawaii_Volcanoes_National_Park, Hot_Springs_National_Park, Isle_Royal_National_Park, Katmai_National_Park, Kenai_Fjords_National_Park, Kings_Canyon_National_Park, Kobuk_Valley_National_Park, Lake_Clark_National_Park, Lassen_Volcanic_National_Park, Mammoth_Cave_National_Park, Mesa_Verde_National_Park, Mount_Ranier_National_Park, North_Cascades_National_Park, Olympic_National_Park, Petrified_Forest_National_Park, Platt_National_Park, Redwood_National_Park, Rocky_Mountain_National_Park, Sequoia_National_Park, Serengeti_National_Park, Shenandoah_National_Park, Theodore_Roosevelt_Memorial_National_Park, Virgin_Islands_National_Park, Voyageurs_National_Park, Wind_Cave_National_Park, Wrangell-St._Elias_National_Park, Yellowstone_National_Park, Yosemite_National_Park, Zion_National_Park, national_park...

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


(subclass PublicPark Park) Mid-level-ontology.kif 9445-9445 Public park is a subclass of park
(documentation PublicPark EnglishLanguage "A Park that is publicly owned, i.e. owned by a Government.") Mid-level-ontology.kif 9446-9447 Public park is a subclass of park
(externalImage PublicPark "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ Public_garden_in_Tours%2C_France.jpg") pictureList.kif 6802-6802 Public park is a subclass of park
(externalImage PublicPark "http://upload.wikimedia.org/wikipedia/commons/ 8/ 85/ Laleh_park_jonub.jpg") pictureList.kif 7672-7672 Public park is a subclass of park
(externalImage PublicPark "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8b/ Queen_Elizabeth_Park.jpg") pictureList.kif 7673-7673 Public park is a subclass of park
(externalImage PublicPark "http://upload.wikimedia.org/wikipedia/en/e/e3/ Richmond_Park_-_London_-_England_-_02102005.jpg") pictureList.kif 7676-7676 Public park is a subclass of park
(externalImage PublicPark "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Centralpark.png") pictureList.kif 7677-7677 Public park is a subclass of park

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


(termFormat EnglishLanguage PublicPark "public park") domainEnglishFormat.kif 47983-47983
(termFormat ChineseTraditionalLanguage PublicPark "公園") domainEnglishFormat.kif 47984-47984
(termFormat ChineseLanguage PublicPark "公园") domainEnglishFormat.kif 47985-47985

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


(=>
    (instance ?P PublicPark)
    (exists (?G)
        (and
            (instance ?G Government)
            (possesses ?G ?P))))		 Mid-level-ontology.kif 9449-9454 If X is an instance of public park, then there exists Y such that Y is an instance of government and Y possesses X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners