Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6191-6199	If a kind of plant is found in a geographic area and a kind of plant is a subclass of plant and the geographic area is an instance of geographic area, then there exists a physical such that the physical is an instance of the kind of plant and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2692-2701	If a kind of process is a subclass of process and another process is an instance of a kind of process and the other process is located at a region and a case role is an instance of case role and an object is an instance of object and the region is an instance of geographic area and the case role the other process and the object, then the kind of process capable at location the case role for the object with the region
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6201-6209	If not a kind of plant is found in a geographic area and a kind of plant is a subclass of plant and the geographic area is an instance of geographic area, then there doesn't exist a physical such that the physical is an instance of the kind of plant and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14031-14031	Geographic area is a subclass of region
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 73-73	Parking lot is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1985-1985	Bus stop is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 79-79	Illicit drug money laundering area is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9014-9014	Military front is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22435-22435	Marketplace is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22612-22612	Tourist site is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24657-24657	Neighborhood is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14040-14040	Localizable place is a subclass of geographic 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 14120-14120	Water area is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14153-14153	Land area is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 562-562	Surface ground area is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 587-587	Water only area is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 728-728	International border is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 733-733	Checkpoint is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1021-1021	Maritime claim area is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2371-2371	Geological fault is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2658-2658	Ecosystem is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3462-3462	Hemisphere is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3975-3975	Land form is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3988-3988	Underground area is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5399-5399	Lake region is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5768-5768	Littoral zone is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5851-5851	Archipelagic area is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6013-6013	Cave is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6067-6067	Submerged land area is a subclass of geographic 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