TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Alveolus BodyVessel)	Mid-level-ontology.kif 12581-12581	Alveolus is a subclass of body vessel
(subclass Alveolus AnimalAnatomicalStructure)	Mid-level-ontology.kif 12582-12582	Alveolus is a subclass of animal anatomical structure
(documentation Alveolus EnglishLanguage "Tiny sacs in the Lung which absorb Oxygen which is delivered to them by the BronchialDucts.")	Mid-level-ontology.kif 12583-12584	Alveolus is a subclass of animal anatomical structure
(externalImage Alveolus "http://upload.wikimedia.org/wikipedia/commons/4/ 4c/ Alveolus_broken.jpg")	pictureList.kif 4491-4491	Alveolus is a subclass of animal anatomical structure

appearance as argument number 2

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

antecedent

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

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

consequent

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

If emphysema is an attribute of X, then there exist Y, Z such that Y is an instance of alveolus, Y is a part of X, Z is an instance of pathologic process, and Z is located at Y