No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2483-2483 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2482-2482 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2481-2481 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58540-58540 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58539-58539 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58538-58538 |
|