No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1483-1483 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1482-1482 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1481-1481 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33983-33983 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33982-33982 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33981-33981 |
|