TreeView Knowledge Base Browser - UrbanArea

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - UrbanArea

UrbanArea(urban)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26615-26619
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26614-26614	Urban is an instance of relational attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 26620-26620

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26626-26632	If urban is an attribute of a geopolitical area, then there exists an integer such that the integer is equal to the population of the geopolitical area and the integer is greater than 50000
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26622-26624	If urban is an attribute of an object, then the object is an instance of geographic area

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