No TPTP formula. May not be expressible in strict first order. | Merge.kif 15132-15132 | 器官 是 身体部位 的 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. | 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 9521-9521 | 花 是 器官 的 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 9576-9576 | PlantSpinoseStructure 是 器官 的 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 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 11051-11051 | 视网膜 是 器官 的 subclass |
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 11284-11284 | 脾 是 器官 的 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 11829-11829 | VitalOrgan 是 器官 的 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. | Mid-level-ontology.kif 12006-12006 | 胰腺 是 器官 的 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 12068-12068 | Rectum 是 器官 的 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 12139-12139 | 耳 是 器官 的 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 12188-12188 | 鼻子 是 器官 的 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. | Merge.kif 15142-15142 | 腺 是 器官 的 subclass |