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 20696-20697
(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 20695-20695

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 20712-20720
(=>
    (and
        (instance ?BLEED Bleeding)
        (experiencer ?BLEED ?ANIMAL))
    (instance ?ANIMAL Animal))
Mid-level-ontology.kif 20706-20710
(=>
    (instance ?BLEED Bleeding)
    (exists (?INJURY)
        (and
            (instance ?INJURY Injuring)
            (causes ?INJURY ?BLEED))))
Mid-level-ontology.kif 20699-20704


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