No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 540-540 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 539-539 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 538-538 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16776-16776 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16775-16775 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16774-16774 |
|