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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AmerindianEthnicity
AmerindianEthnicity(amerindian ethnicity)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. People.kif 502-503
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8857-8857
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8862-8862
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8334-8334
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8858-8858
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8859-8859
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8863-8863
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8860-8860
No TPTP formula. May not be expressible in strict first order. People.kif 501-501 Amerindian ethnicity is an instance of racial ethnic group

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7218-7218
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7217-7217
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7216-7216


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