| RacialEthnicGroup(racial ethnic group)
| | race |
| 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 | Racial ethnic group is a subclass of ethnic group |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 501-501 | Amerindian ethnicity is an instance of racial ethnic group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 505-505 | Asian ethnicity is an instance of racial ethnic group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 520-520 | Black ethnicity is an instance of racial ethnic group |
| No TPTP formula. May not be expressible in strict first order. | People.kif 647-647 | White ethnicity is an instance of racial ethnic group |
| 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 |
|
|
|