GroupOfPeople
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3670-3671 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16235-16236 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16234-16234 | Group of people is a subclass of group |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 903-903 | Joint chiefs of staff is an instance of group of people |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 883-883 | Joint staff is an instance of group of people |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1993-1993 | Nativity magi is an instance of group of people |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1950-1950 | Twelve apostles is an instance of group of people |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8040-8040 | The range of citizenry is an instance of group of people |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8029-8029 | The range of resident is an instance 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 16592-16592 | Belief group 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 15963-15963 | Dramatic cast 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 16259-16259 | Family group 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 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 30627-30627 | National person 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. | Merge.kif 16272-16272 | Social unit is a subclass of group of people |
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. | domainEnglishFormat.kif 26814-26814 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26813-26813 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26812-26812 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7557-7557 | The number 2 argument of group member is an instance of group of people |
antecedent |
consequent |