No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21377-21377 |
流血的 是 自主过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21470-21470 |
脸红 是 自主过程 的 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. |
Merge.kif 10240-10240 |
呼吸 是 自主过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10283-10283 |
消化 是 自主过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10306-10306 |
生长 是 自主过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10169-10169 |
器官或身体组织过程 是 自主过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19988-19988 |
反思过程 是 自主过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19981-19981 |
发抖 是 自主过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9300-9300 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9299-9299 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9298-9298 |
|