| 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 |
|
|
|