No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 288-288 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 287-287 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 286-286 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10985-10985 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10984-10984 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10983-10983 |
|