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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Inflammation

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 11601-11608
(subclass Inflammation Increasing) Mid-level-ontology.kif 11600-11600
(subclass Inflammation OrganOrTissueProcess) Mid-level-ontology.kif 11599-11599

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


(range InflammationFn Inflammation) Mid-level-ontology.kif 11623-11623
(termFormat EnglishLanguage Inflammation "inflammation") Mid-level-ontology.kif 11609-11609

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


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

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


(=>
    (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 11634-11654


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