PathologicProcess - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint PathologicProcess PhysiologicProcess)	Merge.kif 9827-9827	Pathologic process is disjoint from physiologic process
(documentation PathologicProcess ChineseLanguage "这是整个 Organism、一个或多个身体系统或多个 Organ 或 Tissue 的一种失调过程、活动或状态。这包括对于负面刺激的正常反应和比生病更含糊的病理情况或状态。病理功能常常具有系统性的影响。")	chinese_format.kif 2922-2924
(documentation PathologicProcess EnglishLanguage "A disordered process, activity, or state of the Organism as a whole, of a body system or systems, or of multiple Organs or Tissues. Included here are normal responses to a negative stimulus as well as patholologic conditions or states that are less specific than a disease. Pathologic functions frequently have systemic effects.")	Merge.kif 9829-9834
(subclass PathologicProcess BiologicalProcess)	Merge.kif 9826-9826	Pathologic process is a subclass of biological process

appearance as argument number 2

(subclass Atrophy PathologicProcess)	Mid-level-ontology.kif 6136-6136	Atrophy is a subclass of pathologic process
(subclass Bloating PathologicProcess)	Mid-level-ontology.kif 6148-6148	Bloating is a subclass of pathologic process
(subclass Injuring PathologicProcess)	Merge.kif 9846-9846	Injuring is a subclass of pathologic process
(subclass TakingIll PathologicProcess)	Mid-level-ontology.kif 6001-6001	Taking ill is a subclass of pathologic process
(termFormat ChineseLanguage PathologicProcess "病理过程")	chinese_format.kif 1088-1088
(termFormat EnglishLanguage PathologicProcess "pathologic process")	english_format.kif 1392-1392

antecedent

(=>
    (and
        (instance ?PATH PathologicProcess)
        (experiencer ?PATH ?ORG))
    (exists (?PART ?DISEASE)
        (and
            (part ?PART ?ORG)
            (instance ?DISEASE DiseaseOrSyndrome)
            (attribute ?PART ?DISEASE))))

Merge.kif 9836-9844

If a process is an instance of pathologic process and an agent experiences the process,
then there exist an object and an attribute such that the object is a part of the agent and the attribute is an instance of disease or syndrome and the attribute is an attribute of the object

consequent

(=> (and (instance ?I InfectiousDisease) (attribute ?A ?I)) (exists (?P) (and (instance ?P PathologicProcess) (agent ?P ?O) (instance ?O Microorganism) (experiencer ?P ?A))))	Mid-level-ontology.kif 5990-5999	If an attribute is an instance of infectious disease and the attribute is an attribute of an agent, then there exists a process such that the process is an instance of pathologic process and another agent is an agent of the process and the other agent is an instance of microorganism and the agent experiences the process
(=> (attribute ?H Emphysema) (exists (?L ?P) (and (instance ?L Lung) (part ?L ?H) (instance ?P PathologicProcess) (eventLocated ?P ?L))))	Mid-level-ontology.kif 6032-6039	If emphysema is an attribute of an object, then there exist another object and a process such that the other object is an instance of lung and the other object is a part of the object and the process is an instance of pathologic process and the process is located at 2
(=> (attribute ?H Goiter) (exists (?G ?P) (and (instance ?G ThyroidGland) (part ?G ?H) (instance ?P PathologicProcess) (eventLocated ?P ?G))))	Mid-level-ontology.kif 6060-6067	If goiter is an attribute of an object, then there exist another object and a process such that the other object is an instance of thyroid gland and the other object is a part of the object and the process is an instance of pathologic process and the process is located at 2
(=> (instance ?STRUCTURE AbnormalAnatomicalStructure) (exists (?PROC) (and (instance ?PROC PathologicProcess) (result ?PROC ?STRUCTURE))))	Merge.kif 13927-13932	If an entity is an instance of abnormal anatomical structure, then there exists a process such that the process is an instance of pathologic process and the entity is a result of the process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: