No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1257-1257 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1256-1256 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1255-1255 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29407-29407 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29406-29406 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29405-29405 |
|