TreeView Knowledge Base Browser - AsianEthnicity

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - AsianEthnicity

AsianEthnicity(亞洲種族)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	People.kif 506-507
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10438-10438
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10439-10439
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9892-9892
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10446-10446
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10445-10445
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10440-10440
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10443-10443
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10444-10444
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10441-10441
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10437-10437
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10442-10442
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10436-10436
No TPTP formula. May not be expressible in strict first order.	People.kif 505-505	例亞洲種族 and 種族群體

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	People.kif 496-496	子集合愛馬克族 and 亞洲種族
No TPTP formula. May not be expressible in strict first order.	People.kif 535-535	子集合哈扎拉族 and 亞洲種族
No TPTP formula. May not be expressible in strict first order.	People.kif 555-555	子集合印度支那種族 and 亞洲種族
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8670-8670
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8669-8669
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8668-8668

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