No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1007-1007 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1006-1006 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1005-1005 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23810-23810 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23809-23809 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23808-23808 |
|