No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1253-1253 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1252-1252 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1251-1251 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29401-29401 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29400-29400 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29399-29399 |
|