TreeView Knowledge Base Browser - 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	海上专属经济区的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1116-1116	海上专属经济区是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1118-1118	海上专属经济区的 range 是海上专属经济区的实例

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