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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Inflammation
Inflammation

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


(documentation Inflammation EnglishLanguage "Inflammation is part of the complex biological response of body tissues to harmful stimuli, such as pathogens, damaged cells, or irritants, and is a protective response involving immune cells, BloodVessels, and molecular mediators. The function of inflammation is to eliminate the initial cause of cell injury, clear out necrotic cells and tissues damaged from the original insult and the inflammatory process, and initiate tissue repair.[from Wikipedia]") Mid-level-ontology.kif 13736-13743
(subclass Inflammation Increasing) Mid-level-ontology.kif 13735-13735 Inflammation増加subclass では %n
(subclass Inflammation OrganOrTissueProcess) Mid-level-ontology.kif 13734-13734 Inflammation臓器または組織のプロセスsubclass では %n

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


(diseaseSymptom Hyperferritinemia Inflammation) Medicine.kif 4922-4922 diseaseSymptom Hyperferritinemia and Inflammation
(range InflammationFn Inflammation) Mid-level-ontology.kif 13759-13759 InflammationFnrangeInflammation のインスタンス では %n
(termFormat EnglishLanguage Inflammation "inflammation") Mid-level-ontology.kif 13744-13744 InflammationFnrangeInflammation のインスタンス では %n

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


(=>
    (instance ?I Inflammation)
    (exists (?T ?W)
        (and
            (instance ?T Translocation)
            (instance ?W WhiteBloodCell)
            (objectTransferred ?T ?W)
            (destination ?T
                (WhereFn ?I
                    (WhenFn ?I))))))
Mid-level-ontology.kif 13746-13755

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


(=>
    (and
        (instance ?SS AutoimmuneVasculitis)
        (experiencer ?SS ?H))
    (exists (?B ?I)
        (and
            (instance ?B BloodVessel)
            (part ?B ?H)
            (instance ?I Inflammation)
            (patient ?I ?B))))
Medicine.kif 2410-2419
(=>
    (holdsDuring ?T
        (attribute ?H Sinusitis))
    (exists (?NC ?NCH ?I)
        (and
            (instance ?NC NasalCavity)
            (equal ?NCH
                (HoleHostFn ?NC))
            (part ?NCH ?H)
            (instance ?I Inflammation)
            (during
                (WhenFn ?I) ?T)
            (patient ?I ?NCH))))
Medicine.kif 5691-5701
(=>
    (instance ?N AntiInflammatory)
    (hasPurpose ?N
        (exists (?I ?H ?IN)
            (and
                (instance ?I Inflammation)
                (experiencer ?H ?I)
                (instance ?IN Ingesting)
                (before
                    (BeginFn
                        (WhenFn ?I))
                    (BeginFn
                        (WhenFn ?IN)))
                (holdsDuring
                    (FutureFn
                        (WhenFn ?I))
                    (not
                        (exists (?I2)
                            (and
                                (instance ?I2 Inflammation)
                                (experiencer ?I2 ?H)))))))))
Mid-level-ontology.kif 13770-13790


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