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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fax

Sigma KEE - MaritimeExclusiveEconomicZoneFn
MaritimeExclusiveEconomicZoneFn

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1120-1123
No TPTP formula. May not be expressible in strict first order. Geography.kif 1117-1117 The number 1 argument of maritime exclusive economic zone is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Geography.kif 1116-1116 Maritime exclusive economic zone is an instance of unary function
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

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1631-1631
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1630-1630
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1629-1629
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36227-36227
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36226-36226
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36225-36225

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


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

consequent
-------------------------


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


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