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 18093-18093 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 18094-18095
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/6/65/ Dead_bronze_dove.jpg") pictureList.kif 3063-3063
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/7/72/ Dead_squirrel.jpg") pictureList.kif 2945-2945
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Hans_Holbein-_The_Body_of_the_Dead_Christ_in_the_Tomb.JPG") pictureList.kif 3062-3062
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/b/b8/ Ab_bird_022.jpg") pictureList.kif 3064-3064
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/e/e1/ Michelangelo_Caravaggio_052.jpg") pictureList.kif 3061-3061
(instance Dead AnimacyAttribute) Merge.kif 18091-18091 Dead is an instance of animacy attribute
(subAttribute Dead Unconscious) Merge.kif 18092-18092 Dead is a subattribute of unconscious

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


(termFormat ChineseLanguage Dead "死") domainEnglishFormat.kif 18732-18732
(termFormat ChineseTraditionalLanguage Dead "死") domainEnglishFormat.kif 18731-18731
(termFormat EnglishLanguage Dead "dead") domainEnglishFormat.kif 18730-18730

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


(exhaustiveAttribute AnimacyAttribute Living Dead) Merge.kif 18078-18078 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 480-489

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 10222-10237
(=>
    (and
        (instance ?KILL Killing)
        (patient ?KILL ?PATIENT))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?KILL))
            (attribute ?PATIENT Living))
        (holdsDuring
            (FutureFn
                (WhenFn ?KILL))
            (attribute ?PATIENT Dead))))
Merge.kif 12305-12311
(=>
    (and
        (instance ?X SuicideBombing)
        (agent ?X ?P))
    (believes ?P
        (holdsDuring
            (FutureFn
                (WhenFn ?X))
            (attribute ?P Dead))))
Mid-level-ontology.kif 22111-22119
(=>
    (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 22307-22321
(=>
    (holdsDuring ?T
        (attribute ?P BereavedFather))
    (exists (?BEFORE ?C)
        (and
            (earlier ?BEFORE ?T)
            (holdsDuring ?BEFORE
                (father ?P ?C))
            (holdsDuring ?T
                (attribute ?C Dead)))))
ArabicCulture.kif 760-766
(=>
    (holdsDuring ?T
        (attribute ?P BereavedMother))
    (exists (?BEFORE ?C)
        (and
            (earlier ?BEFORE ?T)
            (holdsDuring ?BEFORE
                (mother ?P ?C))
            (holdsDuring ?T
                (attribute ?C Dead)))))
ArabicCulture.kif 774-780
(=>
    (instance ?T Tomb)
    (hasPurpose ?T
        (exists (?P)
            (and
                (attribute ?P Dead)
                (contains ?T ?P)))))
Mid-level-ontology.kif 6846-6852
(=>
    (instance ?X OrganismRemains)
    (holdsDuring
        (WhenFn ?X)
        (attribute ?X Dead)))
Mid-level-ontology.kif 41-43
(=>
    (instance ?X SuicideBombing)
    (exists (?A)
        (and
            (agent ?X ?A)
            (holdsDuring
                (FutureFn
                    (WhenFn ?X))
                (attribute ?A Dead)))))
Mid-level-ontology.kif 22101-22109


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