No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1289-1289 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1288-1288 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1287-1287 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29515-29515 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29514-29514 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29513-29513 |
|