No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4039-4039 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4038-4038 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4037-4037 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42343-42343 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42342-42342 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42341-42341 |
|