No TPTP formula. May not be expressible in strict first order. | Merge.kif 10185-10185 | 子類 自主過程 and PhysiologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10358-10358 | 子類 Breath and 自主過程 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19980-19980 | 子類 發抖 and 自主過程 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19987-19987 | 子類 反思過程 and 自主過程 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21376-21376 | 子類 流血的 and 自主過程 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21469-21469 | 子類 臉紅 and 自主過程 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10191-10191 | 子類 OrganOrTissueProcess and 自主過程 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10262-10262 | 子類 Breathing and 自主過程 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10305-10305 | 子類 消化 and 自主過程 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10328-10328 | 子類 Growth and 自主過程 |