| 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 9563-9564 | |
| (subclass Lung AnimalAnatomicalStructure) | Mid-level-ontology.kif 9562-9562 | subclass Lung and AnimalAnatomicalStructure |
| (subclass Lung Organ) | Mid-level-ontology.kif 9561-9561 | subclass Lung and Organ |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Lung "肺") | domainEnglishFormat.kif 35245-35245 | |
| (termFormat ChineseTraditionalLanguage Lung "肺") | domainEnglishFormat.kif 35244-35244 | |
| (termFormat EnglishLanguage Lung "lung") | domainEnglishFormat.kif 35243-35243 |
| 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 9517-9527 | |
| (=> (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 9573-9586 | |
| (=> (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 9533-9548 |
|
| (=> (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 9566-9571 | |
| (=> (instance ?A Alveolus) (exists (?L) (and (instance ?L Lung) (located ?A ?L)))) |
Mid-level-ontology.kif 9473-9478 | |
| (=> (instance ?DUCT BronchialDuct) (exists (?LUNG) (and (instance ?LUNG Lung) (located ?DUCT ?LUNG)))) |
Mid-level-ontology.kif 9448-9453 | |
| (=> (instance ?E Exhaling) (exists (?L) (and (instance ?L Lung) (origin ?E ?L)))) |
Mid-level-ontology.kif 9612-9617 | |
| (=> (instance ?I Inhaling) (exists (?L) (and (instance ?L Lung) (destination ?I ?L)))) |
Mid-level-ontology.kif 9602-9607 |
|
|
|