| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16234-16234 | 一群人 是 群组 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7524-7524 | 运动队 是 一群人 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15963-15963 | 戏剧性的演员 是 一群人 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16084-16084 | 陪审团 是 一群人 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16096-16096 | 犯罪团伙 是 一群人 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18527-18527 | 音乐团体 是 一群人 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26076-26076 | 上市 是 一群人 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30627-30627 | NationalPerson 是 一群人 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16244-16244 | 同龄群组 是 一群人 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16259-16259 | 家族群组 是 一群人 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16272-16272 | 社会单位 是 一群人 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16587-16587 | 民族群组 是 一群人 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16592-16592 | 信仰团体 是 一群人 的 subclass |
|
|