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 24530-24530 |
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 4618-4618 |
所表达的语言 的 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 1500-1500 |
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 1455-1455 |
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 4479-4479 |
所表示的语言 的 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 709-709 |
说语言 的 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. |
Merge.kif 665-665 |
纳入外部的概念 的 3 数量 是 语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 659-659 |
包含外部的概念 的 3 数量 是 语言 的 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 638-638 |
和外部意义相同的概念 的 3 数量 是 语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 387-387 |
术语格式 的 1 数量 是 语言 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |