No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 80-80 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 79-79 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 78-78 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5907-5907 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5906-5906 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5905-5905 |
|