TreeView Knowledge Base Browser - postCountry

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - postCountry

postCountry

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24702-24705
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24699-24699	The number 1 argument of post country is an instance of postal place
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24700-24700	The number 2 argument of post country is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24697-24697	post country is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24698-24698	post country is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24701-24701	post country is a subrelation of located

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4158-4158
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4157-4157
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4156-4156
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65905-65905

antecedent

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

Mid-level-ontology.kif 24707-24711

If a postal place is in a geopolitical area,
then the geopolitical area is an instance of nation or the geopolitical area is an instance of dependency or special sovereignty area

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24713-24720	A postal place is located at a geopolitical area and the postal place is an instance of postal place and the geopolitical area is an instance of nation or the geopolitical area is an instance of dependency or special sovereignty area if and only if the postal place is in the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24729-24736	If a postal place is in a city and the city is a geographic subregion of a geopolitical area and the geopolitical area is an instance of nation or the geopolitical area is an instance of dependency or special sovereignty area, then the postal place is in the geopolitical 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