No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 640-640 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 639-639 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 638-638 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18564-18564 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18563-18563 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18562-18562 |
|