No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1149-1149 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1148-1148 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1147-1147 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27540-27540 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27539-27539 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27538-27538 |
|