No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3506-3506 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3505-3505 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3504-3504 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3298-3298 |
传统的长名 是 fullName 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3310-3310 |
fullNameIndexOrder 是 fullName 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65835-65835 |
|