appearance as argument number 1 |
(disjoint OrganOrTissueProcess OrganismProcess) | Merge.kif 10206-10206 | 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 10208-10209 | 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 10205-10205 | 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 10211-10218 |
|
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 9626-9636 |
|