No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 656-656 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 655-655 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 654-654 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18630-18630 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18629-18629 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18628-18628 |
|