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 10421-10421
(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 10423-10428
(documentation PathologicProcess JapaneseLanguage "無秩序なプロセス、活動、または Organism 全体の状態、1つまたは複数の身体システム、または複数の Organs または Tissu。ここに含まれてい る負の刺激だけでなく、病理学的条件や病気よりも特異的ではない状態に対する正常な応答が含まれている。 病理学的機能は、しばしば全身的な効果がある。") japanese_format.kif 1671-1674
(subclass PathologicProcess BiologicalProcess) Merge.kif 10420-10420

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


(rangeSubclass SenseImpairmentFn PathologicProcess) Merge.kif 13536-13536
(rangeSubclass SenseInabilityFn PathologicProcess) Merge.kif 13556-13556
(subclass AllergicReaction PathologicProcess) Mid-level-ontology.kif 6213-6213
(subclass Atrophy PathologicProcess) Mid-level-ontology.kif 6435-6435
(subclass AutoImmuneDisorder PathologicProcess) Medicine.kif 2194-2194
(subclass Bloating PathologicProcess) Mid-level-ontology.kif 6448-6448
(subclass Choking PathologicProcess) Mid-level-ontology.kif 11965-11965
(subclass Edema PathologicProcess) Mid-level-ontology.kif 10157-10157
(subclass GERefluxDisease PathologicProcess) Medicine.kif 1893-1893
(subclass Hallucination PathologicProcess) Mid-level-ontology.kif 6412-6412
(subclass Headache PathologicProcess) Mid-level-ontology.kif 19592-19592
(subclass HeartAttack PathologicProcess) Mid-level-ontology.kif 11568-11568
(subclass HeartPalpitation PathologicProcess) Medicine.kif 4324-4324
(subclass HeartPalpitations PathologicProcess) Medicine.kif 2047-2047
(subclass Injuring PathologicProcess) Merge.kif 10460-10460
(subclass Insomnia PathologicProcess) Mid-level-ontology.kif 16660-16660
(subclass Pain PathologicProcess) Mid-level-ontology.kif 19587-19587
(subclass Pericarditis PathologicProcess) Mid-level-ontology.kif 11628-11628
(subclass SkinRash PathologicProcess) Mid-level-ontology.kif 5732-5732
(subclass Stroke PathologicProcess) Mid-level-ontology.kif 12110-12110
(subclass TakingIll PathologicProcess) Mid-level-ontology.kif 5922-5922
(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 10150-10150
(domainSubclass pathologicSideEffect 2 PathologicProcess) WMD.kif 1558-1558
(domainSubclass pathologicSymptom 2 PathologicProcess) Merge.kif 10446-10446
(domainSubclass pathologyCandidate 2 PathologicProcess) Medicine.kif 1949-1949

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


(=>
    (and
        (instance ?PATH PathologicProcess)
        (experiencer ?PATH ?ORG))
    (exists (?PART ?DISEASE)
        (and
            (part ?PART ?ORG)
            (instance ?DISEASE DiseaseOrSyndrome)
            (attribute ?PART ?DISEASE))))
Merge.kif 10430-10438
(=>
    (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 11465-11480

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 3517-3529
(=>
    (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 5824-5833
(=>
    (attribute ?H Emphysema)
    (exists (?L ?P)
        (and
            (instance ?L Alveolus)
            (part ?L ?H)
            (instance ?P PathologicProcess)
            (eventLocated ?P ?L))))
Mid-level-ontology.kif 5998-6005
(=>
    (attribute ?H Goiter)
    (exists (?G ?P)
        (and
            (instance ?G ThyroidGland)
            (part ?G ?H)
            (instance ?P PathologicProcess)
            (eventLocated ?P ?G))))
Mid-level-ontology.kif 6169-6176
(=>
    (instance ?STRUCTURE AbnormalAnatomicalStructure)
    (exists (?PROC)
        (and
            (instance ?PROC PathologicProcess)
            (result ?PROC ?STRUCTURE))))
Merge.kif 14988-14993


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