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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RacialEthnicGroup

 Sigma KEE - RacialEthnicGroup
RacialEthnicGroup

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


No TPTP formula. May not be expressible in strict first order. People.kif 492-493
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10217-10217
No TPTP formula. May not be expressible in strict first order. People.kif 491-491 RacialEthnicGroup e' uma sub-classe de Grupo Etnico

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


No TPTP formula. May not be expressible in strict first order. People.kif 501-501 AmerindianEthnicity e' uma instancia de RacialEthnicGroup
No TPTP formula. May not be expressible in strict first order. People.kif 505-505 AsianEthnicity e' uma instancia de RacialEthnicGroup
No TPTP formula. May not be expressible in strict first order. People.kif 520-520 BlackEthnicity e' uma instancia de RacialEthnicGroup
No TPTP formula. May not be expressible in strict first order. People.kif 647-647 WhiteEthnicity e' uma instancia de RacialEthnicGroup
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48398-48398
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48397-48397
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48396-48396


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