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. | Mid-level-ontology.kif 2112-2112 | Excreting 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6031-6031 | Coughing 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6109-6109 | Sneezing 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6245-6245 | 从疾病中恢复过来 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10359-10359 | Breath 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21404-21404 | Vomiting 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21428-21428 | Nausea 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24094-24094 | 交配 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24111-24111 | 下蛋 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10212-10212 | 出生 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10228-10228 | 死亡 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10261-10261 | 呼吸 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10268-10268 | 消化 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10304-10304 | 消化 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10333-10333 | 复制 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13738-13738 | 发声 是 机体过程 的 subclass |
![]() |