No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2810-2810 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2809-2809 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2808-2808 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8040-8040 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8039-8039 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8038-8038 |
|