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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IndoEuropeanLanguage

Sigma KEE - IndoEuropeanLanguage
IndoEuropeanLanguage(印度歐洲語言)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 6711-6713
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10062-10062
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11210-11210
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11211-11211
No TPTP formula. May not be expressible in strict first order. Languages.kif 6710-6710 子類 印度歐洲語言 and LanguageFamily

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 6717-6717 子類 阿爾巴尼亞語 and 印度歐洲語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 6816-6816 子類 亞美尼亞語言 and 印度歐洲語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 6903-6903 子類 波羅的海語言 and 印度歐洲語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 6965-6965 子類 凱爾特語 and 印度歐洲語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 7105-7105 子類 德系語 and 印度歐洲語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 8511-8511 子類 希臘團體語言 and 印度歐洲語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 8647-8647 子類 印度伊朗語 and 印度歐洲語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 9361-9361 子類 斜體語言 and 印度歐洲語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 10691-10691 子類 斯拉夫語 and 印度歐洲語言
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29683-29683
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29682-29682
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29681-29681


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

Show without tree


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