| No TPTP formula. May not be expressible in strict first order. |
Media.kif 3156-3156 |
abbreviatedDisplayTitle 的 3 数量 是 语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 3124-3124 |
alternativeTitle 的 3 数量 是 语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24472-24472 |
canonicalPlaceName 的 2 数量 是 语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 3145-3145 |
displayTitle 的 3 数量 是 语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4589-4589 |
所表达的语言 的 2 数量 是 语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 380-380 |
格式 的 1 数量 是 语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 3195-3195 |
groupingTitle 的 3 数量 是 语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1477-1477 |
language 的 2 数量 是 语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
People.kif 1589-1589 |
languagePercentInRegion 的 1 数量 是 语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 3217-3217 |
misspelledTitle 的 3 数量 是 语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Music.kif 1454-1454 |
originalExpressedInLanguage 的 2 数量 是 语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 3185-3185 |
originalTitle 的 3 数量 是 语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 3174-3174 |
referenceTitle 的 3 数量 是 语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 628-628 |
外部相关的概念 的 3 数量 是 语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4450-4450 |
所表示的语言 的 3 数量 是 语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 3134-3134 |
sortingTitle 的 3 数量 是 语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 704-704 |
说语言 的 2 数量 是 语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 3053-3053 |
spellingInLanguage 的 3 数量 是 语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14477-14477 |
subLanguage 的 1 数量 是 语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14478-14478 |
subLanguage 的 2 数量 是 语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 3227-3227 |
subtitle 的 3 数量 是 语言 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 387-387 |
术语格式 的 1 数量 是 语言 的 instance |
| 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 |
