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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bleeding
Bleeding(bleeding)
bleed, flow, hemorrhage, menstruate, shed_blood

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 20700-20701
(externalImage Bleeding "http://upload.wikimedia.org/wikipedia/commons/8/ 82/ Bleeding.jpg") pictureList.kif 5886-5886
(externalImage Bleeding "http://upload.wikimedia.org/wikipedia/commons/e/ e6/ Bleeding_finger.jpg") pictureList.kif 6172-6172
(externalImage Bleeding "http://upload.wikimedia.org/wikipedia/commons/f/ fc/ Eye_hemorrhage.jpg") pictureList.kif 6173-6173
(subclass Bleeding AutonomicProcess) Mid-level-ontology.kif 20699-20699 Bleeding is a subclass of autonomic process

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


(termFormat ChineseLanguage Bleeding "流血的") domainEnglishFormat.kif 11312-11312
(termFormat ChineseTraditionalLanguage Bleeding "流血的") domainEnglishFormat.kif 11311-11311
(termFormat EnglishLanguage Bleeding "bleeding") domainEnglishFormat.kif 11310-11310

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


(=>
    (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 20716-20724
(=>
    (and
        (instance ?BLEED Bleeding)
        (experiencer ?BLEED ?ANIMAL))
    (instance ?ANIMAL Animal))
Mid-level-ontology.kif 20710-20714
(=>
    (instance ?BLEED Bleeding)
    (exists (?INJURY)
        (and
            (instance ?INJURY Injuring)
            (causes ?INJURY ?BLEED))))
Mid-level-ontology.kif 20703-20708


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