| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7475-7475 | 一群动物 是 群组 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7488-7488 | 窝 是 一群动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7513-7513 | 动物团队 是 一群动物 的 subclass |
|
|