No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4222-4222 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4221-4221 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4220-4220 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47522-47522 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47521-47521 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47520-47520 |
|