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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Map

 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 est une sous-classe de groupe ethnique

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


No TPTP formula. May not be expressible in strict first order. People.kif 501-501 AmerindianEthnicity est une instance de RacialEthnicGroup
No TPTP formula. May not be expressible in strict first order. People.kif 505-505 AsianEthnicity est une instance de RacialEthnicGroup
No TPTP formula. May not be expressible in strict first order. People.kif 520-520 BlackEthnicity est une instance de RacialEthnicGroup
No TPTP formula. May not be expressible in strict first order. People.kif 647-647 WhiteEthnicity est une instance 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