Death - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Death

Death

more pictures...

VerbNet: disappearance-48.2|perish, disappearance-48.2|perish, disappearance-48.2|perish, disappearance-48.2|perish, disappearance-48.2|perish, disappearance-48.2|perish, disappearance-48.2|perish, disappearance-48.2|perish, disappearance-48.2|perish, disappearance-48.2|perish, disappearance-48.2|perish, disappearance-48.2|perish, murder-42.1|kill, disappearance-48.2|perish, disappearance-48.2|perish, disappearance-48.2|perish, disappearance-48.2|perish, disappearance-48.2|perish, orphan-29.7|widow,

appearance as argument number 1

(documentation Death ChineseLanguage "这是死亡的 Process。")	chinese_format.kif 2905-2905
(documentation Death EnglishLanguage "The Process of dying.")	Merge.kif 9588-9588
(externalImage Death "http://upload.wikimedia.org/wikipedia/commons/3/30/ Ants_cleaning_dead_snake.jpg")	pictureList.kif 6349-6349
(externalImage Death "http://upload.wikimedia.org/wikipedia/commons/3/33/ CAGrave.jpg")	pictureList.kif 6350-6350
(externalImage Death "http://upload.wikimedia.org/wikipedia/commons/5/53/ Rembrandt_Harmensz._van_Rijn_007.jpg")	pictureList.kif 6351-6351
(externalImage Death "http://upload.wikimedia.org/wikipedia/commons/b/ba/ Deadconfederate.jpg")	pictureList.kif 6352-6352
(externalImage Death "http://upload.wikimedia.org/wikipedia/commons/e/e0/ ExtinctDodoBird.jpeg")	pictureList.kif 5950-5950
(subclass Death OrganismProcess)	Merge.kif 9586-9586	subclass Death and OrganismProcess

appearance as argument number 2

(termFormat ChineseLanguage Death "死亡")	chinese_format.kif 1077-1077
(termFormat EnglishLanguage Death "death")	english_format.kif 1370-1370

antecedent

(=> (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	instance Process and Death instance Agent and Organism experiencer Process and Agent Entity result Process and Entity instance Entity and OrganicObject holdsDuring FutureFn WhenFn Process and attribute Entity and Dead holdsDuring ImmediateFutureFn WhenFn Process and part entity and Entity holdsDuring ImmediatePastFn WhenFn Process and part entity and Agent
(=> (and (instance ?DEATH Death) (instance ?REM OrganismRemains) (instance ?ORG Organism) (holdsDuring ?T2 (part ?OBJ ?REM)) (holdsDuring ?T1 (part ?OBJ ?ORG)) (earlier ?T1 ?T2) (experiencer ?DEATH ?ORG)) (result ?DEATH ?REM))	Mid-level-ontology.kif 207-216	instance Process and Death instance Entity and OrganismRemains instance Agent and Organism holdsDuring TimeInterval and part entity and Entity holdsDuring TimeInterval and part entity and Agent earlier TimeInterval and TimeInterval experiencer Process and Agent result Process and Entity
(=> (and (instance ?DEATH Death) (instance ?REM OrganismRemains) (instance ?ORG Organism) (holdsDuring ?T2 (part ?OBJ ?REM)) (holdsDuring ?T1 (part ?OBJ ?ORG)) (earlier ?T1 ?T2) (result ?DEATH ?REM)) (experiencer ?DEATH ?ORG))	Mid-level-ontology.kif 195-204	instance Process and Death instance Entity and OrganismRemains instance Agent and Organism holdsDuring TimeInterval and part entity and Entity holdsDuring TimeInterval and part entity and Agent earlier TimeInterval and TimeInterval result Process and Entity experiencer Process and Agent
(=> (and (instance ?REM (DeadFn ?ORGTYPE)) (instance ?DEATH Death) (result ?DEATH ?REM) (experiencer ?DEATH ?ORG)) (instance ?ORG ?ORGTYPE))	Mid-level-ontology.kif 241-247	instance Entity and DeadFn Organism instance Process and Death result Process and Entity experiencer Process and Agent instance Agent and Organism
(=> (and (instance ?REM OrganicObject) (instance ?DEATH Death) (experiencer ?DEATH ?ORG) (instance ?ORG ?ORGTYPE) (subclass ?ORG Organism) (result ?DEATH ?REM)) (instance ?REM (DeadFn ?ORGTYPE)))	Mid-level-ontology.kif 250-258	instance Entity and OrganicObject instance Process and Death experiencer Process and Agent instance Agent and AgentTYPE subclass Agent and Organism result Process and Entity instance Entity and DeadFn AgentTYPE
(=> (and (instance ?REM OrganicObject) (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG) (result ?DEATH ?REM)) (instance ?REM OrganismRemains))	Mid-level-ontology.kif 177-184	instance Entity and OrganicObject instance Process and Death instance Agent and Organism experiencer Process and Agent result Process and Entity instance Entity and OrganismRemains

consequent

(<=> (equal (DeathsPerThousandFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?DEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?PERSON) (instance ?PERSON Human) (during (WhenFn ?DEATH) (YearFn ?YEAR)) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 138-151	equal DeathsPerThousandFn GeopoliticalArea and YearFn Integer and RealNumber equal DivisionFn PopulationFn GeopoliticalArea and 1000 and Quantity equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Death experiencer SymbolicString and entity instance entity and Human during WhenFn SymbolicString and YearFn Integer equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn Integer and Quantity and RealNumber
(<=> (equal (DeathsPerThousandLiveBirthsFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS) (equal ?INFANTDEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?INFANT) (instance ?INFANT Human) (age ?INFANT (MeasureFn ?AGE YearDuration)) (lessThan ?AGE 1) (during (WhenFn ?DEATH) (YearFn ?YEAR)) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))	People.kif 253-277	equal DeathsPerThousandLiveBirthsFn GeopoliticalArea and YearFn Integer and RealNumber equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Birth experiencer SymbolicString and entity instance entity and Human during WhenFn SymbolicString and YearFn Integer equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn Integer and 1000 and Quantity equal entityDEATHCOUNT and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Death experiencer SymbolicString and entity instance entity and Human age entity and MeasureFn entity and YearDuration lessThan entity and 1 during WhenFn SymbolicString and YearFn Integer equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn entityDEATHCOUNT and Quantity and RealNumber
(<=> (equal (FemaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Female) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 411-442	equal FemaleLifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human attribute entity and Female during WhenFn entity and YearFn Integer equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(<=> (equal (LifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 323-353	equal LifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human during WhenFn entity and YearFn Integer equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(<=> (equal (MaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 367-398	equal MaleLifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human attribute entity and Male during WhenFn entity and YearFn Integer equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(=> (and (instance ?B Bequeathing) (agent ?B ?P) (destination ?B ?H) (objectTransferred ?B ?PROP)) (exists (?D) (and (instance ?D Death) (experiencer ?D ?P) (earlier (WhenFn ?D) (WhenFn ?B)) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (possesses ?P ?PROP)) (confersNorm ?P (possesses ?H ?PROP) Permission))))	Mid-level-ontology.kif 16349-16365	instance Transfer and Bequeathing agent Transfer and Agent destination Transfer and Entity objectTransferred Transfer and AgentROP Process instance Process and Death experiencer Process and Agent earlier WhenFn Process and WhenFn Transfer holdsDuring ImmediatePastFn WhenFn Process and possesses Agent and AgentROP confersNorm Agent, possesses Entity and AgentROP and Permission
(=> (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?AGENT)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?AGENT))))	Merge.kif 9577-9584	instance Process and Birth experiencer Process and Agent Process instance Process and Death experiencer Process and Agent
(=> (and (instance ?DISEASE LifeThreateningDisease) (attribute ?AGENT ?DISEASE)) (capability Death experiencer ?AGENT))	WMD.kif 982-986	instance Attribute and LifeThreateningDisease attribute Object and Attribute capability Death, experiencer and Object
(=> (and (instance ?INHERIT Inheriting) (agent ?INHERIT ?HEIR) (origin ?INHERIT ?PERSON) (patient ?INHERIT ?PROPERTY)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?PERSON) (earlier (WhenFn ?DEATH) (WhenFn ?INHERIT)) (holdsDuring (ImmediatePastFn (WhenFn ?DEATH)) (possesses ?PERSON ?PROPERTY)) (confersRight (possesses ?HEIR ?PROPERTY) ?PERSON ?HEIR))))	Mid-level-ontology.kif 16294-16312	instance Process and Inheriting agent Process and CognitiveAgent origin Process and Agent patient Process and Entity Process instance Process and Death experiencer Process and Agent earlier WhenFn Process and WhenFn Process holdsDuring ImmediatePastFn WhenFn Process and possesses Agent and Entity confersRight possesses CognitiveAgent and Entity, Agent and CognitiveAgent
(=> (and (instance ?KILL Killing) (patient ?KILL ?OBJ)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?OBJ) (causes ?KILL ?DEATH))))	Merge.kif 11416-11424	instance Process and Killing patient Process and Agent Process instance Process and Death experiencer Process and Agent causes Process and Process
(=> (deathdate ?P ?T) (exists (?D) (and (instance ?D Death) (experiencer ?D ?P) (date ?D ?T))))	Mid-level-ontology.kif 22001-22007	deathdate Human and Day Process instance Process and Death experiencer Process and Human date Process and Day
(=> (deathplace ?P ?L) (exists (?D) (and (instance ?D Death) (experiencer ?D ?P) (eventLocated ?D ?L))))	Mid-level-ontology.kif 22016-22022	deathplace Animal and Object Process instance Process and Death experiencer Process and Animal eventLocated Process and Object
(=> (diseaseMortality ?DISEASE ?RATE) (conditionalProbability (attribute ?ORGANISM ?DISEASE) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?ORGANISM))) ?RATE))	WMD.kif 851-858	diseaseMortality DiseaseOrSyndrome and RealNumber conditionalProbability attribute entity and DiseaseOrSyndrome, entity instance entity and Death experiencer entity and entity and RealNumber
(=> (instance ?F Funeral) (exists (?D) (and (instance ?D Death) (refers ?F ?D))))	Mid-level-ontology.kif 13662-13667	instance Entity and Funeral Entity instance Entity and Death refers Entity and Entity
(=> (instance ?REM OrganismRemains) (exists (?DEATH) (and (instance ?DEATH Death) (result ?DEATH ?REM))))	Mid-level-ontology.kif 187-192	instance Entity and OrganismRemains Process instance Process and Death result Process and Entity

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