![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2896-2897 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10074-10075 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10072-10072 | Physiologic process is a subclass of biological process |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10298-10298 | Pathologic process is disjoint from physiologic process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10077-10077 | Autonomic process is a subclass of physiologic process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10098-10098 | Organism process is a subclass of physiologic process |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1367-1367 | Physiological response to emotion process is a subclass of physiologic process |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1074-1074 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1359-1359 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13229-13229 | The number 1 argument of impairment is a subclass of physiologic process |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21059-21066 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14699-14704 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2026-2033 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2044-2051 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2062-2069 |
|
![]() |
![]() |