BronchialDuct - Sigma Knowledge base Browser

appearance as argument number 1

(subclass BronchialDuct BodyVessel)	Mid-level-ontology.kif 12555-12555	Bronchial duct is a subclass of body vessel
(subclass BronchialDuct AnimalAnatomicalStructure)	Mid-level-ontology.kif 12556-12556	Bronchial duct is a subclass of animal anatomical structure
(documentation BronchialDuct EnglishLanguage "Any BodyVessel which is located in a Lung and which carries oxygen from the trachea to the alveoli.")	Mid-level-ontology.kif 12557-12558	Bronchial duct is a subclass of animal anatomical structure
(externalImage BronchialDuct "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Illu_quiz_lung05.jpg")	pictureList.kif 8395-8395	Bronchial duct is a subclass of animal anatomical structure

appearance as argument number 2

(termFormat EnglishLanguage BronchialDuct "bronchial duct")	domainEnglishFormat.kif 12101-12101
(termFormat ChineseTraditionalLanguage BronchialDuct "支氣管")	domainEnglishFormat.kif 12102-12102
(termFormat ChineseLanguage BronchialDuct "支气管")	domainEnglishFormat.kif 12103-12103

antecedent

(=>
    (instance ?DUCT BronchialDuct)
    (exists (?LUNG)
        (and
            (instance ?LUNG Lung)
            (located ?DUCT ?LUNG))))

If X is an instance of bronchial duct, then there exists Y such that Y is an instance of lung and X is located at Y

consequent

(=>
    (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