No TPTP formula. May not be expressible in strict first order. | Merge.kif 15110-15110 | Organ is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 785-785 | Vocal cords is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9469-9469 | Plant leaf is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9501-9501 | Plant root is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9522-9522 | Flower is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9534-9534 | Plant stem is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9577-9577 | Plant spinose structure is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9601-9601 | Plant areole is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10938-10938 | Spinal column is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10952-10952 | Spinal cord is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11052-11052 | Retina is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11271-11271 | Bladder is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11285-11285 | Spleen is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11445-11445 | Nervous system is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11830-11830 | Vital organ is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11979-11979 | Cholecyst is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12007-12007 | Pancreas is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12024-12024 | Stomach is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12069-12069 | Rectum is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12106-12106 | Eye is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12140-12140 | Ear is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12178-12178 | Eye iris is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12189-12189 | Nose is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12829-12829 | Breast is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15120-15120 | Gland is a subclass of organ |