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 11214-11216
(subclass Chest AnimalAnatomicalStructure) Mid-level-ontology.kif 11213-11213 Chest est une sous-classe de AnimalAnatomicalStructure

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


(initialPart Pectoralis Chest) Mid-level-ontology.kif 10768-10768 initialPart Pectoralis and Chest
(initialPart Rib Chest) Mid-level-ontology.kif 11237-11237 initialPart Rib and Chest
(termFormat EnglishLanguage Chest "chest") Mid-level-ontology.kif 11217-11217
(typicalPart Pectoralis Chest) Mid-level-ontology.kif 10767-10767 typicalPart Pectoralis and Chest
(typicalPart RibBone Chest) Mid-level-ontology.kif 11236-11236 typicalPart RibBone and Chest
(typicallyContainsPart RibCage Chest) Mid-level-ontology.kif 11264-11264 typicallyContainsPart RibCage and Chest

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


(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H Prone)
                (orientation ?H ?O On)))
        (instance ?C Chest)
        (part ?C ?H))
    (meetsSpatially ?C ?O))
Anatomy.kif 1799-1807
(=>
    (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 11219-11229
(=>
    (and
        (instance ?C Chest)
        (part ?C ?P)
        (equal ?B
            (BackFn ?P)))
    (not
        (part ?C ?B)))
Anatomy.kif 1823-1830

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 895-917
(=>
    (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
(=>
    (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 ?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 609-618
(=>
    (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 828-844
(=>
    (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 4891-4911