No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 536-536 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 535-535 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 534-534 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16698-16698 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16697-16697 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16696-16696 |
|