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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Bleeding

Sigma KEE - Bleeding
Bleeding

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


(documentation Bleeding EnglishLanguage "The release of Blood from an Animal in response to an Injuring of some sort.") Mid-level-ontology.kif 22996-22997
(externalImage Bleeding "http://upload.wikimedia.org/wikipedia/commons/8/ 82/ Bleeding.jpg") pictureList.kif 5884-5884
(externalImage Bleeding "http://upload.wikimedia.org/wikipedia/commons/e/ e6/ Bleeding_finger.jpg") pictureList.kif 6170-6170
(externalImage Bleeding "http://upload.wikimedia.org/wikipedia/commons/f/ fc/ Eye_hemorrhage.jpg") pictureList.kif 6171-6171
(subclass Bleeding AutonomicProcess) Mid-level-ontology.kif 22994-22994
(subclass Bleeding LiquidMotion) Mid-level-ontology.kif 22995-22995

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


(subclass Bleedout Bleeding) Medicine.kif 6332-6332
(termFormat ChineseLanguage Bleeding "流血的") domainEnglishFormat.kif 11318-11318
(termFormat ChineseTraditionalLanguage Bleeding "流血的") domainEnglishFormat.kif 11317-11317
(termFormat EnglishLanguage Bleeding "bleeding") domainEnglishFormat.kif 11316-11316

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


(=>
    (and
        (instance ?B Bleeding)
        (experiencer ?B ?H))
    (exists (?VA ?D)
        (and
            (or
                (instance ?VA Vein)
                (instance ?VA Artery))
            (part ?VA ?H)
            (instance ?D Damaging)
            (earlier
                (WhenFn ?D)
                (WhenFn ?B))
            (patient ?D ?VA))))
Medicine.kif 80-94
(=>
    (and
        (instance ?B Bleeding)
        (instance ?D Death)
        (instance ?H Human)
        (instance ?P Human)
        (experiencer ?B ?P)
        (orientation ?H ?P Near)
        (modalAttribute
            (causes ?B ?D) Likely))
    (holdsObligation ?H
        (exists (?A)
            (and
                (instance ?A ApplyingTourniquet)
                (agent ?A ?H)
                (destination ?A ?P)))))
Medicine.kif 44-59
(=>
    (and
        (instance ?BLEED Bleeding)
        (experiencer ?BLEED ?ANIMAL))
    (exists (?BLOOD)
        (and
            (instance ?BLOOD Blood)
            (holdsDuring
                (BeginFn
                    (WhenFn ?BLEED))
                (part ?BLOOD ?ANIMAL))
            (holdsDuring
                (EndFn
                    (WhenFn ?BLEED))
                (not
                    (part ?BLOOD ?ANIMAL))))))
Mid-level-ontology.kif 23012-23020
(=>
    (and
        (instance ?BLEED Bleeding)
        (experiencer ?BLEED ?ANIMAL))
    (instance ?ANIMAL Animal))
Mid-level-ontology.kif 23006-23010
(=>
    (instance ?BLEED Bleeding)
    (exists (?INJURY)
        (and
            (instance ?INJURY Injuring)
            (causes ?INJURY ?BLEED))))
Mid-level-ontology.kif 22999-23004

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


(=>
    (attribute ?H Bruise)
    (exists (?I ?P)
        (and
            (instance ?I Injuring)
            (patient ?I ?H)
            (instance ?P Bleeding)
            (causes ?P ?I))))
Medicine.kif 414-421
(=>
    (holdsDuring ?TIME
        (attribute ?T Tourniquet))
    (exists (?P ?B ?A)
        (and
            (instance ?P Human)
            (instance ?B Bleeding)
            (instance ?A Attaching)
            (experiencer ?B ?P)
            (destination ?A ?P)
            (objectTransferred ?A ?T)
            (hasPurpose ?T
                (not
                    (exists (?B2)
                        (and
                            (instance ?B2 Bleeding)
                            (overlapsTemporally
                                (WhenFn ?B2)
                                (ImmediateFutureFn
                                    (WhenFn ?A)))
                            (experiencer ?B2 ?P))))))))
Medicine.kif 20-39
(=>
    (instance ?TA TranexamicAcid)
    (hasPurpose ?TA
        (exists (?P)
            (and
                (instance ?P Human)
                (decreasesLikelihood
                    (exists (?I)
                        (and
                            (instance ?I Ingesting)
                            (objectTransferred ?I ?TA)
                            (destination ?I ?P)))
                    (exists (?P ?B)
                        (and
                            (instance ?P Human)
                            (instance ?B Bleeding)
                            (origin ?B ?P))))))))
Medicine.kif 1042-1058


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners