TreeView Knowledge Base Browser

appearance as argument number 1

(subAttribute Bronchitis ChronicObstructivePulmonaryDisease)	Mid-level-ontology.kif 7132-7132	Bronchitis is a subattribute of COPD
(documentation Bronchitis EnglishLanguage "Bronchitis is inflammation of the BronchialDucts (large and medium-sized airways) in the Lungs that causes coughing. Symptoms include coughing up sputum, wheezing, shortness of breath, and chest pain. Bronchitis can be AcuteBronchitis or ChronicBronchitis.[from Wikipedia]")	Mid-level-ontology.kif 7133-7137	Bronchitis is a subattribute of COPD

appearance as argument number 2

(termFormat EnglishLanguage Bronchitis "bronchitis")	Mid-level-ontology.kif 7138-7138
(subAttribute ChronicBronchitis Bronchitis)	Mid-level-ontology.kif 7148-7148	Chronic bronchitis is a subattribute of bronchitis
(subAttribute AcuteBronchitis Bronchitis)	Mid-level-ontology.kif 7149-7149	Acute bronchitis is a subattribute of bronchitis

antecedent

(=>
    (attribute ?H Bronchitis)
    (exists (?I)
        (and
            (instance ?I
                (InflammationFn BronchialDuct))
            (experiencer ?I ?H))))

If bronchitis is an attribute of X, then there exists Y such that Y is an instance of inflammation of bronchial duct and X experiences Y