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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 12387-12394
(subclass Inflammation Increasing) Mid-level-ontology.kif 12386-12386 Inflammation增加subclass
(subclass Inflammation OrganOrTissueProcess) Mid-level-ontology.kif 12385-12385 Inflammation器官或身体组织过程subclass

appearance as argument number 2

(diseaseSymptom Hyperferritinemia Inflammation) Medicine.kif 4937-4937 InflammationHyperferritinemiadis​​ease 病状
(range InflammationFn Inflammation) Mid-level-ontology.kif 12410-12410 InflammationFnrangeInflammation 的实例
(termFormat EnglishLanguage Inflammation "inflammation") Mid-level-ontology.kif 12395-12395


    (instance ?I Inflammation)
    (exists (?T ?W)
            (instance ?T Translocation)
            (instance ?W WhiteBloodCell)
            (objectTransferred ?T ?W)
            (destination ?T
                (WhereFn ?I
                    (WhenFn ?I))))))
Mid-level-ontology.kif 12397-12406


        (instance ?SS AutoimmuneVasculitis)
        (experiencer ?SS ?H))
    (exists (?B ?I)
            (instance ?B BloodVessel)
            (part ?B ?H)
            (instance ?I Inflammation)
            (patient ?I ?B))))
Medicine.kif 2425-2434
    (holdsDuring ?T
        (attribute ?H Sinusitis))
    (exists (?NC ?NCH ?I)
            (instance ?NC NasalCavity)
            (equal ?NCH
                (HoleHostFn ?NC))
            (part ?NCH ?H)
            (instance ?I Inflammation)
                (WhenFn ?I) ?T)
            (patient ?I ?NCH))))
Medicine.kif 5706-5716
    (instance ?N AntiInflammatory)
    (hasPurpose ?N
        (exists (?I ?H ?IN)
                (instance ?I Inflammation)
                (experiencer ?H ?I)
                (instance ?IN Ingesting)
                        (WhenFn ?I))
                        (WhenFn ?IN)))
                        (WhenFn ?I))
                        (exists (?I2)
                                (instance ?I2 Inflammation)
                                (experiencer ?I2 ?H)))))))))
Mid-level-ontology.kif 12421-12441

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