| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16234-16234 | Group of people is a subclass of group |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7524-7524 | Sports team is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15963-15963 | Dramatic cast is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16084-16084 | Jury is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16096-16096 | Criminal gang is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18527-18527 | Musical group is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26076-26076 | Public is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30627-30627 | National person is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16244-16244 | Age group is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16259-16259 | Family group is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16272-16272 | Social unit is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16587-16587 | Ethnic group is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16592-16592 | Belief group is a subclass of group of people |
|
|