No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1735-1735 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1734-1734 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1733-1733 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37661-37661 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37660-37660 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37659-37659 |
|