Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Language
Language(语言)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1383-1383 语言 分拆成不相交的 兽语, 人类语言, 和 电算机语言
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1658-1659
No TPTP formula. May not be expressible in strict first order. Merge.kif 1385-1388
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6659-6659
No TPTP formula. May not be expressible in strict first order. Merge.kif 1382-1382 语言语言式表达subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Military.kif 341-341 美国空军排名系统语言instance
No TPTP formula. May not be expressible in strict first order. Military.kif 340-340 美国军队排名系统语言instance
No TPTP formula. May not be expressible in strict first order. Military.kif 344-344 美国海岸警卫队排名系统语言instance
No TPTP formula. May not be expressible in strict first order. Military.kif 342-342 美国海军陆战队排名系统语言instance
No TPTP formula. May not be expressible in strict first order. Military.kif 343-343 美国海军排名系统语言instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1392-1392 兽语语言subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1406-1406 人造语言语言subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1423-1423 人类语言语言subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1390-1390 WrittenLanguage语言subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 839-839
No TPTP formula. May not be expressible in strict first order. english_format.kif 880-880

appearance as argument number 3
-------------------------


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners