OrganOrTissueProcess
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10192-10192 | Organ or tissue process is disjoint from organism process |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2900-2901 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10194-10195 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1649-1650 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10191-10191 | Organ or tissue process is a subclass of autonomic process |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24040-24040 | Biological conception is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2829-2829 | Bradycardia is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10486-10486 | Coagulation is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23963-23963 | Conceiving is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10714-10714 | Heart beat is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12384-12384 | Inflammation is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23871-23871 | Menstruation is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10550-10550 | Muscle relaxing is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10528-10528 | Muscular contraction is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24029-24029 | Organification is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11539-11539 | Ossification is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10999-10999 | Sunburn is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2809-2809 | Tachyarrhythmia is a subclass of organ or tissue process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11016-11016 | Tanning is a subclass of organ or tissue process |
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 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10197-10204 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9407-9417 |
|