Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Geography.kif 983-987	If a geopolitical area is an instance of landlocked area and a kind of maritime claim area is a subclass of maritime claim area, then a kind of maritime claim area is not a maritime claim type of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 998-1003	If a geographic area is an instance of a kind of maritime claim area and a kind of maritime claim area is a subclass of maritime claim area and a geopolitical area is a claimed territory of the geographic area, then the kind of maritime claim area is a maritime claim type of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 989-996	If a kind of maritime claim area is a maritime claim type of a geopolitical area and a kind of maritime claim area is a subclass of maritime claim area, then there exists a geographic area such that the geographic area is an instance of the kind of maritime claim area and the geopolitical area is a claimed territory of the 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 1030-1030	Maritime contiguous zone is a subclass of maritime claim area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1057-1057	Maritime shelf area is a subclass of maritime claim area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1099-1099	Maritime exclusive economic zone is a subclass of maritime claim area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1132-1132	Exclusive fishing zone is a subclass of maritime claim area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1164-1164	Extended fishing zone is a subclass of maritime claim area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1196-1196	Territorial sea is a subclass of maritime claim 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