Language(语言) |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3106-3106 | titleInLanguage 的 3 数量 是 语言 的 instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3252-3252 | translatedTitle 的 3 数量 是 语言 的 instance |