TreeView Knowledge Base Browser - Park

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Park

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 8132-8133
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8131-8131	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 8151-8151	Public park is a subclass of park
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44444-44444
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44443-44443
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44442-44442

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8135-8141	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 8143-8149	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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