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 11215-11216 | |
(subclass Lung AnimalAnatomicalStructure) | Mid-level-ontology.kif 11214-11214 | |
(subclass Lung VitalOrgan) | Mid-level-ontology.kif 11213-11213 |
appearance as argument number 2 |
(connectedBodyPart Trachea Lung) | Mid-level-ontology.kif 12119-12119 | |
(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 10404-10404 |
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 11168-11178 | |
(=> (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 11781-11796 | |
(=> (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 6050-6069 | |
(=> (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 11225-11238 | |
(=> (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 11274-11289 | |
(=> (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 11184-11199 | |
(=> (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 6201-6207 | |
(=> (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 11218-11223 | |
(=> (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 11123-11128 | |
(=> (instance ?DUCT BronchialDuct) (exists (?LUNG) (and (instance ?LUNG Lung) (located ?DUCT ?LUNG)))) |
Mid-level-ontology.kif 11097-11102 | |
(=> (instance ?E Exhaling) (exists (?L) (and (instance ?L Lung) (origin ?E ?L)))) |
Mid-level-ontology.kif 11332-11337 | |
(=> (instance ?I Inhaling) (exists (?L) (and (instance ?L Lung) (destination ?I ?L)))) |
Mid-level-ontology.kif 11321-11326 | |
(=> (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 |