No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1385-1385 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1384-1384 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1383-1383 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30817-30817 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30816-30816 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30815-30815 |
|