No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3954-3954 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3953-3953 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3952-3952 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3336-3336 |
fullNameIndexOrder 是 nameIndexOrder 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65883-65883 |
|