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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Dead
Dead
more pictures...

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


(contraryAttribute Dead Living) Merge.kif 18279-18279 DeadLivingdisjoint では
(documentation Dead ChineseLanguage "这是指失去生命的 OrganismAttribute。") chinese_format.kif 4016-4016 DeadLivingdisjoint では
(documentation Dead EnglishLanguage "This Attribute applies to Organisms that are not alive.") Merge.kif 18280-18281 DeadLivingdisjoint では
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/6/65/ Dead_bronze_dove.jpg") pictureList.kif 3062-3062 DeadLivingdisjoint では
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/7/72/ Dead_squirrel.jpg") pictureList.kif 2944-2944 DeadLivingdisjoint では
(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 DeadLivingdisjoint では
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/b/b8/ Ab_bird_022.jpg") pictureList.kif 3063-3063 DeadLivingdisjoint では
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/e/e1/ Michelangelo_Caravaggio_052.jpg") pictureList.kif 3060-3060 DeadLivingdisjoint では
(instance Dead AnimacyAttribute) Merge.kif 18277-18277 Dead有生性属性instance では
(subAttribute Dead Unconscious) Merge.kif 18278-18278 Dead無意識subattribute では

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


(termFormat ChineseLanguage Dead "死") domainEnglishFormat.kif 18741-18741
(termFormat ChineseTraditionalLanguage Dead "死") domainEnglishFormat.kif 18740-18740
(termFormat EnglishLanguage Dead "dead") domainEnglishFormat.kif 18739-18739

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


(exhaustiveAttribute AnimacyAttribute Living Dead) Merge.kif 18264-18264 exhaustiveAttribute 有生性属性, Living and Dead

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 486-495

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 10362-10377
(=>
    (and
        (instance ?KILL Killing)
        (patient ?KILL ?PATIENT))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?KILL))
            (attribute ?PATIENT Living))
        (holdsDuring
            (FutureFn
                (WhenFn ?KILL))
            (attribute ?PATIENT Dead))))
Merge.kif 12455-12461
(=>
    (and
        (instance ?X SuicideBombing)
        (agent ?X ?P))
    (believes ?P
        (holdsDuring
            (FutureFn
                (WhenFn ?X))
            (attribute ?P Dead))))
Mid-level-ontology.kif 23754-23762
(=>
    (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 23948-23962
(=>
    (holdsDuring ?T
        (attribute ?P BereavedFather))
    (exists (?BEFORE ?C)
        (and
            (earlier ?BEFORE ?T)
            (holdsDuring ?BEFORE
                (father ?P ?C))
            (holdsDuring ?T
                (attribute ?C Dead)))))
ArabicCulture.kif 792-798
(=>
    (holdsDuring ?T
        (attribute ?P BereavedMother))
    (exists (?BEFORE ?C)
        (and
            (earlier ?BEFORE ?T)
            (holdsDuring ?BEFORE
                (mother ?P ?C))
            (holdsDuring ?T
                (attribute ?C Dead)))))
ArabicCulture.kif 806-812
(=>
    (instance ?T Tomb)
    (hasPurpose ?T
        (exists (?P)
            (and
                (attribute ?P Dead)
                (contains ?T ?P)))))
Mid-level-ontology.kif 8007-8013
(=>
    (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 23744-23752


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