No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1173-1173 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1172-1172 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1171-1171 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28071-28071 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28070-28070 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28069-28069 |
|