No TPTP formula. May not be expressible in strict first order. | Merge.kif 15120-15120 | Gland is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12222-12222 | Thyroid gland is a subclass of gland |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12229-12229 | Pituitary gland is a subclass of gland |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12232-12232 | Lymph gland is a subclass of gland |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12257-12257 | Sweat gland is a subclass of gland |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12275-12275 | Pancreas is a subclass of gland |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12291-12291 | Adrenal gland is a subclass of gland |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12305-12305 | Salivary gland is a subclass of gland |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12324-12324 | Mucus gland is a subclass of gland |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12359-12359 | Lacrymal gland is a subclass of gland |