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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MaritimeContiguousZone

Sigma KEE - MaritimeContiguousZone
MaritimeContiguousZone(maritime contiguous zone)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1033-1040
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 1031-1031 Maritime contiguous 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 1044-1044 The range of maritime contiguous zone is an instance of maritime contiguous zone
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36209-36209
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36208-36208
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36207-36207

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1050-1054
No TPTP formula. May not be expressible in strict first order. Geography.kif 1206-1212


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