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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PathologicProcess

Sigma KEE - PathologicProcess
PathologicProcess

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


(disjoint PathologicProcess PhysiologicProcess) Merge.kif 10020-10020
(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 10022-10027
(subclass PathologicProcess BiologicalProcess) Merge.kif 10019-10019

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


(rangeSubclass SenseImpairmentFn PathologicProcess) Merge.kif 12916-12916
(rangeSubclass SenseInabilityFn PathologicProcess) Merge.kif 12936-12936
(subclass AllergicReaction PathologicProcess) Mid-level-ontology.kif 5874-5874
(subclass Atrophy PathologicProcess) Mid-level-ontology.kif 6085-6085
(subclass Bloating PathologicProcess) Mid-level-ontology.kif 6098-6098
(subclass Choking PathologicProcess) Mid-level-ontology.kif 11202-11202
(subclass Edema PathologicProcess) Mid-level-ontology.kif 9481-9481
(subclass Hallucination PathologicProcess) Mid-level-ontology.kif 6062-6062
(subclass Headache PathologicProcess) Mid-level-ontology.kif 18658-18658
(subclass HeartAttack PathologicProcess) Mid-level-ontology.kif 10823-10823
(subclass Injuring PathologicProcess) Merge.kif 10059-10059
(subclass Insomnia PathologicProcess) Mid-level-ontology.kif 15835-15835
(subclass Pain PathologicProcess) Mid-level-ontology.kif 18653-18653
(subclass Pericarditis PathologicProcess) Mid-level-ontology.kif 10883-10883
(subclass SkinRash PathologicProcess) Mid-level-ontology.kif 5397-5397
(subclass Stroke PathologicProcess) Mid-level-ontology.kif 11347-11347
(subclass TakingIll PathologicProcess) Mid-level-ontology.kif 5585-5585
(termFormat ChineseLanguage PathologicProcess "病理过程") chinese_format.kif 1088-1088
(termFormat EnglishLanguage PathologicProcess "pathologic process") english_format.kif 1387-1387

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


(domain pathologyTreatment 1 PathologicProcess) Mid-level-ontology.kif 9474-9474
(domainSubclass pathologicSideEffect 2 PathologicProcess) WMD.kif 1528-1528
(domainSubclass pathologicSymptom 2 PathologicProcess) Merge.kif 10045-10045

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


(=>
    (and
        (instance ?PATH PathologicProcess)
        (experiencer ?PATH ?ORG))
    (exists (?PART ?DISEASE)
        (and
            (part ?PART ?ORG)
            (instance ?DISEASE DiseaseOrSyndrome)
            (attribute ?PART ?DISEASE))))
Merge.kif 10029-10037
(=>
    (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 10723-10738

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 5487-5496
(=>
    (attribute ?H Emphysema)
    (exists (?L ?P)
        (and
            (instance ?L Alveolus)
            (part ?L ?H)
            (instance ?P PathologicProcess)
            (eventLocated ?P ?L))))
Mid-level-ontology.kif 5659-5666
(=>
    (attribute ?H Goiter)
    (exists (?G ?P)
        (and
            (instance ?G ThyroidGland)
            (part ?G ?H)
            (instance ?P PathologicProcess)
            (eventLocated ?P ?G))))
Mid-level-ontology.kif 5830-5837
(=>
    (instance ?STRUCTURE AbnormalAnatomicalStructure)
    (exists (?PROC)
        (and
            (instance ?PROC PathologicProcess)
            (result ?PROC ?STRUCTURE))))
Merge.kif 14336-14341


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

Show without tree


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