| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10169-10169 | 子類 OrganOrTissueProcess and 自主過程 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10487-10487 | 子類 Clotting and OrganOrTissueProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10529-10529 | 子類 MuscularContraction and OrganOrTissueProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10551-10551 | 子類 MuscleRelaxing and OrganOrTissueProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10715-10715 | 子類 HeartBeat and OrganOrTissueProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11000-11000 | 子類 Sunburn and OrganOrTissueProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11017-11017 | 子類 Tanning and OrganOrTissueProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11540-11540 | 子類 骨化 and OrganOrTissueProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12385-12385 | 子類 Inflammation and OrganOrTissueProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23872-23872 | 子類 經期 and OrganOrTissueProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23964-23964 | 子類 Fertilisation and OrganOrTissueProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24030-24030 | 子類 有機化 and OrganOrTissueProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24041-24041 | 子類 生物學概念 and OrganOrTissueProcess |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2809-2809 | 子類 Tachycardia and OrganOrTissueProcess |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2829-2829 | 子類 Bradycardia and OrganOrTissueProcess |
|
|