No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3770-3770 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3769-3769 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3768-3768 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34673-34673 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34672-34672 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34671-34671 |
|