No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 560-560 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 559-559 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 558-558 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17616-17616 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17615-17615 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17614-17614 |
|