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 11051-11051 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11050-11050 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11049-11049 |
|