Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Government.kif 1692-1698	If an agent is an instance of agent and the election of the agent is a subclass of election, then the agent is an instance of organization or the agent is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1478-1491	If duty free is an attribute of an object and the object is an instance of store, then there exist a geopolitical area, an entity,, , another kind of object and a process such that the geopolitical area is an instance of geopolitical area and the object is located at the geopolitical area and another kind of object is a subclass of object and the other kind of object is an import commodity type of the geopolitical area and the entity is an instance of the other kind of object and the process is an instance of selling and the entity is a patient of the process and the process is located at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16904-16908	If a relation is an instance of economic relation and the number 1 argument of the relation is an instance of a class, then the class is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6931-6936	If a geopolitical area is an instance of all the instances of a kind of geographic area in another geopolitical area and a kind of geographic area is a subclass of geopolitical area and the other geopolitical area is an instance of geopolitical area, then the geopolitical area is a geopolitical part of the other geopolitical area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14075-14075	Geopolitical area is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14076-14076	Geopolitical area is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 938-938	Port facility is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8008-8008	Independent state is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8016-8016	Dependency or special sovereignty area is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8076-8076	City district is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14245-14245	Nation is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14252-14252	State or province is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14266-14266	City is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14273-14273	County is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 487-487	Overseas area is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 525-525	Parliamentary territory is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 531-531	Self governing territory is a subclass of geopolitical area

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