No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3666-3666 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3665-3665 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3664-3664 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28545-28545 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28544-28544 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28543-28543 |
|