No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1755-1755 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1754-1754 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1753-1753 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38403-38403 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38402-38402 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38401-38401 |
|