Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass PathologicProcess BiologicalProcess) Merge.kif 10631-10631 Pathologic process is a subclass of biological process
(disjoint PathologicProcess PhysiologicProcess) Merge.kif 10632-10632 Pathologic process is disjoint from physiologic process
(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 10634-10639 Pathologic process is disjoint from physiologic process

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


(subclass Injuring PathologicProcess) Merge.kif 10671-10671 Injuring is a subclass of pathologic process
(rangeSubclass SenseImpairmentFn PathologicProcess) Merge.kif 13800-13800 The values returned by sense impairment are subclasses of pathologic process
(rangeSubclass SenseInabilityFn PathologicProcess) Merge.kif 13820-13820 The values returned by no ability of are subclasses of pathologic process
(subclass SkinRash PathologicProcess) Mid-level-ontology.kif 6857-6857 Rash is a subclass of pathologic process
(subclass TakingIll PathologicProcess) Mid-level-ontology.kif 7047-7047 Taking ill is a subclass of pathologic process
(subclass AllergicReaction PathologicProcess) Mid-level-ontology.kif 7338-7338 Allergic reaction is a subclass of pathologic process
(subclass Hallucination PathologicProcess) Mid-level-ontology.kif 7506-7506 Hallucination is a subclass of pathologic process
(subclass Atrophy PathologicProcess) Mid-level-ontology.kif 7529-7529 Atrophy is a subclass of pathologic process
(subclass Bloating PathologicProcess) Mid-level-ontology.kif 7542-7542 Bloating is a subclass of pathologic process
(subclass Edema PathologicProcess) Mid-level-ontology.kif 11384-11384 Swelling is a subclass of pathologic process
(subclass HeartAttack PathologicProcess) Mid-level-ontology.kif 12850-12850 Myocardial infarction is a subclass of pathologic process
(subclass Pericarditis PathologicProcess) Mid-level-ontology.kif 12910-12910 Pericarditis is a subclass of pathologic process
(subclass Choking PathologicProcess) Mid-level-ontology.kif 13247-13247 Choking is a subclass of pathologic process
(subclass Stroke PathologicProcess) Mid-level-ontology.kif 13392-13392 Stroke is a subclass of pathologic process
(subclass Pain PathologicProcess) Mid-level-ontology.kif 21221-21221 Pain is a subclass of pathologic process
(subclass Headache PathologicProcess) Mid-level-ontology.kif 21226-21226 Headache is a subclass of pathologic process
(subclass Seizure PathologicProcess) Medicine.kif 1583-1583 Epileptic seizure is a subclass of pathologic process
(subclass GERefluxDisease PathologicProcess) Medicine.kif 1877-1877 GERD is a subclass of pathologic process
(subclass HeartPalpitations PathologicProcess) Medicine.kif 2034-2034 Palpitations is a subclass of pathologic process
(subclass Insomnia PathologicProcess) Medicine.kif 2070-2070 Insomnia is a subclass of pathologic process
(subclass AutoImmuneDisorder PathologicProcess) Medicine.kif 2200-2200 Auto-immune disease is a subclass of pathologic process
(subclass HeartPalpitation PathologicProcess) Medicine.kif 4345-4345 Palpitations is a subclass of pathologic process
(subclass Mydriasis PathologicProcess) emotion.kif 830-830 Mydriasis is a subclass of pathologic process
(subclass Miosis PathologicProcess) emotion.kif 937-937 Miosis is a subclass of pathologic process
(termFormat EnglishLanguage PathologicProcess "pathologic process") english_format.kif 1391-1391 Miosis is a subclass of pathologic process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domainSubclass pathologicSymptom 2 PathologicProcess) Merge.kif 10657-10657 The number 2 argument of pathologic symptom is a subclass of pathologic process
(domainSubclass pathologyTreatment 1 PathologicProcess) Mid-level-ontology.kif 11377-11377 The number 1 argument of pathology treatment is a subclass of pathologic process
(domainSubclass pathologyCandidate 2 PathologicProcess) Medicine.kif 1934-1934 The number 2 argument of pathology candidate is a subclass of pathologic process
(domainSubclass pathologicSideEffect 2 PathologicProcess) WMD.kif 1554-1554 The number 2 argument of pathologic side effect 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 10641-10649 If X is an instance of pathologic process and Y experiences X, then there exist Z, W such that Z is a part of Y, W is an instance of disease or syndrome, and W is an attribute of Z
(=>
    (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 12743-12758 If X is an instance of rib cage, X is a part of Y, Y is an instance of human, living is an attribute of Y, and ~{ Z is an instance of pathologic process } or ~{ Z is located at Y }, then there exist W, V such that W is an instance of heart, W is an instance of lung, X contains V, and X contains W

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


(=>
    (instance ?STRUCTURE AbnormalAnatomicalStructure)
    (exists (?PROC)
        (and
            (instance ?PROC PathologicProcess)
            (result ?PROC ?STRUCTURE))))		 Merge.kif 15251-15256 If X is an instance of abnormal anatomical structure, then there exists Y such that Y is an instance of pathologic process and X is a result of Y
(=>
    (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 6949-6958 If X is an instance of infectious disease and X is an attribute of Y, then there exist Z, W such that Z is an instance of pathologic process, W is an agent of Z, W is an instance of microorganism, and Y experiences Z
(=>
    (attribute ?H Emphysema)
    (exists (?L ?P)
        (and
            (instance ?L Alveolus)
            (part ?L ?H)
            (instance ?P PathologicProcess)
            (eventLocated ?P ?L))))		 Mid-level-ontology.kif 7123-7130 If emphysema is an attribute of X, then there exist Y, Z such that Y is an instance of alveolus, Y is a part of X, Z is an instance of pathologic process, and Z is located at Y
(=>
    (attribute ?H Goiter)
    (exists (?G ?P)
        (and
            (instance ?G ThyroidGland)
            (part ?G ?H)
            (instance ?P PathologicProcess)
            (eventLocated ?P ?G))))		 Mid-level-ontology.kif 7294-7301 If a goiter is an attribute of X, then there exist Y, Z such that Y is an instance of thyroid gland, Y is a part of X, Z is an instance of pathologic process, and Z is located at Y
(=>
    (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 3547-3559 If X is an instance of epidemic and Y is an involved in event of X, then Z is an instance of disease or syndrome and Z is an attribute of Y or there exists W such that W is an instance of pathologic process, Y experiences W, and W is a subprocess of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners