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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TajikEthnicity

 Sigma KEE - TajikEthnicity
TajikEthnicity(tajik ethnicity)
Tadzhik, Tajik

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


No TPTP formula. May not be expressible in strict first order. People.kif 605-623
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10282-10282
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11937-11937
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11939-11939
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11940-11940
No TPTP formula. May not be expressible in strict first order. People.kif 604-604 Tajik ethnicity is an instance of ethnic group

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56815-56815
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56814-56814
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56813-56813


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