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 16905-16909	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 14053-14053	Geopolitical area is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14054-14054	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 8009-8009	Independent state is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8017-8017	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 8077-8077	City district is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14223-14223	Nation is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14230-14230	State or province is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14244-14244	City is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14251-14251	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