No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2187-2187 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2186-2186 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2185-2185 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50540-50540 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50539-50539 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50538-50538 |
|