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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Death
Death(death)
more pictures...
Crucifixion, Death, SIDS, brain_death, buy_it, buy_the_farm, cash_in_one's_chips, casualty, cerebral_death, choke, collateral_damage, conk, cot_death, crib_death, croak, deadly, death, deathly, decease, departure, deucedly, devilishly, die, die_off, die_out, drop_dead, drown, exit, expiration, expire, expiry, fall, famish, fatal_accident, fatality, give-up_the_ghost, go, going, grave, human_death, in_extremis, infant_death, insanely, kick_the_bucket, kill, last, loss, madly, martyrdom, megadeath...

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


s__documentation(s__Death,s__ChineseLanguage,'"这是死亡的 Process。"')

chinese_format.kif 2905-2905
s__documentation(s__Death,s__EnglishLanguage,'"The Process of dying."')

Merge.kif 9777-9777
s__externalImage(s__Death,'"http://upload.wikimedia.org/wikipedia/commons/3/30/ Ants_cleaning_dead_snake.jpg"')

pictureList.kif 6349-6349
s__externalImage(s__Death,'"http://upload.wikimedia.org/wikipedia/commons/3/33/ CAGrave.jpg"')

pictureList.kif 6350-6350
s__externalImage(s__Death,'"http://upload.wikimedia.org/wikipedia/commons/5/53/ Rembrandt_Harmensz._van_Rijn_007.jpg"')

pictureList.kif 6351-6351
s__externalImage(s__Death,'"http://upload.wikimedia.org/wikipedia/commons/b/ba/ Deadconfederate.jpg"')

pictureList.kif 6352-6352
s__externalImage(s__Death,'"http://upload.wikimedia.org/wikipedia/commons/e/e0/ ExtinctDodoBird.jpeg"')

pictureList.kif 5950-5950
s__instance(s__Death,s__SetOrClass)

s__instance(s__OrganismProcess,s__SetOrClass)

s__subclass(s__Death,s__OrganismProcess)

Merge.kif 9775-9775 Death is a subclass of organism process

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


s__termFormat(s__ChineseLanguage,s__Death,'"死亡"')

chinese_format.kif 1077-1077
s__termFormat(s__EnglishLanguage,s__Death,'"death"')

english_format.kif 1370-1370

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9791-9806
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 83-92
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 72-81
( ! [V__REM,V__ORG,V__DEATH,V__ORGTYPE] :
   (((s__instance(V__ORG,s__Agent) &
         s__subclass(V__ORGTYPE,s__Organism) &
         s__instance(V__ORGTYPE,s__Class))
       =>
       (((s__instance(V__REM,s__DeadFn(V__ORGTYPE))
         &
         s__instance(V__DEATH,s__Death) &
         s__result(V__DEATH,V__REM)
       &
       s__experiencer(V__DEATH,V__ORG))
   =>
   (s__instance(V__ORG,V__ORGTYPE)))))
)
)

Mid-level-ontology.kif 114-120
( ! [V__REM,V__ORG,V__DEATH,V__ORGTYPE] :
   (((s__instance(V__ORG,s__Agent) &
         s__instance(V__ORG,s__Class) &
         s__subclass(V__ORGTYPE,s__Organism) &
         s__instance(V__ORGTYPE,s__Class))
       =>
       (((s__instance(V__REM,s__OrganicObject) &
             s__instance(V__DEATH,s__Death) &
             s__experiencer(V__DEATH,V__ORG)
           &
           s__instance(V__ORG,V__ORGTYPE)
         &
         s__subclass(V__ORG,s__Organism) &
         s__result(V__DEATH,V__REM))
     =>
     (s__instance(V__REM,s__DeadFn(V__ORGTYPE))))))
)
)

Mid-level-ontology.kif 122-130
( ! [V__REM,V__ORG,V__DEATH] :
   (((s__instance(V__REM,s__OrganicObject) &
         s__instance(V__DEATH,s__Death) &
         s__instance(V__ORG,s__Organism) &
         s__experiencer(V__DEATH,V__ORG)
       &
       s__result(V__DEATH,V__REM))
   =>
   (s__instance(V__REM,s__OrganismRemains)))
)
)

Mid-level-ontology.kif 56-63

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


No TPTP formula. May not be expressible in strict first order. People.kif 138-151 The deaths per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 253-277 The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to a number and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 411-442 The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 323-353 The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 367-398 The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17363-17379
( ! [V__AGENT,V__BIRTH] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__BIRTH,s__Birth) &
             s__experiencer(V__BIRTH,V__AGENT))
         =>
         (( ? [V__DEATH] :
             ((s__instance(V__DEATH,s__Death) &
                 s__experiencer(V__DEATH,V__AGENT))))))))
)
)

Merge.kif 9766-9773
( ! [V__AGENT,V__DISEASE] :
   ((s__instance(V__AGENT,s__Object) =>
       (((s__instance(V__DISEASE,s__LifeThreateningDisease) &
             s__attribute(V__AGENT,V__DISEASE))
         =>
         (s__capability(s__Death,s__experiencer__m,V__AGENT)))))
)
)

WMD.kif 1015-1019
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17305-17323
( ! [V__OBJ,V__KILL] :
   ((s__instance(V__OBJ,s__Agent) =>
       (((s__instance(V__KILL,s__Killing) &
             s__patient(V__KILL,V__OBJ))
         =>
         (( ? [V__DEATH] :
             ((s__instance(V__DEATH,s__Death) &
                 s__experiencer(V__DEATH,V__OBJ)
               &
               s__causes(V__KILL,V__DEATH))))))))
)
)

Merge.kif 11699-11707
( ! [V__P,V__T] :
   (((s__instance(V__P,s__Human) &
         s__instance(V__T,s__Day))
       =>
       ((s__deathdate(V__P,V__T)
         =>
         (( ? [V__D] :
             ((s__instance(V__D,s__Death) &
                 s__experiencer(V__D,V__P)
               &
               s__date(V__D,V__T))))))))
)
)

Mid-level-ontology.kif 22960-22966
( ! [V__P,V__L] :
   (((s__instance(V__P,s__Animal) &
         s__instance(V__L,s__Object))
       =>
       ((s__deathplace(V__P,V__L)
         =>
         (( ? [V__D] :
             ((s__instance(V__D,s__Death) &
                 s__experiencer(V__D,V__P)
               &
               s__eventLocated(V__D,V__L))))))))
)
)

Mid-level-ontology.kif 22976-22982
No TPTP formula. May not be expressible in strict first order. WMD.kif 884-891
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19218-19228
( ! [V__F] :
   ((s__instance(V__F,s__Funeral) =>
       (( ? [V__D] :
           ((s__instance(V__D,s__Death) &
               s__refers(V__F,V__D))))))
   )
)

Mid-level-ontology.kif 14804-14809
( ! [V__REM] :
   ((s__instance(V__REM,s__OrganismRemains) =>
       (( ? [V__DEATH] :
           ((s__instance(V__DEATH,s__Death) &
               s__result(V__DEATH,V__REM))))))
   )
)

Mid-level-ontology.kif 65-70


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