Park - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8104-8105
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8103-8103	Park is a subclass of land area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8123-8123	Public park is a subclass of park
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44442-44442
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44441-44441
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44440-44440

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8107-8113	If a physical is an instance of park, then the physical has the purpose there exists an entity such that the entity is an instance of recreation or exercise and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8115-8121	If an entity is an instance of park, then the statement there exists another entity such that the other entity is an instance of garden and the other entity is located at the entity has the modal force of likely

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