No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 324-324 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 323-323 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 322-322 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 687-687 |
BorderFn s'appele nom "border" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6176-6176 |
ShorelineFn est une sous-relation de BorderFn |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11651-11651 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11650-11650 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11649-11649 |
|