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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BronchialDuct
BronchialDuct(支气管)

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 11067-11068
(externalImage BronchialDuct "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Illu_quiz_lung05.jpg") pictureList.kif 8396-8396
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 11066-11066 支气管动物解剖结构subclass
(subclass BronchialDuct BodyVessel) Mid-level-ontology.kif 11065-11065 支气管身体管道subclass

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


(termFormat ChineseLanguage BronchialDuct "支气管") domainEnglishFormat.kif 12095-12095
(termFormat ChineseTraditionalLanguage BronchialDuct "支氣管") domainEnglishFormat.kif 12094-12094
(termFormat EnglishLanguage BronchialDuct "bronchial duct") domainEnglishFormat.kif 12093-12093

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


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

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


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


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