No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3058-3058 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3057-3057 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3056-3056 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16392-16392 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16391-16391 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16390-16390 |
|