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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LatinEthnicity

 Sigma KEE - LatinEthnicity
LatinEthnicity(latin ethnicity)
Latin

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


No TPTP formula. May not be expressible in strict first order. People.kif 560-561
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8570-8570
No TPTP formula. May not be expressible in strict first order. People.kif 559-559 Latin 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 33455-33455
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33454-33454
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33453-33453
No TPTP formula. May not be expressible in strict first order. People.kif 562-562


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