No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 604-604 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 603-603 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 602-602 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18093-18093 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18092-18092 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18091-18091 |
|