| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15952-15952 | Group of people is a subclass of group |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7200-7200 | Sports team is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15388-15388 | Dramatic cast is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15509-15509 | Jury is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15521-15521 | Criminal gang is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17878-17878 | Musical group is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25443-25443 | Public is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30005-30005 | NationalPerson is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15962-15962 | Age group is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15977-15977 | Family group is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15990-15990 | Social unit is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16305-16305 | Ethnic group is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16310-16310 | Belief group is a subclass of group of people |
|
|