No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40-40 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39-39 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38-38 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5262-5262 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5261-5261 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5260-5260 |
|