| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11271-11271 |
子類 Bladder and Organ |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12829-12829 |
子類 乳房 and Organ |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12140-12140 |
子類 耳 and Organ |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12106-12106 |
子類 眼睛 and Organ |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12178-12178 |
子類 EyeIris and Organ |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9522-9522 |
子類 花 and Organ |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11979-11979 |
子類 Gallbladder and Organ |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15120-15120 |
子類 Gland and Organ |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11445-11445 |
子類 神經系統 and Organ |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12189-12189 |
子類 鼻子 and Organ |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12007-12007 |
子類 胰腺 and Organ |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9601-9601 |
子類 PlantAreole and Organ |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9469-9469 |
子類 PlantLeaf and Organ |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9501-9501 |
子類 植物根 and Organ |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9577-9577 |
子類 PlantSpinoseStructure and Organ |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9534-9534 |
子類 PlantStem and Organ |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12069-12069 |
子類 Rectum and Organ |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11052-11052 |
子類 視網膜 and Organ |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10938-10938 |
子類 脊柱 and Organ |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10952-10952 |
子類 脊髓 and Organ |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11285-11285 |
子類 脾 and Organ |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12024-12024 |
子類 胃 and Organ |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11830-11830 |
子類 VitalOrgan and Organ |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 785-785 |
子類 VocalCords and 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 |
Organ