No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1073-1073 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1072-1072 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1071-1071 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24350-24350 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24349-24349 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24348-24348 |
|