No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3862-3862 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3861-3861 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3860-3860 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65875-65875 |
|