maritimeClaimType - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - maritimeClaimType

maritimeClaimType

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 979-981
No TPTP formula. May not be expressible in strict first order.	Geography.kif 976-976	The number 1 argument of maritime claim type is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 977-977	The number 2 argument of maritime claim type is a subclass of maritime claim area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 975-975	maritime claim type is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 974-974	maritime claim type is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1623-1623
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1622-1622
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1621-1621
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36203-36203
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36202-36202
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36201-36201

antecedent

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

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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