Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Death OrganismProcess) Merge.kif 10434-10434 Death is a subclass of organism process
(documentation Death EnglishLanguage "The Process of dying.") Merge.kif 10436-10436 Death is a subclass of organism process
(externalImage Death "http://upload.wikimedia.org/wikipedia/commons/e/e0/ ExtinctDodoBird.jpeg") pictureList.kif 5948-5948 Death is a subclass of organism process
(externalImage Death "http://upload.wikimedia.org/wikipedia/commons/3/30/ Ants_cleaning_dead_snake.jpg") pictureList.kif 6347-6347 Death is a subclass of organism process
(externalImage Death "http://upload.wikimedia.org/wikipedia/commons/3/33/ CAGrave.jpg") pictureList.kif 6348-6348 Death is a subclass of organism process
(externalImage Death "http://upload.wikimedia.org/wikipedia/commons/5/53/ Rembrandt_Harmensz._van_Rijn_007.jpg") pictureList.kif 6349-6349 Death is a subclass of organism process
(externalImage Death "http://upload.wikimedia.org/wikipedia/commons/b/ba/ Deadconfederate.jpg") pictureList.kif 6350-6350 Death is a subclass of organism process

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


(subclass Asphyxiation Death) Medicine.kif 6331-6331 Asphyxiation is a subclass of death
(subclass Bleedout Death) Medicine.kif 6347-6347 Bleedout is a subclass of death
(termFormat EnglishLanguage Death "death") english_format.kif 1369-1369 Bleedout is a subclass of death

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


(=>
    (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 10450-10469 If X is an instance of death, Y is an instance of organism, and Y experiences X, then there exist Z and W such that Z is a result of X and Z is an instance of organic object and dead is an attribute of Z holds during after the time of existence of X and W is a part of Z holds during immediately after the time of existence of XW is a part of Y holds during immediately before the time of existence of X
(=>
    (and
        (instance ?REM OrganicObject)
        (instance ?DEATH Death)
        (instance ?ORG Organism)
        (experiencer ?DEATH ?ORG)
        (result ?DEATH ?REM))
    (instance ?REM OrganismRemains))		 Mid-level-ontology.kif 45-52 If X is an instance of organic object, Y is an instance of death, Z is an instance of organism, Z experiences Y, and X is a result of Y, then X is an instance of organism remains
(=>
    (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 61-70 If All of the following hold: (1) X is an instance of death (2) Y is an instance of organism remains (3) Z is an instance of organism (4) W is a part of Y holds during V (5) W is a part of Z holds during U (6) U happens earlier than V (7) Y is a result of X, then Z experiences X
(=>
    (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 72-81 If All of the following hold: (1) X is an instance of death (2) Y is an instance of organism remains (3) Z is an instance of organism (4) W is a part of Y holds during V (5) W is a part of Z holds during U (6) U happens earlier than V (7) Z experiences X, then Y is a result of X
(=>
    (and
        (instance ?REM
            (DeadFn ?ORGTYPE))
        (instance ?DEATH Death)
        (result ?DEATH ?REM)
        (experiencer ?DEATH ?ORG))
    (instance ?ORG ?ORGTYPE))		 Mid-level-ontology.kif 101-107 If X is an instance of a dead Y, Z is an instance of death, X is a result of Z, and W experiences Z, then W is an instance of Y
(=>
    (and
        (instance ?REM OrganismRemains)
        (instance ?DEATH Death)
        (experiencer ?DEATH ?ORG)
        (instance ?ORG ?ORGTYPE)
        (subclass ?ORGTYPE OrganicObject)
        (result ?DEATH ?REM))
    (instance ?REM
        (DeadFn ?ORGTYPE)))		 Mid-level-ontology.kif 109-117 If All of the following hold: (1) X is an instance of organism remains (2) Y is an instance of death (3) Z experiences Y (4) Z is an instance of W (5) W is a subclass of organic object (6) X is a result of Y, then X is an instance of a dead W
(=>
    (and
        (instance ?TEXT DeathCertificate)
        (instance ?D Death)
        (instance ?A Human)
        (experiencer ?D ?A))
    (containsFormula ?TEXT
        (exists (?DAY ?P ?N ?PROC)
            (and
                (deathdate ?A ?DAY)
                (instance ?DAY Day)
                (deathplace ?A ?P)
                (instance ?P GeographicArea)
                (represents ?N ?A)
                (instance ?N Name)
                (causes ?PROC ?D)
                (instance ?PROC Process)))))		 Biography.kif 287-303 If X is an instance of death certificate, Y is an instance of death, Z is an instance of human, and Z experiences Y, then All of the following hold: (1) X contains the formula there exist W, V,, , U (2) T such that W is a deathdate of Z (3) W is an instance of day (4) V is a deathplace of Z (5) V is an instance of geographic area (6) U expresses Z (7) U is an instance of name (8) T causes Y (9) T is an instance of process
(=>
    (and
        (instance ?B Bleeding)
        (instance ?D Death)
        (instance ?H Human)
        (instance ?P Human)
        (experiencer ?B ?P)
        (orientation ?H ?P Near)
        (modalAttribute
            (causes ?B ?D) Likely))
    (holdsObligation ?H
        (exists (?A)
            (and
                (instance ?A ApplyingTourniquet)
                (agent ?A ?H)
                (destination ?A ?P)))))		 Medicine.kif 45-60 If All of the following hold: (1) X is an instance of bleeding (2) Y is an instance of death (3) Z is an instance of human (4) W is an instance of human (5) W experiences X (6) Z is near to W (7) the statement X causes Y has the modal force of likely, then Z is obliged to perform tasks of type there exists V such that V is an instance of applying a tourniquet, Z is an agent of V, and V ends up at W
(=>
    (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) ?YEAR)
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER))
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (DeathsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)))		 People.kif 152-167 If equal the population of X, 1000, and Y, equal Z and the number of instances in the class described by W, and equal Z, Y, and V, then U is an instance of the year T and equal the deaths per thousand of X, U, and V

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


(=>
    (and
        (instance ?BIRTH Birth)
        (experiencer ?BIRTH ?AGENT))
    (exists (?DEATH)
        (and
            (instance ?DEATH Death)
            (experiencer ?DEATH ?AGENT))))		 Merge.kif 10425-10432 If X is an instance of birth and Y experiences X, then there exists Z such that Z is an instance of death and Y experiences Z
(=>
    (and
        (instance ?KILL Killing)
        (patient ?KILL ?OBJ))
    (exists (?DEATH)
        (and
            (instance ?DEATH Death)
            (experiencer ?DEATH ?OBJ)
            (causes ?KILL ?DEATH))))		 Merge.kif 12599-12607 If X is an instance of killing and Y is a patient of X, then there exists Z such that Z is an instance of death, Y experiences Z, and X causes Z
(=>
    (instance ?REM OrganismRemains)
    (exists (?DEATH)
        (and
            (instance ?DEATH Death)
            (result ?DEATH ?REM))))		 Mid-level-ontology.kif 54-59 If X is an instance of organism remains, then there exists Y such that Y is an instance of death and X is a result of Y
(=>
    (instance ?F Funeral)
    (exists (?D)
        (and
            (instance ?D Death)
            (refers ?F ?D))))		 Mid-level-ontology.kif 17615-17620 If X is an instance of funeral, then there exists Y such that Y is an instance of death and X includes a reference to Y
(=>
    (and
        (instance ?INHERIT Inheriting)
        (agent ?INHERIT ?HEIR)
        (instance ?HEIR Human)
        (origin ?INHERIT ?PERSON)
        (instance ?PERSON Human)
        (patient ?INHERIT ?PROPERTY)
        (instance ?PROPERTY Object))
    (exists (?DEATH)
        (and
            (instance ?DEATH Death)
            (experiencer ?DEATH ?PERSON)
            (earlier
                (WhenFn ?DEATH)
                (WhenFn ?INHERIT))
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?DEATH))
                (possesses ?PERSON ?PROPERTY))
            (confersRight ?PERSON ?HEIR
                (possesses ?HEIR ?PROPERTY)))))		 Mid-level-ontology.kif 20540-20561 If All of the following hold: (1) X is an instance of inheriting (2) Y is an agent of X (3) Y is an instance of human (4) X originates at Z (5) Z is an instance of human (6) W is a patient of X (7) W is an instance of object, then there exists V such that V is an instance of death, Z experiences V, the time of existence of V happens earlier than the time of existence of X, Z possesses W holds during immediately before the time of existence of V, and Y allows Y possesses W to perform task of the type Z
(=>
    (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
                (possesses ?H ?PROP) Permission ?P))))		 Mid-level-ontology.kif 20601-20617 If X is an instance of bequeathing, Y is an agent of X, X ends up at Z, and the object transferred in X is W, then there exists V such that V is an instance of death, Y experiences V, the time of existence of V happens earlier than the time of existence of X, Y possesses W holds during immediately before the time of existence of V, and Z possesses W confers norm permission for Y
(=>
    (holdsDuring ?T
        (and
            (instance ?ICU IntensiveCareUnit)
            (stays ?H ?ICU)))
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D Death)
                (finishes
                    (WhenFn ?D) ?T))) Possibility))		 Mid-level-ontology.kif 22810-22820 If X is an instance of ICU and Y stays at X holds during Z, then the statement there exists W such that W is an instance of death and the time of existence of W finishes Z has the modal force of possibility
(=>
    (attribute ?O Mortal)
    (and
        (instance ?O Organism)
        (capability Death experiencer ?O)))		 Mid-level-ontology.kif 26566-26570 If mortal is an attribute of X, then X is an instance of organism and X is capable of doing death as a experiencer
(=>
    (deathdate ?P ?T)
    (exists (?D)
        (and
            (instance ?D Death)
            (experiencer ?D ?P)
            (date ?D ?T))))		 Mid-level-ontology.kif 26583-26589 If X is a deathdate of Y, then there exists Z such that Z is an instance of death, Y experiences Z, and date of Z is X
(=>
    (deathplace ?P ?L)
    (exists (?D)
        (and
            (instance ?D Death)
            (experiencer ?D ?P)
            (eventLocated ?D ?L))))		 Mid-level-ontology.kif 26599-26605 If X is a deathplace of Y, then there exists Z such that Z is an instance of death, Y experiences Z, and Z is located at X
(=>
    (instance ?TEXT DeathCertificate)
    (hasPurpose ?TEXT
        (exists (?D ?A)
            (and
                (instance ?D Death)
                (instance ?A Human)
                (experiencer ?D ?A)
                (represents ?TEXT ?D)))))		 Biography.kif 277-285 If X is an instance of death certificate, then X has the purpose there exist Y, Z such that Y is an instance of death, Z is an instance of human, Z experiences Y, and X expresses Y
(=>
    (and
        (instance ?A Anaphylaxis)
        (experiencer ?A ?H))
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D Death)
                (experiencer ?D ?H)
                (causes ?A ?D))) Possibility))		 Medicine.kif 1529-1539 If X is an instance of anaphylaxis and Y experiences X, then the statement there exists Z such that Z is an instance of death, Y experiences Z, and X causes Z has the modal force of possibility
(=>
    (and
        (instance ?T TimePeriod)
        (duration ?T
            (MeasureFn ?N MinuteDuration))
        (greaterThan ?N 5.0)
        (instance ?H Human)
        (not
            (exists (?B)
                (and
                    (instance ?B Breathing)
                    (during
                        (WhenFn ?B) ?T)
                    (patient ?B ?H)))))
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D Death)
                (experiencer ?D ?H)
                (meetsTemporally ?T
                    (WhenFn ?D)))) Likely))		 Medicine.kif 6028-6048 If X is an instance of TimePeriod, duration of X is Y minute duration(s), Y is greater than 5.0, Z is an instance of human, and there doesn't exist W such that W is an instance of breathing, the time of existence of W takes place during X, and Z is a patient of W, then the statement there exists V such that V is an instance of death, Z experiences V, and X meets the time of existence of V has the modal force of likely
(=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (DeathsPerThousandFn ?AREA ?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) ?YEAR)
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))		 People.kif 135-150 If X is an instance of the year Y and equal the deaths per thousand of Z, X, and W, then equal the population of Z, 1000, and V, equal U and the number of instances in the class described by T, and equal U, V, and W
(=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH) ?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) ?YEAR)
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))		 People.kif 272-298 If X is an instance of the year Y and equal the deaths per thousand live births of Z, X, and W, then equal V and the number of instances in the class described by U, equal V, 1000, and T, equal S and the number of instances in the class described by R, and equal S, T, and W
(=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (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) ?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 344-376 If X is an instance of the year Y and equal the life expectancy at birth of Z, X, and W, then All of the following hold: (1) there exist V, U,, , T,, , S,, , R (2) Q such that V is an instance of list (3) length of V is an instance of U (4) P P is a member of VP is an instance of T (5) there doesn't exist O such that O is an instance of T (6) O is not a member of V (7) equal U (8) the number of instances in the class described by T (9) W is an average of V
(=>
    (and
        (instance ?Y
            (YearFn ?YEAR))
        (equal
            (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (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) ?Y)
                                        (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 391-424 If X is an instance of the year Y and equal the male life expectancy at birth of Z, X, and W, then All of the following hold: (1) there exist V, U,, , T,, , S,, , R (2) Q such that V is an instance of list (3) length of V is an instance of U (4) P P is a member of VP is an instance of T (5) there doesn't exist O such that O is an instance of T (6) O is not a member of V (7) equal U (8) the number of instances in the class described by T (9) W is an average of V
(=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (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) ?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 437-470 If X is an instance of the year Y and equal the female life expectancy at birth of Z, X, and W, then All of the following hold: (1) there exist V, U,, , T,, , S,, , R (2) Q such that V is an instance of list (3) length of V is an instance of U (4) P P is a member of VP is an instance of T (5) there doesn't exist O such that O is an instance of T (6) O is not a member of V (7) equal U (8) the number of instances in the class described by T (9) W is an average of V
(=>
    (and
        (attribute ?G ToxicandInfectiousSubstance)
        (or
            (instance ?G Substance)
            (instance ?G Microorganism)))
    (exists (?O ?P ?I ?CLASS)
        (and
            (or
                (instance ?O Human)
                (instance ?O Animal))
            (orientation ?G ?O Near)
            (or
                (instance ?P Inhaling)
                (instance ?P Ingesting)
                (instance ?P Touching))
            (agent ?P ?O)
            (patient ?P ?G)
            (causes ?P ?I)
            (patient ?I ?O)
            (instance ?I ?CLASS)
            (capability ?CLASS resource ?G)
            (or
                (subclass ?CLASS Injuring)
                (subclass ?CLASS Death)))))		 Transportation.kif 4743-4767 If toxic and infectious substance is an attribute of X and X is an instance of substance or X is an instance of microorganism, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of human or Y is an instance of animal (3) X is near to Y (4) Z is an instance of inhaling or Z is an instance of ingesting or Z is an instance of touching (5) Y is an agent of Z (6) X is a patient of Z (7) Z causes W (8) Y is a patient of W (9) W is an instance of V (10) X is capable of doing V as a resource (11) V is a subclass of injuring or V is a subclass of death
(=>
    (diseaseMortality ?DISEASE ?RATE)
    (exists (?ORGANISM)
        (and
            (instance ?ORGANISM Organism)
            (conditionalProbability
                (attribute ?ORGANISM ?DISEASE)
                (exists (?DEATH)
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?ORGANISM))) ?RATE))))		 WMD.kif 885-895 If X is a disease mortality of Y, then there exists Z such that Z is an instance of organism, probability of Y is an attribute of Z provided that there exists W such that W is an instance of death, and Z experiences W holds is X
(=>
    (and
        (instance ?DISEASE LifeThreateningDisease)
        (attribute ?AGENT ?DISEASE))
    (capability Death experiencer ?AGENT))		 WMD.kif 1025-1029 If X is an instance of life threatening disease and X is an attribute of Y, then Y is capable of doing death as a experiencer


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners