TreeView Knowledge Base Browser - ExtendedFishingZoneFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1184-1187
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1181-1181	域延伸捕魚區, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1180-1180	例延伸捕魚區 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1182-1182	範圍延伸捕魚區 and 延伸捕魚區

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 979-979
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 978-978
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 977-977
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22984-22984
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22983-22983
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22982-22982

antecedent

No TPTP formula. May not be expressible in strict first order.

Geography.kif 1189-1193

consequent

No TPTP formula. May not be expressible in strict first order.

Geography.kif 1189-1193