No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1057-1057 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1056-1056 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1055-1055 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24224-24224 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24223-24223 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24222-24222 |
|