Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BronchialDuct
BronchialDuct(bronchial duct)
bronchial, bronchial_tube, bronchiole, bronchus

appearance as argument number 1
-------------------------


(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 12416-12417
(externalImage BronchialDuct "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Illu_quiz_lung05.jpg") pictureList.kif 8395-8395
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 12415-12415 Bronchial duct is a subclass of animal anatomical structure
(subclass BronchialDuct BodyVessel) Mid-level-ontology.kif 12414-12414 Bronchial duct is a subclass of body vessel

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage BronchialDuct "支气管") domainEnglishFormat.kif 12110-12110
(termFormat ChineseTraditionalLanguage BronchialDuct "支氣管") domainEnglishFormat.kif 12109-12109
(termFormat EnglishLanguage BronchialDuct "bronchial duct") domainEnglishFormat.kif 12108-12108

antecedent
-------------------------


(=>
    (instance ?DUCT BronchialDuct)
    (exists (?LUNG)
        (and
            (instance ?LUNG Lung)
            (located ?DUCT ?LUNG))))
Mid-level-ontology.kif 12419-12424

consequent
-------------------------


(=>
    (attribute ?H Bronchitis)
    (exists (?I)
        (and
            (instance ?I
                (InflammationFn BronchialDuct))
            (experiencer ?I ?H))))
Mid-level-ontology.kif 6977-6983


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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