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 11042-11042 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11041-11041 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11040-11040 |
|