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	周边区域是地区的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 782-782	海上主张领海的 range 是周边区域的实例
No TPTP formula. May not be expressible in strict first order.	Geography.kif 770-770	周边区域的所得值是周边区域的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 820-820	均匀的周边区域是周边区域的 subclass
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