No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11270-11270 |
Bladder 是 器官 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12828-12828 |
乳房 是 器官 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12139-12139 |
耳 是 器官 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12105-12105 |
眼睛 是 器官 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12177-12177 |
EyeIris 是 器官 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9521-9521 |
花 是 器官 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11978-11978 |
Gallbladder 是 器官 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15142-15142 |
腺 是 器官 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11444-11444 |
神经系统 是 器官 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12188-12188 |
鼻子 是 器官 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12006-12006 |
胰腺 是 器官 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9600-9600 |
PlantAreole 是 器官 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9468-9468 |
PlantLeaf 是 器官 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9500-9500 |
植物根 是 器官 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9576-9576 |
PlantSpinoseStructure 是 器官 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9533-9533 |
PlantStem 是 器官 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12068-12068 |
Rectum 是 器官 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11051-11051 |
视网膜 是 器官 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10937-10937 |
脊柱 是 器官 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10951-10951 |
脊髓 是 器官 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11284-11284 |
脾 是 器官 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12023-12023 |
胃 是 器官 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11829-11829 |
VitalOrgan 是 器官 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 785-785 |
VocalCords 是 器官 的 subclass |
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 |