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 12829-12829 |
Breast 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 12106-12106 |
Eye 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 9522-9522 |
Flower 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. |
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 11445-11445 |
Nervous system 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 12007-12007 |
Pancreas 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 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 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 9534-9534 |
Plant stem 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 11052-11052 |
Retina 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 11285-11285 |
Spleen 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 11830-11830 |
Vital organ is a subclass of organ |
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. |
chinese_format.kif 1023-1023 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |