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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BronchialDuct

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 9445-9446
(externalImage BronchialDuct "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Illu_quiz_lung05.jpg") pictureList.kif 8398-8398
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 9444-9444 subclass BronchialDuct and AnimalAnatomicalStructure
(subclass BronchialDuct BodyVessel) Mid-level-ontology.kif 9443-9443 subclass BronchialDuct and BodyVessel

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


(termFormat ChineseLanguage BronchialDuct "支气管") domainEnglishFormat.kif 12107-12107
(termFormat ChineseTraditionalLanguage BronchialDuct "支氣管") domainEnglishFormat.kif 12106-12106
(termFormat EnglishLanguage BronchialDuct "bronchial duct") domainEnglishFormat.kif 12105-12105

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


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


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

Show without tree


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