No TPTP formula. May not be expressible in strict first order. | Merge.kif 10184-10184 | 机体过程 是 生理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2112-2112 | Excreting 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6032-6032 | Coughing 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6110-6110 | Sneezing 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6246-6246 | 从疾病中恢复过来 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10360-10360 | Breath 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21405-21405 | Vomiting 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21429-21429 | Nausea 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24095-24095 | 交配 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24112-24112 | 下蛋 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10190-10190 | 出生 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10206-10206 | 死亡 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10239-10239 | 呼吸 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10246-10246 | 消化 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10282-10282 | 消化 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10311-10311 | 复制 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13716-13716 | 发声 是 机体过程 的 subclass |