Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Lung

 Sigma KEE - Lung
Lung(lung)lung, pneumonic, pulmonary, pulmonic

appearance as argument number 1
-------------------------


(subclass Lung VitalOrgan) Mid-level-ontology.kif 12676-12676 Lung is a subclass of vital organ
(subclass Lung AnimalAnatomicalStructure) Mid-level-ontology.kif 12677-12677 Lung is a subclass of animal anatomical structure
(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 12678-12679 Lung is a subclass of animal anatomical structure

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


(connectedBodyPart Trachea Lung) Mid-level-ontology.kif 13599-13599 A trachea is connected to a lung
(termFormat EnglishLanguage Lung "lung") domainEnglishFormat.kif 35323-35323 A trachea is connected to a lung
(termFormat ChineseTraditionalLanguage Lung "肺") domainEnglishFormat.kif 35324-35324 A trachea is connected to a lung
(termFormat ChineseLanguage Lung "肺") domainEnglishFormat.kif 35325-35325 A trachea is connected to a lung

appearance as argument number 3
-------------------------


(domain breathingRate 1 Lung) Mid-level-ontology.kif 11830-11830 The number 1 argument of breathing rate is an instance of lung

antecedent
-------------------------


(=>
    (and
        (restingBreathingRate ?H ?R)
        (instance ?L Lung)
        (part ?L ?H))
    (exists (?T)
        (and
            (not
                (exists (?REC)
                    (and
                        (instance ?REC RecreationOrExercise)
                        (agent ?REC ?H)
                        (during ?T
                            (WhenFn ?REC)))))
            (instance ?T Minute)
            (breathingRate ?H ?T ?R))))		 Medicine.kif 332-347 If the resting breathing rate of X is Y, Z is an instance of lung, and Z is a part of X, then there exists W such that there doesn't exist V such that V is an instance of recreation or exercise, X is an agent of V, W takes place during the time of existence of V, W is an instance of minute, and X breathes at a rate of Y breaths per W
(=>
    (and
        (instance ?MB MeasuringBreathing)
        (agent ?MB ?A)
        (instance ?L Lung)
        (part ?L ?P)
        (instance ?T TimeInterval)
        (during ?T
            (WhenFn ?MB))
        (duration ?T MinuteDuration)
        (patient ?MB ?P))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?MB))
        (exists (?BR)
            (knows ?A
                (breathingRate ?L ?T ?BR)))))		 Medicine.kif 442-458 If All of the following hold: (1) X is an instance of measuring breathing (2) Y is an agent of X (3) Z is an instance of lung (4) Z is a part of W (5) V is an instance of timeframe (6) V takes place during the time of existence of X (7) duration of V is minute duration (8) W is a patient of X, then there exists U such that Y knows Z breathes at a rate of U breaths per V holds during immediately after the time of existence of X
(=>
    (and
        (instance ?C CheckingVitals)
        (agent ?C ?A)
        (patient ?C ?P)
        (instance ?H Heart)
        (part ?H ?P)
        (instance ?L Lung)
        (part ?L ?P)
        (holdsDuring
            (WhenFn ?C)
            (and
                (systolicBloodPressure ?P ?SYS)
                (diastolicBloodPressure ?P ?DIA)
                (measure ?P
                    (MeasureFn ?T FahrenheitDegree))))
        (heartRate ?H
            (WhenFn ?C) ?I)
        (breathingRate ?L
            (WhenFn ?C) ?R))
    (knows ?A
        (and
            (holdsDuring
                (WhenFn ?C)
                (and
                    (systolicBloodPressure ?P ?SYS)
                    (diastolicBloodPressure ?P ?DIA)
                    (measure ?P
                        (MeasureFn ?T FahrenheitDegree))))
            (heartRate ?H
                (WhenFn ?C) ?I)
            (breathingRate ?L
                (WhenFn ?C) ?R))))		 Medicine.kif 6552-6576 If All of the following hold: (1) X is an instance of checking vitals (2) Y is an agent of X (3) Z is a patient of X (4) W is an instance of heart (5) W is a part of Z (6) V is an instance of lung (7) V is a part of Z (8) the systolic blood pressure of Z is U and the diastolic blood pressure of Z is T and the measure of Z is S fahrenheit degree(s) holds during the time of existence of X (9) W beats at a rate of R beats per the time of existence of X (10) V breathes at a rate of Q breaths per the time of existence of X, then Y knows the systolic blood pressure of Z is U and the diastolic blood pressure of Z is T and the measure of Z is S fahrenheit degree(s) holds during the time of existence of X and W beats at a rate of R beats per the time of existence of X and V breathes at a rate of Q breaths per the time of existence of X

consequent
-------------------------


(=>
    (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 7175-7194 If X is an instance of coughing and Y experiences X, then All of the following hold: (1) X has the purpose there exist Z, W,, , V (2) U such that W is an instance of lung (3) U is an instance of throat (4) V is an instance of object (5) Z is an instance of removing (6) W is a part of Y (7) U is a part of Y (8) the object transferred in Z is V (9) V is located at U or V is located at W holds during immediately before the time of existence of X
(=>
    (attribute ?H Pneumonia)
    (exists (?I)
        (and
            (instance ?I
                (InflammationFn Lung))
            (experiencer ?I ?H))))		 Mid-level-ontology.kif 7326-7332 If pneumonia is an attribute of X, then there exists Y such that Y is an instance of inflammation of lung and X experiences Y
(=>
    (instance ?DUCT BronchialDuct)
    (exists (?LUNG)
        (and
            (instance ?LUNG Lung)
            (located ?DUCT ?LUNG))))		 Mid-level-ontology.kif 12560-12565 If X is an instance of bronchial duct, then there exists Y such that Y is an instance of lung and X is located at Y
(=>
    (instance ?A Alveolus)
    (exists (?L)
        (and
            (instance ?L Lung)
            (located ?A ?L))))		 Mid-level-ontology.kif 12586-12591 If X is an instance of alveolus, then there exists Y such that Y is an instance of lung and X is located at Y
(=>
    (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 12631-12641 If X is an instance of pulmonary artery, Y is an instance of transfer, Z is a patient of Y, X is an instrument for Y, and Z is an instance of blood, then there exists W such that W is an instance of lung and Y ends up at W
(=>
    (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 12647-12662 If X is an instance of pulmonary vein, Y is an instance of transfer, Z is a patient of Y, X is an instrument for Y, and Z is an instance of blood, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of lung (3) Y originates at W (4) X is a part of U (5) W is a part of U (6) V is a part of U (7) V is an instance of heart (8) Y ends up at V
(=>
    (capability Breathing experiencer ?ANIMAL)
    (exists (?LUNG)
        (and
            (component ?LUNG ?ANIMAL)
            (instance ?LUNG Lung))))		 Mid-level-ontology.kif 12681-12686 If X is capable of doing breathing as a experiencer, then there exists Y such that Y is a component of X and Y is an instance of lung
(=>
    (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 12688-12701 If X is an instance of primate, Y is an instance of disease or syndrome, and Y is not an attribute of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of lung (3) W is an instance of lung (4) equal Z (5) W (6) Z is a part of X (7) W is a part of X
(=>
    (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 12743-12758 If X is an instance of rib cage, X is a part of Y, Y is an instance of human, living is an attribute of Y, and ~{ Z is an instance of pathologic process } or ~{ Z is located at Y }, then there exist W, V such that W is an instance of heart, W is an instance of lung, X contains V, and X contains W
(=>
    (instance ?I Inhaling)
    (exists (?L)
        (and
            (instance ?L Lung)
            (destination ?I ?L))))		 Mid-level-ontology.kif 12790-12795 If X is an instance of inhaling, then there exists Y such that Y is an instance of lung and X ends up at Y
(=>
    (instance ?E Exhaling)
    (exists (?L)
        (and
            (instance ?L Lung)
            (origin ?E ?L))))		 Mid-level-ontology.kif 12801-12806 If X is an instance of exhaling, then there exists Y such that Y is an instance of lung and X originates at Y
(=>
    (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 13254-13269 If X is an instance of choking and Y experiences X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of object (3) W is an instance of trachea (4) V is an instance of lung (5) W is a part of Y (6) V is a part of Y (7) Z is located at W or Z is located at V holds during the time of existence of X
(=>
    (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 778-789 If collapsed lung is an attribute of X holds during Y, then All of the following hold: (1) there exists Z such that Z is an instance of air (2) W is an instance of lung (3) V is an instance of chest (4) W is a part of X (5) V is a part of X (6) Z is between W (7) V holds during Y
(=>
    (and
        (instance ?VCS VentedChestSeal)
        (instance ?AT Attaching)
        (objectTransferred ?AT ?VCS)
        (destination ?AT ?H))
    (hasPurpose ?VCS
        (exists (?A ?L ?C)
            (and
                (instance ?A Air)
                (instance ?L Lung)
                (instance ?C Chest)
                (part ?L ?H)
                (part ?C ?H)
                (holdsDuring
                    (ImmediatePastFn
                        (WhenFn ?AT))
                    (between ?L ?A ?C))
                (hasPurpose ?VCS
                    (holdsDuring
                        (ImmediateFutureFn
                            (WhenFn ?AT))
                        (orientation ?A ?H Outside)))))))		 Medicine.kif 832-854 If X is an instance of vented chest seal, Y is an instance of attaching, the object transferred in Y is X, and Y ends up at Z, then All of the following hold: (1) X has the purpose there exist W, V (2) U such that W is an instance of air (3) V is an instance of lung (4) U is an instance of chest (5) V is a part of Z (6) U is a part of Z (7) W is between V (8) U holds during immediately before the time of existence of Y (9) X has the purpose W is outside of to Z holds during immediately after the time of existence of Y
(=>
    (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 874-896 If X is an instance of needle decompression and Y is a patient of X, then All of the following hold: (1) there exist Z, W,, , V,, , U,, , T (2) S such that Z is an instance of inserting (3) Z is a subprocess of X (4) the object transferred in Z is R (5) Z originates at W (6) Z ends up at V (7) R is an instance of needle (8) fluid is an attribute of S (9) the object transferred in X is S (10) S ends up at W (11) U is an instance of lung (12) T is an instance of chest (13) U is a part of Y (14) T is a part of Y (15) X originates at V (16) X ends up at W (17) V is between U (18) T (19) W is outside of to Y
(=>
    (instance ?LE LungEpithelium)
    (exists (?L)
        (and
            (instance ?L Lung)
            (meetsSpatially ?L ?LE))))		 Medicine.kif 3081-3086 If X is an instance of lung epithelium, then there exists Y such that Y is an instance of lung and Y meets X
(=>
    (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 4502-4513 If pulmonologist is an attribute of X, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that U is a subclass of diagnostic process (3) T is a subclass of therapeutic process (4) W is a patient of Y (5) W is a patient of Z (6) V is an instance of lung (7) V is a part of W (8) Y is located at lung (9) Z is located at lung