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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lung
Lung

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


(documentation Lung EnglishLanguage "A respiratory organ of Vertebrates. Its function is to furnish the blood with oxygen and to remove carbon dioxide.") Mid-level-ontology.kif 9588-9589
(subclass Lung AnimalAnatomicalStructure) Mid-level-ontology.kif 9587-9587
(subclass Lung Organ) Mid-level-ontology.kif 9586-9586

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


(termFormat ChineseLanguage Lung "肺") domainEnglishFormat.kif 35215-35215
(termFormat ChineseTraditionalLanguage Lung "肺") domainEnglishFormat.kif 35214-35214
(termFormat EnglishLanguage Lung "lung") domainEnglishFormat.kif 35213-35213

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


(=>
    (and
        (instance ?ARTERY PulmonaryArtery)
        (instance ?TRANSFER Transfer)
        (patient ?TRANSFER ?BLOOD)
        (instrument ?TRANSFER ?ARTERY)
        (instance ?BLOOD Blood))
    (exists (?LUNG)
        (and
            (instance ?LUNG Lung)
            (destination ?TRANSFER ?LUNG))))
Mid-level-ontology.kif 9542-9552
(=>
    (and
        (instance ?H Primate)
        (instance ?D DiseaseOrSyndrome)
        (not
            (attribute ?H ?D)))
    (exists (?L1 ?L2)
        (and
            (instance ?L1 Lung)
            (instance ?L2 Lung)
            (not
                (equal ?L1 ?L2))
            (part ?L1 ?H)
            (part ?L2 ?H))))
Mid-level-ontology.kif 9598-9611
(=>
    (and
        (instance ?V PulmonaryVein)
        (instance ?T Transfer)
        (patient ?T ?B)
        (instrument ?T ?V)
        (instance ?B Blood))
    (exists (?L ?H ?P)
        (and
            (instance ?L Lung)
            (origin ?T ?L)
            (part ?V ?P)
            (part ?L ?P)
            (part ?H ?P)
            (instance ?H Heart)
            (destination ?T ?H))))
Mid-level-ontology.kif 9558-9573
(=>
    (attribute ?H Emphysema)
    (exists (?L ?P)
        (and
            (instance ?L Lung)
            (part ?L ?H)
            (instance ?P PathologicProcess)
            (eventLocated ?P ?L))))
Mid-level-ontology.kif 6032-6039
(=>
    (capability Breathing experiencer ?ANIMAL)
    (exists (?LUNG)
        (and
            (component ?LUNG ?ANIMAL)
            (instance ?LUNG Lung))))
Mid-level-ontology.kif 9591-9596
(=>
    (instance ?A Alveolus)
    (exists (?L)
        (and
            (instance ?L Lung)
            (located ?A ?L))))
Mid-level-ontology.kif 9498-9503
(=>
    (instance ?DUCT BronchialDuct)
    (exists (?LUNG)
        (and
            (instance ?LUNG Lung)
            (located ?DUCT ?LUNG))))
Mid-level-ontology.kif 9473-9478
(=>
    (instance ?E Exhaling)
    (exists (?L)
        (and
            (instance ?L Lung)
            (origin ?E ?L))))
Mid-level-ontology.kif 9637-9642
(=>
    (instance ?I Inhaling)
    (exists (?L)
        (and
            (instance ?L Lung)
            (destination ?I ?L))))
Mid-level-ontology.kif 9627-9632


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners