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	PerimeterArea est une sous-classe de r�gion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 782-782	Le domaine de MaritimeClaimsTerritorialSeaFn est une instance de PerimeterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 770-770	Les valeurs retourn�es par PerimeterAreaFn sont des sous-classes de PerimeterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 820-820	UniformPerimeterArea est une sous-classe de PerimeterArea
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45176-45176
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45175-45175
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45174-45174