No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3970-3970 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3969-3969 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3968-3968 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40155-40155 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40154-40154 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40153-40153 |
|