No TPTP formula. May not be expressible in strict first order. | Geography.kif 762-762 | PerimeterArea e' uma sub-classe de Regiao |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 820-820 | UniformPerimeterArea e' uma sub-classe de PerimeterArea |