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 9581-9582
(subclass Lung AnimalAnatomicalStructure) Mid-level-ontology.kif 9580-9580
(subclass Lung Organ) Mid-level-ontology.kif 9579-9579

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


(termFormat ChineseLanguage Lung "肺") domainEnglishFormat.kif 35233-35233
(termFormat ChineseTraditionalLanguage Lung "肺") domainEnglishFormat.kif 35232-35232
(termFormat EnglishLanguage Lung "lung") domainEnglishFormat.kif 35231-35231

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 9535-9545
(=>
    (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 9551-9566
(=>
    (attribute ?H Emphysema)
    (exists (?L ?P)
        (and
            (instance ?L Lung)
            (part ?L ?H)
            (instance ?P PathologicProcess)
            (eventLocated ?P ?L))))
Mid-level-ontology.kif 6026-6033
(=>
    (capability Breathing experiencer ?ANIMAL)
    (exists (?LUNG)
        (and
            (component ?LUNG ?ANIMAL)
            (instance ?LUNG Lung))))
Mid-level-ontology.kif 9584-9589
(=>
    (instance ?A Alveolus)
    (exists (?L)
        (and
            (instance ?L Lung)
            (located ?A ?L))))
Mid-level-ontology.kif 9491-9496
(=>
    (instance ?DUCT BronchialDuct)
    (exists (?LUNG)
        (and
            (instance ?LUNG Lung)
            (located ?DUCT ?LUNG))))
Mid-level-ontology.kif 9466-9471
(=>
    (instance ?E Exhaling)
    (exists (?L)
        (and
            (instance ?L Lung)
            (origin ?E ?L))))
Mid-level-ontology.kif 9615-9620
(=>
    (instance ?I Inhaling)
    (exists (?L)
        (and
            (instance ?L Lung)
            (destination ?I ?L))))
Mid-level-ontology.kif 9605-9610


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