TreeView Knowledge Base Browser

appearance as argument number 1

(instance Asthma DiseaseOrSyndrome)	Medicine.kif 3426-3426	Asthma is an instance of disease or syndrome
(documentation Asthma EnglishLanguage "Asthma is a long-term inflammatory disease of the airways of the lungs. It is characterized by variable and recurring symptoms, reversible airflow obstruction, and easily triggered bronchospasms. Symptoms include episodes of wheezing, coughing, chest tightness, and shortness of breath. These may occur a few times a day or a few times per week. Depending on the person, asthma symptoms may become worse at night or with exercise. Asthma is thought to be caused by a combination of genetic and environmental factors. Environmental factors include exposure to air pollution and allergens. Other potential triggers include medications such as aspirin and beta blockers. Diagnosis is usually based on the pattern of symptoms, response to therapy over time, and spirometry lung function testing. Asthma is classified according to the frequency of symptoms, forced expiratory volume in one second (FEV1), and peak expiratory flow rate. It may also be classified as atopic or non-atopic, where atopy refers to a predisposition toward developing a type 1 hypersensitivity reaction.[from Wikipedia]")	Medicine.kif 3428-3445	Asthma is an instance of disease or syndrome

appearance as argument number 2

(medicine Singulair Asthma)	Medicine.kif 3277-3277	Montelukast is medicine for asthma
(termFormat EnglishLanguage Asthma "asthma")	Medicine.kif 3446-3446	Montelukast is medicine for asthma

antecedent

(=>
    (attribute ?H Asthma)
    (exists (?I)
        (and
            (instance ?I
                (ImpairmentFn Breathing))
            (experiencer ?I ?H))))

If asthma is an attribute of X, then there exists Y such that Y is an instance of impairment in breathing and X experiences Y