No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 804-804 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 803-803 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 802-802 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20520-20520 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20519-20519 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20518-20518 |
|