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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bleeding

Sigma KEE - Bleeding
Bleeding

VerbNet: substance_emission-43.4|bleed, substance_emission-43.4|bleed, substance_emission-43.4|bleed,


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 19064-19065
(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 19063-19063

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


(termFormat ChineseLanguage Bleeding "流血的") domainEnglishFormat.kif 11251-11251
(termFormat ChineseTraditionalLanguage Bleeding "流血的") domainEnglishFormat.kif 11250-11250
(termFormat EnglishLanguage Bleeding "bleeding") domainEnglishFormat.kif 11249-11249

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 19080-19088
(=>
    (and
        (instance ?BLEED Bleeding)
        (experiencer ?BLEED ?ANIMAL))
    (instance ?ANIMAL Animal))
Mid-level-ontology.kif 19074-19078
(=>
    (instance ?BLEED Bleeding)
    (exists (?INJURY)
        (and
            (instance ?INJURY Injuring)
            (causes ?INJURY ?BLEED))))
Mid-level-ontology.kif 19067-19072


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