No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3886-3886 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3885-3885 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3884-3884 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38669-38669 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38668-38668 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38667-38667 |
|