Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PathologicProcess
PathologicProcess

appearance as argument number 1
-------------------------


(disjoint PathologicProcess PhysiologicProcess) Merge.kif 10510-10510
(documentation PathologicProcess ChineseLanguage "这是整个 Organism、一个或多个身体系统或多个 OrganTissue 的一种失调过程、活动或状态。这包括对于负面刺激的正常反应和比生病更含糊的病理情况或 状态。病理功能常常具有系统性的影响。") 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 10512-10517
(documentation PathologicProcess JapaneseLanguage "無秩序なプロセス、活動、または Organism 全体の状態、1つまたは複数の身体システム、または複数の Organs または Tissu。ここに含まれてい る負の刺激だけでなく、病理学的条件や病気よりも特異的ではない状態に対する正常な応答が含まれている。 病理学的機能は、しばしば全身的な効果がある。") japanese_format.kif 1671-1674
(subclass PathologicProcess BiologicalProcess) Merge.kif 10509-10509

appearance as argument number 2
-------------------------


(rangeSubclass SenseImpairmentFn PathologicProcess) Merge.kif 13629-13629
(rangeSubclass SenseInabilityFn PathologicProcess) Merge.kif 13649-13649
(subclass AllergicReaction PathologicProcess) Mid-level-ontology.kif 7175-7175
(subclass Atrophy PathologicProcess) Mid-level-ontology.kif 7397-7397
(subclass AutoImmuneDisorder PathologicProcess) Medicine.kif 2192-2192
(subclass Bloating PathologicProcess) Mid-level-ontology.kif 7410-7410
(subclass Choking PathologicProcess) Mid-level-ontology.kif 13096-13096
(subclass Edema PathologicProcess) Mid-level-ontology.kif 11286-11286
(subclass GERefluxDisease PathologicProcess) Medicine.kif 1886-1886
(subclass Hallucination PathologicProcess) Mid-level-ontology.kif 7374-7374
(subclass Headache PathologicProcess) Mid-level-ontology.kif 20922-20922
(subclass HeartAttack PathologicProcess) Mid-level-ontology.kif 12699-12699
(subclass HeartPalpitation PathologicProcess) Medicine.kif 4331-4331
(subclass HeartPalpitations PathologicProcess) Medicine.kif 2044-2044
(subclass Injuring PathologicProcess) Merge.kif 10549-10549
(subclass Insomnia PathologicProcess) Mid-level-ontology.kif 17849-17849
(subclass Pain PathologicProcess) Mid-level-ontology.kif 20917-20917
(subclass Pericarditis PathologicProcess) Mid-level-ontology.kif 12759-12759
(subclass SkinRash PathologicProcess) Mid-level-ontology.kif 6694-6694
(subclass Stroke PathologicProcess) Mid-level-ontology.kif 13241-13241
(subclass TakingIll PathologicProcess) Mid-level-ontology.kif 6884-6884
(termFormat ChineseLanguage PathologicProcess "病理过程") chinese_format.kif 1088-1088
(termFormat EnglishLanguage PathologicProcess "pathologic process") english_format.kif 1387-1387
(termFormat FrenchLanguage PathologicProcess "processus pathologique") french_format.kif 766-766

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain pathologyTreatment 1 PathologicProcess) Mid-level-ontology.kif 11279-11279
(domainSubclass pathologicSideEffect 2 PathologicProcess) WMD.kif 1558-1558
(domainSubclass pathologicSymptom 2 PathologicProcess) Merge.kif 10535-10535
(domainSubclass pathologyCandidate 2 PathologicProcess) Medicine.kif 1943-1943

antecedent
-------------------------


(=>
    (and
        (instance ?PATH PathologicProcess)
        (experiencer ?PATH ?ORG))
    (exists (?PART ?DISEASE)
        (and
            (part ?PART ?ORG)
            (instance ?DISEASE DiseaseOrSyndrome)
            (attribute ?PART ?DISEASE))))
Merge.kif 10519-10527
(=>
    (and
        (instance ?RC RibCage)
        (part ?RC ?H)
        (instance ?H Human)
        (attribute ?H Living)
        (not
            (and
                (instance ?P PathologicProcess)
                (located ?P ?H))))
    (exists (?HT ?LG)
        (and
            (instance ?HT Heart)
            (instance ?HT Lung)
            (contains ?RC ?LG)
            (contains ?RC ?HT))))
Mid-level-ontology.kif 12596-12611

consequent
-------------------------


(=>
    (and
        (instance ?E Epidemic)
        (involvedInEvent ?E ?H))
    (or
        (and
            (instance ?D DiseaseOrSyndrome)
            (attribute ?H ?D))
        (exists (?P)
            (and
                (instance ?P PathologicProcess)
                (experiencer ?P ?H)
                (subProcess ?P ?E)))))
Medicine.kif 3518-3530
(=>
    (and
        (instance ?I InfectiousDisease)
        (attribute ?A ?I))
    (exists (?P ?O)
        (and
            (instance ?P PathologicProcess)
            (agent ?P ?O)
            (instance ?O Microorganism)
            (experiencer ?P ?A))))
Mid-level-ontology.kif 6786-6795
(=>
    (attribute ?H Emphysema)
    (exists (?L ?P)
        (and
            (instance ?L Alveolus)
            (part ?L ?H)
            (instance ?P PathologicProcess)
            (eventLocated ?P ?L))))
Mid-level-ontology.kif 6960-6967
(=>
    (attribute ?H Goiter)
    (exists (?G ?P)
        (and
            (instance ?G ThyroidGland)
            (part ?G ?H)
            (instance ?P PathologicProcess)
            (eventLocated ?P ?G))))
Mid-level-ontology.kif 7131-7138
(=>
    (instance ?STRUCTURE AbnormalAnatomicalStructure)
    (exists (?PROC)
        (and
            (instance ?PROC PathologicProcess)
            (result ?PROC ?STRUCTURE))))
Merge.kif 15080-15085


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