No TPTP formula. May not be expressible in strict first order. |
Media.kif 3138-3138 |
域 abbreviatedDisplayTitle, 3 and Language |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3106-3106 |
域 alternativeTitle, 3 and Language |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24638-24638 |
域 canonicalPlaceName, 2 and Language |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3127-3127 |
域 displayTitle, 3 and Language |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4619-4619 |
域 用語言表達, 2 and Language |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 380-380 |
域 格式, 1 and Language |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3177-3177 |
域 groupingTitle, 3 and Language |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1500-1500 |
域 language, 2 and Language |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1563-1563 |
域 languagePercentInRegion, 1 and Language |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3199-3199 |
域 misspelledTitle, 3 and Language |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1455-1455 |
域 originalExpressedInLanguage, 2 and Language |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3167-3167 |
域 originalTitle, 3 and Language |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3156-3156 |
域 referenceTitle, 3 and Language |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 628-628 |
域 相關的外部概念, 3 and Language |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4480-4480 |
域 用語言表示, 3 and Language |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3116-3116 |
域 sortingTitle, 3 and Language |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 730-730 |
域 說語言, 2 and Language |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3035-3035 |
域 spellingInLanguage, 3 and Language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14477-14477 |
域 subLanguage, 1 and Language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14478-14478 |
域 subLanguage, 2 and Language |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 665-665 |
域 包含外部概念, 3 and Language |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 659-659 |
域 包含外在概念, 3 and Language |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3209-3209 |
域 subtitle, 3 and Language |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 638-638 |
域 同義外部概念, 3 and Language |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 387-387 |
域 術語格式, 1 and Language |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |