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 11033-11033 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11032-11032 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11031-11031 |
|