No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3854-3854 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3853-3853 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3852-3852 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37055-37055 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37054-37054 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37053-37053 |
|