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 子類 種族群體 and EthnicGroup

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


No TPTP formula. May not be expressible in strict first order. People.kif 501-501 例 美洲印第安人種族 and 種族群體
No TPTP formula. May not be expressible in strict first order. People.kif 505-505 例 亞洲種族 and 種族群體
No TPTP formula. May not be expressible in strict first order. People.kif 520-520 例 黑人種族 and 種族群體
No TPTP formula. May not be expressible in strict first order. People.kif 647-647 例 白種人 and 種族群體
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