| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24041-24041 |
生物学概念 是 器官或身体组织过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2829-2829 |
Bradycardia 是 器官或身体组织过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10487-10487 |
Clotting 是 器官或身体组织过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23964-23964 |
Fertilisation 是 器官或身体组织过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10715-10715 |
HeartBeat 是 器官或身体组织过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12385-12385 |
Inflammation 是 器官或身体组织过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23872-23872 |
经期 是 器官或身体组织过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10551-10551 |
MuscleRelaxing 是 器官或身体组织过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10529-10529 |
MuscularContraction 是 器官或身体组织过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24030-24030 |
有机化 是 器官或身体组织过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11540-11540 |
骨化 是 器官或身体组织过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11000-11000 |
Sunburn 是 器官或身体组织过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2809-2809 |
Tachycardia 是 器官或身体组织过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11017-11017 |
Tanning 是 器官或身体组织过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1087-1087 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1385-1385 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 765-765 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 297-297 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 300-300 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2449-2449 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 717-717 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 336-336 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 786-786 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 301-301 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
