| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10206-10206 |
器官或身体组织过程 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10226-10226 |
出生 是 机体过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10387-10387 |
Breath 是 机体过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10275-10275 |
呼吸 是 机体过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6026-6026 |
Coughing 是 机体过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10242-10242 |
死亡 是 机体过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10318-10318 |
消化 是 机体过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2105-2105 |
Excreting 是 机体过程 的 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. |
Mid-level-ontology.kif 24169-24169 |
下蛋 是 机体过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24152-24152 |
交配 是 机体过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21456-21456 |
Nausea 是 机体过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6240-6240 |
从疾病中恢复过来 是 机体过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10347-10347 |
复制 是 机体过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6104-6104 |
Sneezing 是 机体过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13762-13762 |
发声 是 机体过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21432-21432 |
Vomiting 是 机体过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1075-1075 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1361-1361 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 753-753 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 285-285 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 288-288 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2437-2437 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 705-705 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
OrganismProcess