No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1775-1775 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1774-1774 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1773-1773 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39807-39807 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39806-39806 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39805-39805 |
|