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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PathologicProcess
PathologicProcess(pathologic process)Adams-Stokes_syndrome, Albright's_disease, Arnold-Chiari_deformity, BPH, Bosin's_disease, Chinese_restaurant_syndrome, Conn's_syndrome, Crohn's_disease, Dawson's_encephalitis, Ekbom_syndrome, FAS, Gilles_de_la_Tourette_syndrome, Gulf_War_syndrome, Horner's_syndrome, Kayser-Fleischer_ring, Kernig's_sign, Koplik's_spots, Marie-Strumpell_disease, Munchausen's_syndrome, Munchausen_syndrome, Noonan's_syndrome, PMS, PVC, Paget's_disease, Persian_Gulf_illness, Ramsay_Hunt_syndrome, Raynaud's_sign, Reiter's_disease, Reiter's_syndrome, Reye's_syndrome, SOB, SSPE, Stokes-Adams_syndrome, TSS, Thomsen's_disease, Tietze's_syndrome, Tourette's_syndrome, Van_Bogaert_encephalitis, Waterhouse-Friderichsen_syndrome, Williams_syndrome, Zollinger-Ellison_syndrome, abiotrophy, achlorhydria, achylia, achylia_gastrica, acrocyanosis, acromegalia, acromegaly, acromyotonia, acute_hemorrhagic_encephalitis...

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


(disjoint PathologicProcess PhysiologicProcess) Merge.kif 10303-10303 Pathologic process is disjoint from physiologic process
(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 10305-10310
(subclass PathologicProcess BiologicalProcess) Merge.kif 10302-10302 Pathologic process is a subclass of biological process

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


(rangeSubclass SenseImpairmentFn PathologicProcess) Merge.kif 13263-13263 The values returned by sense impairment are subclasses of pathologic process
(rangeSubclass SenseInabilityFn PathologicProcess) Merge.kif 13283-13283 The values returned by no ability of are subclasses of pathologic process
(subclass AllergicReaction PathologicProcess) Mid-level-ontology.kif 5926-5926 AllergicReaction is a subclass of pathologic process
(subclass Atrophy PathologicProcess) Mid-level-ontology.kif 6148-6148 Atrophy is a subclass of pathologic process
(subclass Bloating PathologicProcess) Mid-level-ontology.kif 6161-6161 Bloating is a subclass of pathologic process
(subclass Choking PathologicProcess) Mid-level-ontology.kif 11283-11283 Choking is a subclass of pathologic process
(subclass Edema PathologicProcess) Mid-level-ontology.kif 9557-9557 Swelling is a subclass of pathologic process
(subclass Hallucination PathologicProcess) Mid-level-ontology.kif 6125-6125 Hallucination is a subclass of pathologic process
(subclass Headache PathologicProcess) Mid-level-ontology.kif 18769-18769 Headache is a subclass of pathologic process
(subclass HeartAttack PathologicProcess) Mid-level-ontology.kif 10904-10904 Myocardial infarction is a subclass of pathologic process
(subclass Injuring PathologicProcess) Merge.kif 10344-10344 Injuring is a subclass of pathologic process
(subclass Insomnia PathologicProcess) Mid-level-ontology.kif 15937-15937 Insomnia is a subclass of pathologic process
(subclass Pain PathologicProcess) Mid-level-ontology.kif 18764-18764 Pain is a subclass of pathologic process
(subclass Pericarditis PathologicProcess) Mid-level-ontology.kif 10964-10964 Pericarditis is a subclass of pathologic process
(subclass SkinRash PathologicProcess) Mid-level-ontology.kif 5445-5445 Rash is a subclass of pathologic process
(subclass Stroke PathologicProcess) Mid-level-ontology.kif 11428-11428 Stroke is a subclass of pathologic process
(subclass TakingIll PathologicProcess) Mid-level-ontology.kif 5635-5635 Taking ill is a subclass of pathologic process
(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 9550-9550 The number 1 argument of pathology treatment is an instance of pathologic process
(domainSubclass pathologicSideEffect 2 PathologicProcess) WMD.kif 1549-1549 The number 2 argument of pathologicSideEffect is a subclass of pathologic process
(domainSubclass pathologicSymptom 2 PathologicProcess) Merge.kif 10328-10328 The number 2 argument of pathologic symptom is a subclass of pathologic process

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


(=>
    (and
        (instance ?PATH PathologicProcess)
        (experiencer ?PATH ?ORG))
    (exists (?PART ?DISEASE)
        (and
            (part ?PART ?ORG)
            (instance ?DISEASE DiseaseOrSyndrome)
            (attribute ?PART ?DISEASE))))
Merge.kif 10312-10320
(=>
    (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 10802-10817

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


(=>
    (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 5537-5546
(=>
    (attribute ?H Emphysema)
    (exists (?L ?P)
        (and
            (instance ?L Alveolus)
            (part ?L ?H)
            (instance ?P PathologicProcess)
            (eventLocated ?P ?L))))
Mid-level-ontology.kif 5711-5718
(=>
    (attribute ?H Goiter)
    (exists (?G ?P)
        (and
            (instance ?G ThyroidGland)
            (part ?G ?H)
            (instance ?P PathologicProcess)
            (eventLocated ?P ?G))))
Mid-level-ontology.kif 5882-5889
(=>
    (instance ?STRUCTURE AbnormalAnatomicalStructure)
    (exists (?PROC)
        (and
            (instance ?PROC PathologicProcess)
            (result ?PROC ?STRUCTURE))))
Merge.kif 14694-14699


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