No TPTP formula. May not be expressible in strict first order. | Geography.kif 762-762 | Perimeter area is a subclass of region |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 820-820 | Uniform perimeter area is a subclass of perimeter area |