consequent

(<=>     (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 357-390	A year is an instance of the year the yearEAR and equal the male life expectancy at birth of a geopolitical area and the year and a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and equal the other integer and the number of instances in the class described by the symbolic string and the real number is an average of the list
(<=>     (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 118-133	A year is an instance of the year an integer and equal the deaths per thousand of a geopolitical area and the year and a real number if and only if equal the population of the geopolitical area and 1000 and another real number and equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and the other real number and the real number
(<=>     (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 238-264	A year is an instance of the year an integer and equal the deaths per thousand live births of a geopolitical area and the year and a real number if and only if equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and 1000 and another real number and equal a third integer and the number of instances in the class described by another symbolic string and equal the third integer and the other real number and the real number
(<=>     (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 403-436	A year is an instance of the year an integer and equal the female life expectancy at birth of a geopolitical area and the year and a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and equal the other integer and the number of instances in the class described by the symbolic string and the real number is an average of the list
(<=>     (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 310-342	A year is an instance of the year an integer and equal the life expectancy at birth of a geopolitical area and the year and a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and equal the other integer and the number of instances in the class described by the symbolic string and the real number is an average of the list
(=>     (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 4199-4223	If toxic and infectious substance is an attribute of an object and the object is an instance of substance or the object is an instance of microorganism, then there exist an agent, a process,, , another process and a third kind of process such that the agent is an instance of human or the agent is an instance of animal and the object is near to the agent and the process is an instance of inhaling or the process is an instance of ingesting or the process is an instance of touching and the agent is an agent of the process and the object is a patient of the process and the process causes the other process and the agent is a patient of the other process and the other process is an instance of a third kind of process and the object is capable of doing the third kind of process as a resource and the third kind of process is a subclass of injuring or the third kind of process is a subclass of death
(=>     (and         (instance ?A Anaphylaxis)         (experiencer ?A ?H))     (modalAttribute         (exists (?D)             (and                 (instance ?D Death)                 (experiencer ?D ?H)                 (causes ?A ?D))) Possibility))	Medicine.kif 1538-1548	If a process is an instance of anaphylaxis and an agent experiences the process, then the statement there exists an entity such that the entity is an instance of death and the agent experiences the entity and the process causes the entity has the modal force of possibility
(=>     (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 20239-20255	If a transfer is an instance of bequeathing and an agent is an agent of the transfer and the transfer ends up at an entity and the object transferred in the transfer is the agentROP, then there exists a process such that the process is an instance of death and the agent experiences the process and the time of existence of the process happens earlier than the time of existence of the transfer and the agent possesses the agentROP holds during immediately before the time of existence of the process and the agent confers norm the entity possesses the agentROP for permission
(=>     (and         (instance ?BIRTH Birth)         (experiencer ?BIRTH ?AGENT))     (exists (?DEATH)         (and             (instance ?DEATH Death)             (experiencer ?DEATH ?AGENT))))	Merge.kif 10359-10366	If a process is an instance of birth and an agent experiences the process, then there exists another process such that the other process is an instance of death and the agent experiences the other process
(=>     (and         (instance ?DISEASE LifeThreateningDisease)         (attribute ?AGENT ?DISEASE))     (capability Death experiencer ?AGENT))	WMD.kif 1029-1033	If an attribute is an instance of life threatening disease and the attribute is an attribute of an object, then the object is capable of doing death as a experiencer
(=>     (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                 (possesses ?HEIR ?PROPERTY) ?PERSON ?HEIR))))	Mid-level-ontology.kif 20178-20199	If a process is an instance of inheriting and a cognitive agent is an agent of the process and the cognitive agent is an instance of human and the process originates at an agent and the agent is an instance of human and an entity is a patient of the process and the entity is an instance of object, then there exists another process such that the other process is an instance of death and the agent experiences the other process and the time of existence of the other process happens earlier than the time of existence of the process and the agent possesses the entity holds during immediately before the time of existence of the other process and the agent allows the cognitive agent to perform task of the type the cognitive agent possesses the entity
(=>     (and         (instance ?KILL Killing)         (patient ?KILL ?OBJ))     (exists (?DEATH)         (and             (instance ?DEATH Death)             (experiencer ?DEATH ?OBJ)             (causes ?KILL ?DEATH))))	Merge.kif 12485-12493	If a process is an instance of killing and an agent is a patient of the process, then there exists another process such that the other process is an instance of death and the agent experiences the other process and the process causes the other process
(=>     (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 6015-6035	If a time interval is an instance of TimePeriod and duration of the time interval is a real number minute duration(s) and the real number is greater than 5.0 and an entity is an instance of human and there doesn't exist a process such that the process is an instance of breathing and the time of existence of the process takes place during the time interval and the entity is a patient of the process, then the statement there exists another entity such that the other entity is an instance of death and the entity experiences the other entity and the time interval meets the time of existence of the other entity has the modal force of likely
(=>     (attribute ?O Mortal)     (and         (instance ?O Organism)         (capability Death experiencer ?O)))	Mid-level-ontology.kif 25920-25924	If mortal is an attribute of an object, then the object is an instance of organism and the object 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 25937-25943	If a day is a deathdate of a human, then there exists a process such that the process is an instance of death and the human experiences the process and date of the process is the day
(=>     (deathplace ?P ?L)     (exists (?D)         (and             (instance ?D Death)             (experiencer ?D ?P)             (eventLocated ?D ?L))))	Mid-level-ontology.kif 25953-25959	If an object is a deathplace of an animal, then there exists a process such that the process is an instance of death and the animal experiences the process and the process is located at the object
(=>     (diseaseMortality ?DISEASE ?RATE)     (conditionalProbability         (exists (?ORGANISM)             (and                 (instance ?ORGANISM Organism)                 (attribute ?ORGANISM ?DISEASE)))         (exists (?DEATH)             (and                 (instance ?DEATH Death)                 (experiencer ?DEATH ?ORGANISM))) ?RATE))	WMD.kif 890-900	If a real number is a disease mortality of a disease or syndrome, then probability of there exists an entity such that the entity is an instance of organism and the disease or syndrome is an attribute of the entity provided that there exists another entity such that the other entity is an instance of death and the entity experiences the other entity holds is the real number
(=>     (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 22176-22186	If an entity is an instance of ICU and another entity stays at the entity holds during a time position, then the statement there exists a third entity such that the third entity is an instance of death and the time of existence of the third entity finishes the time position has the modal force of possibility
(=>     (instance ?F Funeral)     (exists (?D)         (and             (instance ?D Death)             (refers ?F ?D))))	Mid-level-ontology.kif 17380-17385	If an entity is an instance of funeral, then there exists another entity such that the other entity is an instance of death and the entity includes a reference to the other entity
(=>     (instance ?REM OrganismRemains)     (exists (?DEATH)         (and             (instance ?DEATH Death)             (result ?DEATH ?REM))))	Mid-level-ontology.kif 67-72	If an entity is an instance of organism remains, then there exists a process such that the process is an instance of death and the entity is a result of the process
(=>     (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 a physical is an instance of death certificate, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of death and the other entity is an instance of human and the other entity experiences the entity and the physical expresses the entity

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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