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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Chest
Chest

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


(documentation Chest EnglishLanguage "The part of the Torso that includes the rib cage of an Animal, surrounding the Heart and Lungs.") Mid-level-ontology.kif 12563-12565
(subclass Chest AnimalAnatomicalStructure) Mid-level-ontology.kif 12562-12562

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


(initialPart Pectoralis Chest) Mid-level-ontology.kif 12117-12117
(initialPart RibBone Chest) Mid-level-ontology.kif 12586-12586
(termFormat EnglishLanguage Chest "chest") Mid-level-ontology.kif 12566-12566
(typicalPart Pectoralis Chest) Mid-level-ontology.kif 12116-12116
(typicalPart RibBone Chest) Mid-level-ontology.kif 12585-12585
(typicallyContainsPart RibCage Chest) Mid-level-ontology.kif 12613-12613

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


(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H Prone)
                (orientation ?H ?O On)))
        (instance ?C Chest)
        (part ?C ?H))
    (meetsSpatially ?C ?O))		 Anatomy.kif 1834-1842
(=>
    (and
        (instance ?C Chest)
        (instance ?A Animal)
        (instance ?C ?A)
        (part ?C ?A))
    (exists (?T)
        (and
            (instance ?T Torso)
            (part ?C ?T)
            (part ?T ?A))))		 Mid-level-ontology.kif 12568-12578
(=>
    (and
        (instance ?C Chest)
        (part ?C ?P)
        (equal ?B
            (BackFn ?P)))
    (not
        (part ?C ?B)))		 Anatomy.kif 1858-1865

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


(=>
    (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 886-908
(=>
    (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 844-866
(=>
    (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 790-801
(=>
    (instance ?CPR CPR)
    (exists (?C ?CH ?O)
        (and
            (instance ?C Compressing)
            (patient ?CPR ?O)
            (instance ?CH Chest)
            (part ?CH ?O)
            (patient ?C ?CH)
            (subProcess ?C ?CPR))))		 Medicine.kif 599-608
(=>
    (instance ?CS ChestSeal)
    (hasPurpose ?CS
        (exists (?C ?CH ?I ?H)
            (and
                (instance ?C Closing)
                (instrument ?C ?CS)
                (located ?C ?CH)
                (instance ?CH Chest)
                (instance ?H HoleRegion)
                (equal ?CH
                    (HoleHostFn ?H))
                (instance ?I Injuring)
                (located ?I ?CH)
                (earlier
                    (WhenFn ?I)
                    (WhenFn ?C))))))		 Medicine.kif 819-835
(=>
    (instance ?I Ivabradine)
    (hasPurpose ?I
        (exists (?H ?IN ?P)
            (and
                (instance ?H Human)
                (instance ?P
                    (PainFn Chest))
                (experiencer ?P ?H)
                (instance ?IN Ingesting)
                (agent ?IN ?H)
                (earlier
                    (WhenFn ?P)
                    (WhenFn ?IN))
                (not
                    (exists (?P2)
                        (and
                            (instance ?P2
                                (PainFn Chest))
                            (experiencer ?P2 ?H)
                            (earlier
                                (WhenFn ?IN)
                                (WhenFn ?P2)))))))))		 Medicine.kif 4898-4918