TreeView Knowledge Base Browser

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 12386-12393
(subclass Inflammation Increasing)	Mid-level-ontology.kif 12385-12385	Inflammation は増加の subclass では %n
(subclass Inflammation OrganOrTissueProcess)	Mid-level-ontology.kif 12384-12384	Inflammation は臓器または組織のプロセスの subclass では %n

appearance as argument number 2

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

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 12396-12405

物理は Inflammation の instance では %n
移動オブジェクト移動は Translocation の instance では %n オブジェクトは WhiteBloodCell の instance では %n objectTransferred 移動 and オブジェクト移動は物理が物理の time の existence に where 場所に ends %n{ない}

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 2425-2434	工程は AutoimmuneVasculitis の instance では %n AutonomousAgent が工程を experiences %n{ない} オブジェクト工程オブジェクトは BloodVessel の instance では %n オブジェクトは AutonomousAgent の part では %n 工程は Inflammation の instance では %n オブジェクトは工程の patient では %n
(=> (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 5706-5716	Sinusitis はオブジェクトの attribute では %n は時間間隔の during holds %n{ない} HoleRegion HoleRegionH and 工程 HoleRegion は NasalCavity の instance では %n HoleRegionH はホール HoleRegion の host と equal では %n HoleRegionH はオブジェクトの part では %n 工程は Inflammation の instance では %n 工程の time の existence は時間間隔の during に takes %n{ない} HoleRegionH は工程の patient では %n
(=> (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 12420-12440	物理は AntiInflammatory の instance では %n 物理はエンティティーエンティティー and エンティティーN エンティティーは Inflammation の instance では %n エンティティーがエンティティーを experiences %n{ない} エンティティーN は摂取の instance では %n エンティティーの time の existence の beginning はエンティティーN の time の existence の beginning の before に happens %n{ない} エンティティー2 エンティティー2 は Inflammation の instance では %n エンティティーがエンティティー2 を experiences %n{ない} はエンティティーの time の existence の after の during holds %n{ない} の目的 %n{ない}

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

KB Term:			Term intersection

English Word: