TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Alveolus EnglishLanguage "Tiny sacs in the Lung which absorb Oxygen which is delivered to them by the BronchialDucts.")	Mid-level-ontology.kif 11092-11093
(externalImage Alveolus "http://upload.wikimedia.org/wikipedia/commons/4/ 4c/ Alveolus_broken.jpg")	pictureList.kif 4492-4492
(subclass Alveolus AnimalAnatomicalStructure)	Mid-level-ontology.kif 11091-11091	子類肺泡 and 動物解剖結構
(subclass Alveolus BodyVessel)	Mid-level-ontology.kif 11090-11090	子類肺泡 and BodyVessel

appearance as argument number 2

(termFormat ChineseLanguage Alveolus "肺泡")	domainEnglishFormat.kif 7074-7074
(termFormat ChineseTraditionalLanguage Alveolus "肺泡")	domainEnglishFormat.kif 7073-7073
(termFormat EnglishLanguage Alveolus "alveolus")	domainEnglishFormat.kif 7072-7072

antecedent

(=>
    (instance ?A Alveolus)
    (exists (?L)
        (and
            (instance ?L Lung)
            (located ?A ?L))))

Mid-level-ontology.kif 11095-11100

consequent

(=>
    (attribute ?H Emphysema)
    (exists (?L ?P)
        (and
            (instance ?L Alveolus)
            (part ?L ?H)
            (instance ?P PathologicProcess)
            (eventLocated ?P ?L))))

Mid-level-ontology.kif 6003-6010