No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 412-412 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 411-411 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 410-410 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14094-14094 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14093-14093 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14092-14092 |
|