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

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


(rangeSubclass SenseImpairmentFn PathologicProcess) Merge.kif 13512-13512
(rangeSubclass SenseInabilityFn PathologicProcess) Merge.kif 13532-13532
(subclass AllergicReaction PathologicProcess) Mid-level-ontology.kif 6218-6218
(subclass Atrophy PathologicProcess) Mid-level-ontology.kif 6440-6440
(subclass AutoImmuneDisorder PathologicProcess) Medicine.kif 2194-2194
(subclass Bloating PathologicProcess) Mid-level-ontology.kif 6453-6453
(subclass Choking PathologicProcess) Mid-level-ontology.kif 11746-11746
(subclass Edema PathologicProcess) Mid-level-ontology.kif 9938-9938
(subclass GERefluxDisease PathologicProcess) Medicine.kif 1893-1893
(subclass Hallucination PathologicProcess) Mid-level-ontology.kif 6417-6417
(subclass Headache PathologicProcess) Mid-level-ontology.kif 19333-19333
(subclass HeartAttack PathologicProcess) Mid-level-ontology.kif 11349-11349
(subclass HeartPalpitation PathologicProcess) Medicine.kif 4324-4324
(subclass HeartPalpitations PathologicProcess) Medicine.kif 2047-2047
(subclass Injuring PathologicProcess) Merge.kif 10448-10448
(subclass Insomnia PathologicProcess) Mid-level-ontology.kif 16441-16441
(subclass Pain PathologicProcess) Mid-level-ontology.kif 19328-19328
(subclass Pericarditis PathologicProcess) Mid-level-ontology.kif 11409-11409
(subclass SkinRash PathologicProcess) Mid-level-ontology.kif 5737-5737
(subclass Stroke PathologicProcess) Mid-level-ontology.kif 11891-11891
(subclass TakingIll PathologicProcess) Mid-level-ontology.kif 5927-5927
(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 9931-9931
(domainSubclass pathologicSideEffect 2 PathologicProcess) WMD.kif 1558-1558
(domainSubclass pathologicSymptom 2 PathologicProcess) Merge.kif 10432-10432
(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 10416-10424
(=>
    (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 11246-11261

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 5829-5838
(=>
    (attribute ?H Emphysema)
    (exists (?L ?P)
        (and
            (instance ?L Alveolus)
            (part ?L ?H)
            (instance ?P PathologicProcess)
            (eventLocated ?P ?L))))
Mid-level-ontology.kif 6003-6010
(=>
    (attribute ?H Goiter)
    (exists (?G ?P)
        (and
            (instance ?G ThyroidGland)
            (part ?G ?H)
            (instance ?P PathologicProcess)
            (eventLocated ?P ?G))))
Mid-level-ontology.kif 6174-6181
(=>
    (instance ?STRUCTURE AbnormalAnatomicalStructure)
    (exists (?PROC)
        (and
            (instance ?PROC PathologicProcess)
            (result ?PROC ?STRUCTURE))))
Merge.kif 14964-14969


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