TreeView Knowledge Base Browser

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	子類 EthnicGroup and 一群人

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	People.kif 495-495	例愛馬克族 and EthnicGroup
No TPTP formula. May not be expressible in strict first order.	People.kif 509-509	例俾路支族 and EthnicGroup
No TPTP formula. May not be expressible in strict first order.	People.kif 515-515	例巴斯克民族 and EthnicGroup
No TPTP formula. May not be expressible in strict first order.	People.kif 524-524	例凱爾特人種族 and EthnicGroup
No TPTP formula. May not be expressible in strict first order.	People.kif 529-529	例中亞土耳其種族 and EthnicGroup
No TPTP formula. May not be expressible in strict first order.	People.kif 534-534	例哈扎拉族 and EthnicGroup
No TPTP formula. May not be expressible in strict first order.	People.kif 554-554	例印度支那種族 and EthnicGroup
No TPTP formula. May not be expressible in strict first order.	People.kif 559-559	例拉丁民族 and EthnicGroup
No TPTP formula. May not be expressible in strict first order.	People.kif 568-568	例北非種族 and EthnicGroup
No TPTP formula. May not be expressible in strict first order.	People.kif 572-572	例普什圖族 and EthnicGroup
No TPTP formula. May not be expressible in strict first order.	People.kif 564-564	例波利尼西亞種族 and EthnicGroup
No TPTP formula. May not be expressible in strict first order.	People.kif 594-594	例俄羅斯種族 and EthnicGroup
No TPTP formula. May not be expressible in strict first order.	People.kif 599-599	例斯拉夫民族 and EthnicGroup
No TPTP formula. May not be expressible in strict first order.	People.kif 604-604	例塔吉克族 and EthnicGroup
No TPTP formula. May not be expressible in strict first order.	People.kif 625-625	例條頓人種族 and EthnicGroup
No TPTP formula. May not be expressible in strict first order.	People.kif 630-630	例土庫曼族 and EthnicGroup
No TPTP formula. May not be expressible in strict first order.	People.kif 637-637	例烏茲別克人的種族 and EthnicGroup
No TPTP formula. May not be expressible in strict first order.	People.kif 491-491	子類種族群體 and EthnicGroup
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 and EthnicGroup

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

KB Term:			Term intersection

English Word: