No TPTP formula. May not be expressible in strict first order. |
Geography.kif 782-782 |
The range of maritime claims territorial sea is an instance of perimeter area |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 770-770 |
The values returned by perimeter area are subclasses of perimeter area |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 820-820 |
Uniform perimeter area is a subclass of perimeter area |
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 |
|