No TPTP formula. May not be expressible in strict first order. |
Geography.kif 782-782 |
O contra-dominio de MaritimeClaimsTerritorialSeaFn e' uma instancia de PerimeterArea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 770-770 |
Os valores retornados por PerimeterAreaFn sao as sub-classes de PerimeterArea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 820-820 |
UniformPerimeterArea e' uma sub-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 |
|