No TPTP formula. May not be expressible in strict first order. | Merge.kif 15132-15132 | 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 9468-9468 | Plant leaf is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9500-9500 | Plant root is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9521-9521 | Flower is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9533-9533 | Plant stem is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9576-9576 | Plant spinose structure is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9600-9600 | Plant areole is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10937-10937 | Spinal column is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10951-10951 | Spinal cord is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11051-11051 | Retina is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11270-11270 | Bladder is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11284-11284 | Spleen is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11444-11444 | Nervous system is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11829-11829 | Vital organ is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11978-11978 | Cholecyst is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12006-12006 | Pancreas is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12023-12023 | Stomach is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12068-12068 | Rectum is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12105-12105 | Eye is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12139-12139 | Ear is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12177-12177 | Eye iris is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12188-12188 | Nose is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12828-12828 | Breast is a subclass of organ |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15142-15142 | Gland is a subclass of organ |
![]() |