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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 23003-23004
(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 23001-23001 子類 流血的 and 自主過程
(subclass Bleeding LiquidMotion) Mid-level-ontology.kif 23002-23002 子類 流血的 and 液體運動

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


(subclass Bleedout Bleeding) Medicine.kif 6296-6296 子類 Bleedout and 流血的
(termFormat ChineseLanguage Bleeding "流血的") domainEnglishFormat.kif 11324-11324 子類 Bleedout and 流血的
(termFormat ChineseTraditionalLanguage Bleeding "流血的") domainEnglishFormat.kif 11323-11323 子類 Bleedout and 流血的
(termFormat EnglishLanguage Bleeding "bleeding") domainEnglishFormat.kif 11322-11322 子類 Bleedout and 流血的

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 23019-23027
(=>
    (and
        (instance ?BLEED Bleeding)
        (experiencer ?BLEED ?ANIMAL))
    (instance ?ANIMAL Animal))		 Mid-level-ontology.kif 23013-23017
(=>
    (instance ?BLEED Bleeding)
    (exists (?INJURY)
        (and
            (instance ?INJURY Injuring)
            (causes ?INJURY ?BLEED))))		 Mid-level-ontology.kif 23006-23011

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


(=>
    (attribute ?H Bruise)
    (exists (?I ?P)
        (and
            (instance ?I Injuring)
            (patient ?I ?H)
            (instance ?P Bleeding)
            (causes ?P ?I))))		 Medicine.kif 413-420
(=>
    (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 1038-1054


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



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