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 16751-16751 contraryAttribute Dead and Living
(documentation Dead ChineseLanguage "这是指失去生命的 Organism 的 Attribute。") chinese_format.kif 4016-4016
(documentation Dead EnglishLanguage "This Attribute applies to Organisms that are not alive.") Merge.kif 16752-16753
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/6/65/ Dead_bronze_dove.jpg") pictureList.kif 3064-3064
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/7/72/ Dead_squirrel.jpg") pictureList.kif 2946-2946
(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
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/b/b8/ Ab_bird_022.jpg") pictureList.kif 3065-3065
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/e/e1/ Michelangelo_Caravaggio_052.jpg") pictureList.kif 3062-3062
(instance Dead AnimacyAttribute) Merge.kif 16749-16749 instance Dead and AnimacyAttribute
(subAttribute Dead Unconscious) Merge.kif 16750-16750 subAttribute Dead and Unconscious

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


(termFormat ChineseLanguage Dead "死") domainEnglishFormat.kif 18655-18655
(termFormat ChineseTraditionalLanguage Dead "死") domainEnglishFormat.kif 18654-18654
(termFormat EnglishLanguage Dead "dead") domainEnglishFormat.kif 18653-18653

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


(exhaustiveAttribute AnimacyAttribute Living Dead) Merge.kif 16736-16736 exhaustiveAttribute AnimacyAttribute, 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 524-533

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 9602-9617
(=>
    (and
        (instance ?KILL Killing)
        (patient ?KILL ?PATIENT))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?KILL))
            (attribute ?PATIENT Living))
        (holdsDuring
            (FutureFn
                (WhenFn ?KILL))
            (attribute ?PATIENT Dead))))		 Merge.kif 11408-11414
(=>
    (and
        (instance ?X SuicideBombing)
        (agent ?X ?P))
    (believes ?P
        (holdsDuring
            (FutureFn
                (WhenFn ?X))
            (attribute ?P Dead))))		 Mid-level-ontology.kif 19913-19921
(=>
    (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 20148-20162
(=>
    (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 19903-19911


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