Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass Inflammation OrganOrTissueProcess) | Mid-level-ontology.kif 14000-14000 | Inflammation is a subclass of organ or tissue process |
| (subclass Inflammation Increasing) | Mid-level-ontology.kif 14001-14001 | Inflammation is a subclass of increasing |
| (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 14002-14009 | Inflammation is a subclass of increasing |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Inflammation "inflammation") | Mid-level-ontology.kif 14010-14010 | |
| (rangeSubclass InflammationFn Inflammation) | Mid-level-ontology.kif 14025-14025 | The values returned by inflammation are subclasses of inflammation |
| (diseaseSymptom Hyperferritinemia Inflammation) | Medicine.kif 4958-4958 | Inflammation is a disease symptom of hyperferritinemia |
| antecedent |
|
|
| 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 14036-14056 | If X is an instance of anti-inflammatory, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of inflammation (3) Y experiences Z (4) W is an instance of ingesting (5) the beginning of the time of existence of Y happens before the beginning of the time of existence of W (6) there doesn't exist V such that V is an instance of inflammation (7) Z experiences V holds during after the time of existence of Y |
| (=> (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 2431-2440 | If X is an instance of autoimmune vasculitis and Y experiences X, then there exist Z, W such that Z is an instance of blood vessel, Z is a part of Y, W is an instance of inflammation, and Z is a patient of W |
| (=> (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 5731-5741 | If sinus infection is an attribute of X holds during Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of nasal cavity (3) equal W (4) the host of the hole Z (5) W is a part of X (6) V is an instance of inflammation (7) the time of existence of V takes place during Y (8) W is a patient of V |
|