No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12827-12827 | 乳房 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12828-12828 | 乳房 是 器官 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12855-12855 | 胸围 是 乳房 的 subclass |