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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EthnicGroup
EthnicGroup(民族群组)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3717-3718
No TPTP formula. May not be expressible in strict first order. Merge.kif 16588-16590
No TPTP formula. May not be expressible in strict first order. Merge.kif 16587-16587 民族群组一群人subclass

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


No TPTP formula. May not be expressible in strict first order. People.kif 495-495 爱马克族民族群组instance
No TPTP formula. May not be expressible in strict first order. People.kif 509-509 俾路支族民族群组instance
No TPTP formula. May not be expressible in strict first order. People.kif 515-515 巴斯克民族民族群组instance
No TPTP formula. May not be expressible in strict first order. People.kif 524-524 凯尔特人种族民族群组instance
No TPTP formula. May not be expressible in strict first order. People.kif 529-529 中亚土耳其种族民族群组instance
No TPTP formula. May not be expressible in strict first order. People.kif 534-534 哈扎拉族民族群组instance
No TPTP formula. May not be expressible in strict first order. People.kif 554-554 印度支那种族民族群组instance
No TPTP formula. May not be expressible in strict first order. People.kif 559-559 拉丁民族民族群组instance
No TPTP formula. May not be expressible in strict first order. People.kif 568-568 北非种族民族群组instance
No TPTP formula. May not be expressible in strict first order. People.kif 572-572 普什图族民族群组instance
No TPTP formula. May not be expressible in strict first order. People.kif 564-564 波利尼西亚种族民族群组instance
No TPTP formula. May not be expressible in strict first order. People.kif 594-594 俄罗斯种族民族群组instance
No TPTP formula. May not be expressible in strict first order. People.kif 599-599 斯拉夫民族民族群组instance
No TPTP formula. May not be expressible in strict first order. People.kif 604-604 塔吉克族民族群组instance
No TPTP formula. May not be expressible in strict first order. People.kif 625-625 条顿人种族民族群组instance
No TPTP formula. May not be expressible in strict first order. People.kif 630-630 土库曼族民族群组instance
No TPTP formula. May not be expressible in strict first order. People.kif 637-637 乌兹别克人的种族民族群组instance
No TPTP formula. May not be expressible in strict first order. People.kif 491-491 种族群体民族群组subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1066-1066
No TPTP formula. May not be expressible in strict first order. english_format.kif 1343-1343
No TPTP formula. May not be expressible in strict first order. french_format.kif 744-744
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 275-275
No TPTP formula. May not be expressible in strict first order. terms-it.txt 278-278
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2428-2428

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. People.kif 1544-1544 ethnicityPercentInRegion 的 1 数量 是 民族群组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