appearance as argument number 1 |
![]() |
(disjoint OrganOrTissueProcess OrganismProcess) | Merge.kif 10295-10295 | Organ or tissue process is disjoint from organism process |
(documentation OrganOrTissueProcess ChineseLanguage "这是一个特定 Organ 或 Tissue 的 PhysiologicProcess。") | chinese_format.kif 2900-2901 | Organ or tissue process is disjoint from organism process |
(documentation OrganOrTissueProcess EnglishLanguage "A PhysiologicProcess of a particular Organ or Tissue.") | Merge.kif 10297-10298 | Organ or tissue process is disjoint from organism process |
(documentation OrganOrTissueProcess JapaneseLanguage "特定の Organ または Tissue の PhysiologicProcess。") | japanese_format.kif 1649-1650 | Organ or tissue process is disjoint from organism process |
(subclass OrganOrTissueProcess AutonomicProcess) | Merge.kif 10294-10294 | Organ or tissue process is a subclass of autonomic process |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (instance ?PROC OrganOrTissueProcess) (exists (?THING) (and (eventLocated ?PROC ?THING) (or (instance ?THING Organ) (instance ?THING Tissue))))) |
Merge.kif 10300-10307 |
|
consequent |
![]() |
(=> (instance ?S Scar) (exists (?T ?OP ?L) (and (temporalPart ?T (PastFn (WhenFn ?S))) (holdsDuring ?T (instance ?L Lesion)) (instance ?OP OrganOrTissueProcess) (patient ?OP ?L) (result ?OP ?S)))) |
Mid-level-ontology.kif 10755-10765 |
|
![]() |
![]() |