TreeView Knowledge Base Browser - postCity

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - postCity

postCity

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24759-24761
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24756-24756	The number 1 argument of post city is an instance of postal place
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24757-24757	The number 2 argument of post city is an instance of city
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24754-24754	post city is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24755-24755	post city is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24758-24758	post city is a subrelation of located

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4150-4150
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4149-4149
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4148-4148
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65903-65903

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24722-24727	If a postal place is in a city and the city is a geographic subregion of a state or province and the state or province is an instance of state or province, then the postal place is in the state or province
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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24763-24768	A postal place is located at a city and the postal place is an instance of postal place and the city is an instance of city if and only if the postal place is in the city
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24683-24688	If a postal place is in a neighborhood and the neighborhood is a geographic subregion of a city and the city is an instance of city, then the postal place is in the city
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24797-24802	If a postal place is in post code a postcode area and the postcode area is a geographic subregion of a city and the city is an instance of city, then the postal place is in the city

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