Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  MaritimeExclusiveEconomicZone

Sigma KEE - MaritimeExclusiveEconomicZone
MaritimeExclusiveEconomicZone(maritime exclusive economic zone)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 1102-1105
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2488-2488
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 1100-1100 Maritime exclusive economic zone is a subclass of salt water area

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 1118-1118 The range of maritime exclusive economic zone is an instance of maritime exclusive economic zone
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36221-36221
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36220-36220
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36219-36219

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 1125-1129
No TPTP formula. May not be expressible in strict first order. Geography.kif 1109-1114


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

Show without tree


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