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 11188-11189 | |
(subclass Lung AnimalAnatomicalStructure) | Mid-level-ontology.kif 11187-11187 | |
(subclass Lung VitalOrgan) | Mid-level-ontology.kif 11186-11186 |
appearance as argument number 2 |
(connectedBodyPart Trachea Lung) | Mid-level-ontology.kif 12092-12092 | |
(termFormat ChineseLanguage Lung "肺") | domainEnglishFormat.kif 35321-35321 | |
(termFormat ChineseTraditionalLanguage Lung "肺") | domainEnglishFormat.kif 35320-35320 | |
(termFormat EnglishLanguage Lung "lung") | domainEnglishFormat.kif 35319-35319 |
appearance as argument number 3 |
(domain breathingRate 1 Lung) | Mid-level-ontology.kif 10377-10377 |
antecedent |
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 11141-11151 | |
(=> (and (instance ?C Choking) (experiencer ?C ?H)) (exists (?O ?T ?L) (and (instance ?O Object) (instance ?T Trachea) (instance ?L Lung) (part ?T ?H) (part ?L ?H) (holdsDuring (WhenFn ?C) (or (located ?O ?T) (located ?O ?L)))))) |
Mid-level-ontology.kif 11754-11769 | |
(=> (and (instance ?C Coughing) (experiencer ?C ?H)) (hasPurpose ?C (exists (?R ?L ?O ?T) (and (instance ?L Lung) (instance ?T Throat) (instance ?O Object) (instance ?R Removing) (part ?L ?H) (part ?T ?H) (objectTransferred ?R ?O) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (or (located ?O ?T) (located ?O ?L))))))) |
Mid-level-ontology.kif 6056-6075 | |
(=> (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 11198-11211 | |
(=> (and (instance ?RC RibCage) (part ?RC ?H) (instance ?H Human) (attribute ?H Living) (not (and (instance ?P PathologicProcess) (located ?P ?H)))) (exists (?HT ?LG) (and (instance ?HT Heart) (instance ?HT Lung) (contains ?RC ?LG) (contains ?RC ?HT)))) |
Mid-level-ontology.kif 11247-11262 | |
(=> (and (instance ?T Thoracentesis) (patient ?T ?H)) (exists (?I ?O ?IN ?L ?C ?F) (and (instance ?I Inserting) (subProcess ?I ?T) (objectTransferred ?I ?N) (origin ?I ?O) (destination ?I ?IN) (instance ?N Needle) (attribute ?F Fluid) (objectTransferred ?T ?F) (destination ?F ?O) (instance ?L Lung) (instance ?C Chest) (part ?L ?H) (part ?C ?H) (origin ?T ?IN) (destination ?T ?O) (between ?L ?IN ?C) (orientation ?O ?H Outside)))) |
Medicine.kif 895-917 | |
(=> (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 11157-11172 | |
(=> (and (instance ?VCS VentedChestSeal) (instance ?A Attaching) (objectTransferred ?A ?VCS) (destination ?A ?H)) (hasPurpose ?VCS (exists (?A ?L ?C ?H) (and (instance ?A Air) (instance ?L Lung) (instance ?C Chest) (part ?L ?H) (part ?C ?H) (holdsDuring (ImmediatePastFn (WhenFn ?A)) (between ?L ?A ?C)) (hasPurpose ?VCS (holdsDuring (ImmediateFutureFn (WhenFn ?A)) (orientation ?A ?H Outside))))))) |
Medicine.kif 853-875 | |
(=> (attribute ?H Pneumonia) (exists (?I) (and (instance ?I (InflammationFn Lung)) (experiencer ?I ?H)))) |
Mid-level-ontology.kif 6207-6213 | |
(=> (attribute ?H Pulmonologist) (exists (?P1 ?P2 ?PAT ?L) (and (subclass ?PROCESS1 DiagnosticProcess) (subclass ?PROCESS2 TherapeuticProcess) (patient ?P1 ?PAT) (patient ?P2 ?PAT) (instance ?L Lung) (part ?L ?PAT) (located ?P1 Lung) (located ?P2 Lung)))) |
Medicine.kif 4481-4492 | |
(=> (capability Breathing experiencer ?ANIMAL) (exists (?LUNG) (and (component ?LUNG ?ANIMAL) (instance ?LUNG Lung)))) |
Mid-level-ontology.kif 11191-11196 | |
(=> (holdsDuring ?T (attribute ?H Pneumothorax)) (holdsDuring ?T (exists (?A) (and (instance ?A Air) (instance ?L Lung) (instance ?C Chest) (part ?L ?H) (part ?C ?H) (between ?L ?A ?C))))) |
Medicine.kif 799-810 | |
(=> (instance ?A Alveolus) (exists (?L) (and (instance ?L Lung) (located ?A ?L)))) |
Mid-level-ontology.kif 11096-11101 | |
(=> (instance ?DUCT BronchialDuct) (exists (?LUNG) (and (instance ?LUNG Lung) (located ?DUCT ?LUNG)))) |
Mid-level-ontology.kif 11070-11075 | |
(=> (instance ?E Exhaling) (exists (?L) (and (instance ?L Lung) (origin ?E ?L)))) |
Mid-level-ontology.kif 11305-11310 | |
(=> (instance ?I Inhaling) (exists (?L) (and (instance ?L Lung) (destination ?I ?L)))) |
Mid-level-ontology.kif 11294-11299 | |
(=> (instance ?LE LungEpithelium) (exists (?L) (and (instance ?L Lung) (meetsSpatially ?L ?LE)))) |
Medicine.kif 3075-3080 |
statement |
(subclass LeftLung (BodySideFn Left Lung)) |
Medicine.kif 2894-2894 | |
(subclass RightLung (BodySideFn Right Lung)) |
Medicine.kif 2897-2897 |