Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(contraryAttribute Dead Living) Merge.kif 16658-16658 Dead is the opposite of living
(documentation Dead ChineseLanguage "这是指失去生命的 OrganismAttribute。") chinese_format.kif 4016-4016
(documentation Dead EnglishLanguage "This Attribute applies to Organisms that are not alive.") Merge.kif 16659-16660
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/6/65/ Dead_bronze_dove.jpg") pictureList.kif 3064-3064 "http://upload.wikimedia.org/wikipedia/commons/6/65/ Dead_bronze_dove.jpg" is a URL depicting dead
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/7/72/ Dead_squirrel.jpg") pictureList.kif 2946-2946 "http://upload.wikimedia.org/wikipedia/commons/7/72/ Dead_squirrel.jpg" is a URL depicting dead
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Hans_Holbein-_The_Body_of_the_Dead_Christ_in_the_Tomb.JPG") pictureList.kif 3063-3063 "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Hans_Holbein-_The_Body_of_the_Dead_Christ_in_the_Tomb.JPG" is a URL depicting dead
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/b/b8/ Ab_bird_022.jpg") pictureList.kif 3065-3065 "http://upload.wikimedia.org/wikipedia/commons/b/b8/ Ab_bird_022.jpg" is a URL depicting dead
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/e/e1/ Michelangelo_Caravaggio_052.jpg") pictureList.kif 3062-3062 "http://upload.wikimedia.org/wikipedia/commons/e/e1/ Michelangelo_Caravaggio_052.jpg" is a URL depicting dead
(instance Dead AnimacyAttribute) Merge.kif 16656-16656 Dead is an instance of animacy attribute
(subAttribute Dead Unconscious) Merge.kif 16657-16657 Dead is a subattribute of unconscious

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


(termFormat ChineseLanguage Dead "死") domainEnglishFormat.kif 18661-18661 "死" is the printable form of dead in ChineseLanguage
(termFormat ChineseTraditionalLanguage Dead "死") domainEnglishFormat.kif 18660-18660 "死" is the printable form of dead in ChineseTraditionalLanguage
(termFormat EnglishLanguage Dead "dead") domainEnglishFormat.kif 18659-18659 "dead" is the printable form of dead in english language

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


(exhaustiveAttribute AnimacyAttribute Living Dead) Merge.kif 16643-16643 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 522-531

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


(=>
    (and
        (instance ?DEATH Death)
        (instance ?ORG Organism)
        (experiencer ?DEATH ?ORG))
    (exists (?REM)
        (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 9511-9526
(=>
    (and
        (instance ?KILL Killing)
        (patient ?KILL ?PATIENT))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?KILL))
            (attribute ?PATIENT Living))
        (holdsDuring
            (FutureFn
                (WhenFn ?KILL))
            (attribute ?PATIENT Dead))))
Merge.kif 11317-11323
(=>
    (and
        (instance ?X SuicideBombing)
        (agent ?X ?P))
    (believes ?P
        (holdsDuring
            (FutureFn
                (WhenFn ?X))
            (attribute ?P Dead))))
Mid-level-ontology.kif 19901-19909
(=>
    (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 20136-20150
(=>
    (holdsDuring ?T
        (attribute ?P BereavedFather))
    (exists (?BEFORE ?C)
        (and
            (earlier ?BEFORE ?T)
            (holdsDuring ?BEFORE
                (father ?P ?C))
            (holdsDuring ?T
                (attribute ?C Dead)))))
ArabicCulture.kif 745-751
(=>
    (holdsDuring ?T
        (attribute ?P BereavedMother))
    (exists (?BEFORE ?C)
        (and
            (earlier ?BEFORE ?T)
            (holdsDuring ?BEFORE
                (mother ?P ?C))
            (holdsDuring ?T
                (attribute ?C Dead)))))
ArabicCulture.kif 759-765
(=>
    (instance ?T Tomb)
    (hasPurpose ?T
        (exists (?P)
            (and
                (attribute ?P Dead)
                (contains ?T ?P)))))
Mid-level-ontology.kif 6506-6512
(=>
    (instance ?X OrganismRemains)
    (holdsDuring
        (WhenFn ?X)
        (attribute ?X Dead)))
Mid-level-ontology.kif 153-155
(=>
    (instance ?X SuicideBombing)
    (exists (?A)
        (and
            (agent ?X ?A)
            (holdsDuring
                (FutureFn
                    (WhenFn ?X))
                (attribute ?A Dead)))))
Mid-level-ontology.kif 19891-19899


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners