No TPTP formula. May not be expressible in strict first order. | Merge.kif 15142-15142 | 腺 是 器官 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12221-12221 | 甲状腺 是 腺 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12228-12228 | 垂体 是 腺 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12231-12231 | LymphNode 是 腺 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12256-12256 | SweatGland 是 腺 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12274-12274 | 胰腺 是 腺 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12290-12290 | AdrenalGland 是 腺 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12304-12304 | SalivaryGland 是 腺 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12323-12323 | MucusGland 是 腺 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12358-12358 | TearGland 是 腺 的 subclass |