MaritimeClaimArea - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1023-1026
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1021-1021	Maritime claim area is a subclass of geographic area

appearance as argument number 2

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 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 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 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 1196-1196	Territorial sea is a subclass of maritime claim area
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36191-36191
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36190-36190
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36189-36189

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Geography.kif 977-977

antecedent

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 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 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

consequent

No TPTP formula. May not be expressible in strict first order.

Geography.kif 924-932