No TPTP formula. May not be expressible in strict first order. | Merge.kif 16609-16609 | Ethnic group is a subclass of group of people |
No TPTP formula. May not be expressible in strict first order. | People.kif 491-491 | Racial ethnic group is a subclass of ethnic group |