No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 476-476 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 475-475 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 474-474 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15557-15557 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15556-15556 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15555-15555 |
|