| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15132-15132 | 子類 Organ and BodyPart |
| 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. | Mid-level-ontology.kif 9468-9468 | 子類 PlantLeaf and Organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9500-9500 | 子類 植物根 and Organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9521-9521 | 子類 花 and Organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9533-9533 | 子類 PlantStem and Organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9576-9576 | 子類 PlantSpinoseStructure and Organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9600-9600 | 子類 PlantAreole and Organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10937-10937 | 子類 脊柱 and Organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10951-10951 | 子類 脊髓 and Organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11051-11051 | 子類 視網膜 and Organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11270-11270 | 子類 Bladder and Organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11284-11284 | 子類 脾 and Organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11444-11444 | 子類 神經系統 and Organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11829-11829 | 子類 VitalOrgan and Organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11978-11978 | 子類 Gallbladder and Organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12006-12006 | 子類 胰腺 and Organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12023-12023 | 子類 胃 and Organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12068-12068 | 子類 Rectum and Organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12105-12105 | 子類 眼睛 and Organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12139-12139 | 子類 耳 and Organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12177-12177 | 子類 EyeIris and Organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12188-12188 | 子類 鼻子 and Organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12828-12828 | 子類 乳房 and Organ |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15142-15142 | 子類 Gland and Organ |
|
|