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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PathologicProcess
PathologicProcessAdams-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, Guillain-Barre_syndrome, Gulf_War_syndrome, Horner's_syndrome, Kayser-Fleischer_ring, Kernig's_sign, Koplik's_spots, Landry's_paralysis, Marie-Strumpell_disease, Moeller's_glossitis, Munchausen's_syndrome, Munchausen_syndrome, Noonan's_syndrome, PMS, PVC, Paget's_disease, Persian_Gulf_illness, ProcessoPatologico, Processo_Patologico, 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, acariasis, acaridiasis, acariosis...

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


(disjoint PathologicProcess PhysiologicProcess) Merge.kif 10387-10387
(documentation PathologicProcess ChineseLanguage "这是整个 Organism、一个或多个身体系统或多个 OrganTissue 的一种失调过程、活动或状态。这包括对于负面刺激的正常反应和比生病更含糊的病理情况或 状态。病理功能常常具有系统性的影响。") Merge.kif 10394-10396
(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 10388-10393
(subclass PathologicProcess BiologicalProcess) Merge.kif 10386-10386

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


(subclass Atrophy PathologicProcess) Mid-level-ontology.kif 6130-6130
(subclass Bloating PathologicProcess) Mid-level-ontology.kif 6142-6142
(subclass Injuring PathologicProcess) Merge.kif 10408-10408
(subclass TakingIll PathologicProcess) Mid-level-ontology.kif 5995-5995
(termFormat ChineseLanguage PathologicProcess "病理过程") chinese_format.kif 1088-1088
(termFormat EnglishLanguage PathologicProcess "pathologic process") english_format.kif 775-775
(termFormat FrenchLanguage PathologicProcess "processus pathologique") french_format.kif 766-766
(termFormat Hindi PathologicProcess "roga vigyaaniya prakriyaa") terms-hindi.txt 298-298
(termFormat ItalianLanguage PathologicProcess "ProcessoPatologico") terms-it.txt 299-299
(termFormat PortugueseLanguage PathologicProcess "Processo Patologico") portuguese_format.kif 718-718
(termFormat cz PathologicProcess "pathologic process") terms-cz.txt 337-337
(termFormat tg PathologicProcess "paraan ng sakit") terms-tg.txt 302-302

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


(=>
    (and
        (instance ?PATH PathologicProcess)
        (experiencer ?PATH ?ORG))
    (exists (?PART ?DISEASE)
        (and
            (part ?PART ?ORG)
            (instance ?DISEASE DiseaseOrSyndrome)
            (attribute ?PART ?DISEASE))))
Merge.kif 10398-10406

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 5984-5993
(=>
    (attribute ?H Emphysema)
    (exists (?L ?P)
        (and
            (instance ?L Lung)
            (part ?L ?H)
            (instance ?P PathologicProcess)
            (eventLocated ?P ?L))))
Mid-level-ontology.kif 6026-6033
(=>
    (attribute ?H Goiter)
    (exists (?G ?P)
        (and
            (instance ?G ThyroidGland)
            (part ?G ?H)
            (instance ?P PathologicProcess)
            (eventLocated ?P ?G))))
Mid-level-ontology.kif 6054-6061
(=>
    (instance ?STRUCTURE AbnormalAnatomicalStructure)
    (exists (?PROC)
        (and
            (instance ?PROC PathologicProcess)
            (result ?PROC ?STRUCTURE))))
Merge.kif 15032-15037


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners