No TPTP formula. May not be expressible in strict first order. | Merge.kif 16256-16256 | 一群人 是 群组 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7523-7523 | 运动队 是 一群人 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15962-15962 | 戏剧性的演员 是 一群人 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16083-16083 | 陪审团 是 一群人 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16095-16095 | 犯罪团伙 是 一群人 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18526-18526 | 音乐团体 是 一群人 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26064-26064 | 上市 是 一群人 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30615-30615 | NationalPerson 是 一群人 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16266-16266 | 同龄群组 是 一群人 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16281-16281 | 家族群组 是 一群人 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16294-16294 | 社会单位 是 一群人 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16609-16609 | 民族群组 是 一群人 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16614-16614 | 信仰团体 是 一群人 的 subclass |