No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1093-1093 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1092-1092 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1091-1091 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 334-334 |
GeographicCenterFn s'appele nom "geographic center" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25770-25770 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25769-25769 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25768-25768 |
|