No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 128-128 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 127-127 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 126-126 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6540-6540 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6539-6539 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6538-6538 |
|