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


KB Term:  Term intersection
English Word: 

Sigma KEE - Dead
Dead(dead)
more pictures...		asleep, assassinated, bloodless, brain_dead, carcase, carcass, carrion, dead, dead_person, dead_soul, deadness, death, deceased, deceased_person, decedent, defunctness, departed, eternal_rest, eternal_sleep, exanimate, exsanguine, exsanguinous, extinction, inanimate, inanimateness, insentience, late, lifeless, lifelessness, neonatal_death, non-living, nonliving, quietus, rest, slain, sleep, stillborn, stone-dead

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


(instance Dead AnimacyAttribute) Merge.kif 18431-18431 Dead is an instance of animacy attribute
(subAttribute Dead Unconscious) Merge.kif 18432-18432 Dead is a subattribute of unconscious
(contraryAttribute Dead Living) Merge.kif 18433-18433 Dead is the opposite of living
(documentation Dead EnglishLanguage "This Attribute applies to Organisms that are not alive.") Merge.kif 18434-18435 Dead is the opposite of living
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/7/72/ Dead_squirrel.jpg") pictureList.kif 2944-2944 Dead is the opposite of living
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/e/e1/ Michelangelo_Caravaggio_052.jpg") pictureList.kif 3060-3060 Dead is the opposite of living
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Hans_Holbein-_The_Body_of_the_Dead_Christ_in_the_Tomb.JPG") pictureList.kif 3061-3061 Dead is the opposite of living
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/6/65/ Dead_bronze_dove.jpg") pictureList.kif 3062-3062 Dead is the opposite of living
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/b/b8/ Ab_bird_022.jpg") pictureList.kif 3063-3063 Dead is the opposite of living

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


(termFormat EnglishLanguage Dead "dead") domainEnglishFormat.kif 18732-18732
(termFormat ChineseTraditionalLanguage Dead "死") domainEnglishFormat.kif 18733-18733
(termFormat ChineseLanguage Dead "死") domainEnglishFormat.kif 18734-18734

appearance as argument number 3
-------------------------


(exhaustiveAttribute AnimacyAttribute Living Dead) Merge.kif 18418-18418 Living are all the attributes of animacy attribute

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


(=>
    (and
        (holdsDuring ?T
            (desires ?M
                (attribute ?V Dead)))
        (instance ?MURDER Murder)
        (agent ?MURDER ?M)
        (patient ?MURDER ?V)
        (earlier ?T
            (WhenFn ?MURDER)))
    (attribute ?MURDER Premeditated))		 Law.kif 461-470 If X desires dead is an attribute of Y holds during Z, W is an instance of murder, X is an agent of W, Y is a patient of W, and Z happens earlier than the time of existence of W, then premeditated is an attribute of W

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


(=>
    (and
        (instance ?DEATH Death)
        (instance ?ORG Organism)
        (experiencer ?DEATH ?ORG))
    (exists (?REM ?OBJ)
        (and
            (result ?DEATH ?REM)
            (instance ?REM OrganicObject)
            (holdsDuring
                (FutureFn
                    (WhenFn ?DEATH))
                (attribute ?REM Dead))
            (=>
                (holdsDuring
                    (ImmediateFutureFn
                        (WhenFn ?DEATH))
                    (part ?OBJ ?REM))
                (holdsDuring
                    (ImmediatePastFn
                        (WhenFn ?DEATH))
                    (part ?OBJ ?ORG))))))		 Merge.kif 10450-10469 If X is an instance of death, Y is an instance of organism, and Y experiences X, then there exist Z and W such that Z is a result of X and Z is an instance of organic object and dead is an attribute of Z holds during after the time of existence of X and W is a part of Z holds during immediately after the time of existence of XW is a part of Y holds during immediately before the time of existence of X
(=>
    (and
        (instance ?KILL Killing)
        (patient ?KILL ?PATIENT))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?KILL))
            (attribute ?PATIENT Living))
        (holdsDuring
            (FutureFn
                (WhenFn ?KILL))
            (attribute ?PATIENT Dead))))		 Merge.kif 12591-12597 If X is an instance of killing and Y is a patient of X, then living is an attribute of Y holds during the beginning of the time of existence of X and dead is an attribute of Y holds during after the time of existence of X
(=>
    (instance ?X OrganismRemains)
    (holdsDuring
        (WhenFn ?X)
        (attribute ?X Dead)))		 Mid-level-ontology.kif 28-30 If X is an instance of organism remains, then dead is an attribute of X holds during the time of existence of X
(=>
    (instance ?T Tomb)
    (hasPurpose ?T
        (exists (?P)
            (and
                (attribute ?P Dead)
                (contains ?T ?P)))))		 Mid-level-ontology.kif 8162-8168 If X is an instance of tomb, then X has the purpose there exists Y such that dead is an attribute of Y and X contains Y
(=>
    (instance ?X SuicideBombing)
    (exists (?A)
        (and
            (agent ?X ?A)
            (holdsDuring
                (FutureFn
                    (WhenFn ?X))
                (attribute ?A Dead)))))		 Mid-level-ontology.kif 24392-24400 If X is an instance of suicide bombing, then there exists Y such that Y is an agent of X and dead is an attribute of Y holds during after the time of existence of X
(=>
    (and
        (instance ?X SuicideBombing)
        (agent ?X ?P))
    (believes ?P
        (holdsDuring
            (FutureFn
                (WhenFn ?X))
            (attribute ?P Dead))))		 Mid-level-ontology.kif 24402-24410 If X is an instance of suicide bombing and Y is an agent of X, then Y believes dead is an attribute of Y holds during after the time of existence of X
(=>
    (holdsDuring ?NOW
        (attribute ?P Widowed))
    (and
        (exists (?BEFORE ?SPOUSE)
            (and
                (earlier ?BEFORE ?NOW)
                (holdsDuring ?BEFORE
                    (spouse ?SPOUSE ?P))
                (holdsDuring ?NOW
                    (attribute ?SPOUSE Dead))))
        (not
            (exists (?OTHER)
                (holdsDuring ?NOW
                    (spouse ?OTHER ?P))))))		 Mid-level-ontology.kif 24586-24600 If widowed woman is an attribute of X holds during Y, then there exist Z, W such that Z happens earlier than Y, W is the spouse of X holds during Z, and dead is an attribute of W holds during Y and there doesn't exist V such that V is the spouse of X holds during Y
(=>
    (holdsDuring ?T
        (attribute ?P BereavedFather))
    (exists (?BEFORE ?C)
        (and
            (earlier ?BEFORE ?T)
            (holdsDuring ?BEFORE
                (father ?P ?C))
            (holdsDuring ?T
                (attribute ?C Dead)))))		 ArabicCulture.kif 791-797 If bereaved father is an attribute of X holds during Y, then there exist Z, W such that Z happens earlier than Y, W is a father of X holds during Z, and dead is an attribute of W holds during Y
(=>
    (holdsDuring ?T
        (attribute ?P BereavedMother))
    (exists (?BEFORE ?C)
        (and
            (earlier ?BEFORE ?T)
            (holdsDuring ?BEFORE
                (mother ?P ?C))
            (holdsDuring ?T
                (attribute ?C Dead)))))		 ArabicCulture.kif 805-811 If bereaved mother is an attribute of X holds during Y, then there exist Z, W such that Z happens earlier than Y, W is a mother of X holds during Z, and dead is an attribute of W holds during Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners