No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3682-3682 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3681-3681 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3680-3680 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28983-28983 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28982-28982 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28981-28981 |
|