PerimeterArea - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 763-766
No TPTP formula. May not be expressible in strict first order.	Geography.kif 762-762	子類周邊區域 and Region

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 782-782	範圍海上主張領海 and 周邊區域
No TPTP formula. May not be expressible in strict first order.	Geography.kif 770-770	範圍子類周邊區域 and 周邊區域
No TPTP formula. May not be expressible in strict first order.	Geography.kif 820-820	子類均勻的周邊區域 and 周邊區域
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45174-45174
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45173-45173
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45172-45172