| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16256-16256 | Group of people is a subclass of group |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7523-7523 | Sports team is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15962-15962 | Dramatic cast is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16083-16083 | Jury is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16095-16095 | Criminal gang is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18526-18526 | Musical group is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26064-26064 | Public is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30615-30615 | National person is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16266-16266 | Age group is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16281-16281 | Family group is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16294-16294 | Social unit is a subclass of group of people |
| 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. | Merge.kif 16614-16614 | Belief group is a subclass of group of people |
|
|