Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| ! [V__DEATH : $i,V__ORG : $i] : (((s__instance(V__DEATH, s__Death) & s__instance(V__ORG, s__Organism) & s__experiencer(V__DEATH, V__ORG)) => ( ? [V__REM:$i, V__OBJ:$i] : ((s__result(V__DEATH, V__REM) & s__instance(V__REM, s__OrganicObject) & s__holdsDuring(s__FutureFn(s__WhenFn(V__DEATH)), s__attribute(V__REM, s__Dead)) & (s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__DEATH)), s__part(V__OBJ, V__REM)) => s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__DEATH)), s__part(V__OBJ, V__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 |
| ! [V__REM,V__DEATH,V__ORG] : (((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 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 |
| ! [V__DEATH : $i,V__OBJ : $i,V__ORG : $i,V__REM : $i,V__T1 : $i,V__T2 : $i] : (((s__instance(V__DEATH, s__Death) & s__instance(V__REM, s__OrganismRemains) & s__instance(V__ORG, s__Organism) & s__holdsDuring(V__T2, s__part(V__OBJ, V__REM)) & s__holdsDuring(V__T1, s__part(V__OBJ, V__ORG)) & s__earlier(V__T1, V__T2) & s__result(V__DEATH, V__REM)) => s__experiencer(V__DEATH, V__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 |
| ! [V__DEATH : $i,V__OBJ : $i,V__ORG : $i,V__REM : $i,V__T1 : $i,V__T2 : $i] : (((s__instance(V__DEATH, s__Death) & s__instance(V__REM, s__OrganismRemains) & s__instance(V__ORG, s__Organism) & s__holdsDuring(V__T2, s__part(V__OBJ, V__REM)) & s__holdsDuring(V__T1, s__part(V__OBJ, V__ORG)) & s__earlier(V__T1, V__T2) & s__experiencer(V__DEATH, V__ORG)) => s__result(V__DEATH, V__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 |
| ! [V__ORGTYPE,V__ORG,V__REM,V__DEATH] : (((s__instance(V__ORGTYPE,s__Class) & s__subclass(V__ORGTYPE,s__OrganicObject) & s__instance(V__ORG,s__AutonomousAgent)) => ((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 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 |
| ! [V__ORG,V__ORGTYPE,V__REM,V__DEATH] : (((s__instance(V__ORG,s__AutonomousAgent) & s__instance(V__ORGTYPE,s__Class) & s__subclass(V__ORGTYPE,s__OrganicObject)) => ((s__instance(V__REM,s__OrganismRemains) & s__instance(V__DEATH,s__Death) & s__experiencer(V__DEATH,V__ORG) & s__instance(V__ORG,V__ORGTYPE) & s__subclass(V__ORGTYPE,s__OrganicObject) & s__result(V__DEATH,V__REM)) => s__instance(V__REM,s__DeadFn(V__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 |
| ! [V__A : $i,V__D : $i,V__TEXT : $i] : (((s__instance(V__TEXT, s__DeathCertificate) & s__instance(V__D, s__Death) & s__instance(V__A, s__Human) & s__experiencer(V__D, V__A)) => s__containsFormula(V__TEXT, ( ? [V__DAY:$i, V__P:$i, V__N:$i, V__PROC:$i] : ((s__deathdate(V__A, V__DAY) & s__instance(V__DAY, s__Day) & s__deathplace(V__A, V__P) & s__instance(V__P, s__GeographicArea) & s__represents(V__N, V__A) & s__instance(V__N, s__Name) & s__causes(V__PROC, V__D) & s__instance(V__PROC, s__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 |
| ! [V__B : $i,V__D : $i,V__H : $i,V__P : $i] : (((s__instance(V__B, s__Bleeding) & s__instance(V__D, s__Death) & s__instance(V__H, s__Human) & s__instance(V__P, s__Human) & s__experiencer(V__B, V__P) & s__orientation(V__H, V__P, s__Near) & s__modalAttribute(s__causes(V__B, V__D), s__Likely)) => s__holdsObligation(V__H, ( ? [V__A:$i] : ((s__instance(V__A, s__ApplyingTourniquet) & s__agent(V__A, V__H) & s__destination(V__A, V__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 |
| ! [V__AREA : $i,V__DEATH : $i,V__DEATHCOUNT : $int,V__PERSON : $i,V__REALNUMBER : $real,V__THOUSANDS : $real,V__Y : $int,V__YEAR : $i] : (((s__DivisionFn(s__PopulationFn(V__AREA), 1000) = V__THOUSANDS & V__DEATHCOUNT = s__CardinalityFn(s__KappaFn(V__DEATH, (s__instance(V__DEATH, s__Death) & s__experiencer(V__DEATH, V__PERSON) & s__instance(V__PERSON, s__Human) & s__during(s__WhenFn(V__DEATH), V__YEAR) & s__WhereFn(V__DEATH, s__WhenFn(V__DEATH)) = V__AREA))) & s__DivisionFn(V__DEATHCOUNT, V__THOUSANDS) = V__REALNUMBER) => (s__instance(V__YEAR, s__YearFn(V__Y)) & s__DeathsPerThousandFn(V__AREA, V__YEAR) = V__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 |
|
|
| ! [V__AGENT,V__BIRTH] : ((s__instance(V__AGENT,s__AutonomousAgent) => ((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 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 |
| ! [V__OBJ,V__KILL] : ((s__instance(V__OBJ,s__AutonomousAgent) => ((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 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 |
| ! [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 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 |
| ! [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 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 |
| ! [V__HEIR : $i,V__INHERIT : $i,V__PERSON : $i,V__PROPERTY : $i] : (((s__instance(V__INHERIT, s__Inheriting) & s__agent(V__INHERIT, V__HEIR) & s__instance(V__HEIR, s__Human) & s__origin(V__INHERIT, V__PERSON) & s__instance(V__PERSON, s__Human) & s__patient(V__INHERIT, V__PROPERTY) & s__instance(V__PROPERTY, s__Object)) => ( ? [V__DEATH:$i] : ((s__instance(V__DEATH, s__Death) & s__experiencer(V__DEATH, V__PERSON) & s__earlier(s__WhenFn(V__DEATH), s__WhenFn(V__INHERIT)) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__DEATH)), s__possesses(V__PERSON, V__PROPERTY)) & s__confersRight(V__PERSON, V__HEIR, s__possesses(V__HEIR, V__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 |
| ! [V__B : $i,V__H : $i,V__P : $i,V__PROP : $i] : (((s__instance(V__B, s__Bequeathing) & s__agent(V__B, V__P) & s__destination(V__B, V__H) & s__objectTransferred(V__B, V__PROP)) => ( ? [V__D:$i] : ((s__instance(V__D, s__Death) & s__experiencer(V__D, V__P) & s__earlier(s__WhenFn(V__D), s__WhenFn(V__B)) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__D)), s__possesses(V__P, V__PROP)) & s__confersNorm(s__possesses(V__H, V__PROP), s__Permission, V__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 |
| ! [V__H : $i,V__ICU : $i,V__T : $i] : ((s__holdsDuring(V__T, (s__instance(V__ICU, s__IntensiveCareUnit) & s__stays(V__H, V__ICU))) => s__modalAttribute(( ? [V__D:$i] : ((s__instance(V__D, s__Death) & s__finishes(s__WhenFn(V__D), V__T)))), s__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 |
| ! [V__O] : ((s__instance(V__O,s__Object) => (s__attribute(V__O,s__Mortal) => (s__instance(V__O,s__Organism) & s__capability(s__Death,s__experiencer,V__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 |
| ! [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 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 |
| ! [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 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 |
| ! [V__TEXT : $i] : ((s__instance(V__TEXT, s__DeathCertificate) => s__hasPurpose(V__TEXT, ( ? [V__D:$i, V__A:$i] : ((s__instance(V__D, s__Death) & s__instance(V__A, s__Human) & s__experiencer(V__D, V__A) & s__represents(V__TEXT, V__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 |
| ! [V__A : $i,V__H : $i] : (((s__instance(V__A, s__Anaphylaxis) & s__experiencer(V__A, V__H)) => s__modalAttribute(( ? [V__D:$i] : ((s__instance(V__D, s__Death) & s__experiencer(V__D, V__H) & s__causes(V__A, V__D)))), s__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 |
| ! [V__H : $i,V__N : $real,V__T : $i] : (((s__instance(V__T, s__TimePeriod) & s__duration(V__T, s__MeasureFn(V__N, s__MinuteDuration)) & ($greater(V__N,5.0)) & s__instance(V__H, s__Human) & ~(( ? [V__B:$i] : ((s__instance(V__B, s__Breathing) & s__during(s__WhenFn(V__B), V__T) & s__patient(V__B, V__H)))))) => s__modalAttribute(( ? [V__D:$i] : ((s__instance(V__D, s__Death) & s__experiencer(V__D, V__H) & s__meetsTemporally(V__T, s__WhenFn(V__D))))), s__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 |
| ! [V__AREA : $i,V__DEATH : $i,V__DEATHCOUNT : $int,V__PERSON : $i,V__REALNUMBER : $real,V__THOUSANDS : $real,V__Y : $int,V__YEAR : $i] : (((s__instance(V__YEAR, s__YearFn(V__Y)) & s__DeathsPerThousandFn(V__AREA, V__YEAR) = V__REALNUMBER) => (s__DivisionFn(s__PopulationFn(V__AREA), 1000) = V__THOUSANDS & V__DEATHCOUNT = s__CardinalityFn(s__KappaFn(V__DEATH, (s__instance(V__DEATH, s__Death) & s__experiencer(V__DEATH, V__PERSON) & s__instance(V__PERSON, s__Human) & s__during(s__WhenFn(V__DEATH), V__YEAR) & s__WhereFn(V__DEATH, s__WhenFn(V__DEATH)) = V__AREA))) & s__DivisionFn(V__DEATHCOUNT, V__THOUSANDS) = V__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 |
| ! [V__AGE : $int,V__AREA : $i,V__BIRTH : $i,V__BIRTHCOUNT : $int,V__DEATH : $i,V__INFANT : $i,V__INFANTDEATHCOUNT : $int,V__REALNUMBER : $real,V__THOUSANDSOFBIRTHS : $real,V__Y : $int,V__YEAR : $i] : (((s__instance(V__YEAR, s__YearFn(V__Y)) & s__DeathsPerThousandLiveBirthsFn(V__AREA, V__YEAR) = V__REALNUMBER) => (V__BIRTHCOUNT = s__CardinalityFn(s__KappaFn(V__BIRTH, (s__instance(V__BIRTH, s__Birth) & s__experiencer(V__BIRTH, V__INFANT) & s__instance(V__INFANT, s__Human) & s__during(s__WhenFn(V__BIRTH), V__YEAR) & s__WhereFn(V__BIRTH, s__WhenFn(V__BIRTH)) = V__AREA))) & s__DivisionFn(V__BIRTHCOUNT, 1000) = V__THOUSANDSOFBIRTHS & V__INFANTDEATHCOUNT = s__CardinalityFn(s__KappaFn(V__DEATH, (s__instance(V__DEATH, s__Death) & s__experiencer(V__DEATH, V__INFANT) & s__instance(V__INFANT, s__Human) & s__age(V__INFANT, s__MeasureFn(V__AGE, s__YearDuration)) & ($less(V__AGE,1)) & s__during(s__WhenFn(V__DEATH), V__YEAR) & s__WhereFn(V__DEATH, s__WhenFn(V__DEATH)) = V__AREA))) & s__DivisionFn(V__INFANTDEATHCOUNT, V__THOUSANDSOFBIRTHS) = V__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 |
| ! [V__AREA : $i,V__REALNUMBER : $real,V__Y : $int,V__YEAR : $i] : (((s__instance(V__YEAR, s__YearFn(V__Y)) & s__LifeExpectancyAtBirthFn(V__AREA, V__YEAR) = V__REALNUMBER) => ( ? [V__LIST:$i, V__COUNT:$int, V__LIFEEXPECTANCYAGE:$real, V__BIRTH:$i, V__INDIVIDUAL:$i, V__DEATH:$i] : ((s__instance(V__LIST, s__List) & s__instance(s__ListLengthFn(V__LIST),V__COUNT) & ( ! [V__LISTITEM:$i] : ((s__inList(V__LISTITEM, V__LIST) => (s__instance(V__LISTITEM, V__LIFEEXPECTANCYAGE) & ~(( ? [V__NUMBER:$i] : ((s__instance(V__NUMBER, V__LIFEEXPECTANCYAGE) & ~(s__inList(V__NUMBER, V__LIST)))))) & V__COUNT = s__CardinalityFn(s__KappaFn(V__LIFEEXPECTANCYAGE, (s__instance(V__BIRTH, s__Birth) & s__experiencer(V__BIRTH, V__INDIVIDUAL) & s__instance(V__INDIVIDUAL, s__Human) & s__during(s__WhenFn(V__BIRTH), V__YEAR) & s__WhereFn(V__BIRTH, s__WhenFn(V__BIRTH)) = V__AREA & s__instance(V__DEATH, s__Death) & s__experiencer(V__DEATH, V__INDIVIDUAL) & s__holdsDuring(s__WhenFn(V__DEATH), s__age(V__INDIVIDUAL, s__MeasureFn(V__LIFEEXPECTANCYAGE, s__YearDuration)))))))))) & s__average(V__LIST, V__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 |
| ! [V__AREA : $i,V__REALNUMBER : $real,V__Y : $i,V__YEAR : $int] : (((s__instance(V__Y, s__YearFn(V__YEAR)) & s__MaleLifeExpectancyAtBirthFn(V__AREA, V__Y) = V__REALNUMBER) => ( ? [V__LIST:$i, V__COUNT:$int, V__LIFEEXPECTANCYAGE:$real, V__BIRTH:$i, V__INDIVIDUAL:$i, V__DEATH:$i] : ((s__instance(V__LIST, s__List) & s__instance(s__ListLengthFn(V__LIST),V__COUNT) & ( ! [V__LISTITEM:$i] : ((s__inList(V__LISTITEM, V__LIST) => (s__instance(V__LISTITEM, V__LIFEEXPECTANCYAGE) & ~(( ? [V__NUMBER:$i] : ((s__instance(V__NUMBER, V__LIFEEXPECTANCYAGE) & ~(s__inList(V__NUMBER, V__LIST)))))) & V__COUNT = s__CardinalityFn(s__KappaFn(V__LIFEEXPECTANCYAGE, (s__instance(V__BIRTH, s__Birth) & s__experiencer(V__BIRTH, V__INDIVIDUAL) & s__instance(V__INDIVIDUAL, s__Human) & s__attribute(V__INDIVIDUAL, s__Male) & s__during(s__WhenFn(V__BIRTH), V__Y) & s__WhereFn(V__BIRTH, s__WhenFn(V__BIRTH)) = V__AREA & s__instance(V__DEATH, s__Death) & s__experiencer(V__DEATH, V__INDIVIDUAL) & s__holdsDuring(s__WhenFn(V__DEATH), s__age(V__INDIVIDUAL, s__MeasureFn(V__LIFEEXPECTANCYAGE, s__YearDuration)))))))))) & s__average(V__LIST, V__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 |
| ! [V__AREA : $i,V__REALNUMBER : $real,V__Y : $int,V__YEAR : $i] : (((s__instance(V__YEAR, s__YearFn(V__Y)) & s__FemaleLifeExpectancyAtBirthFn(V__AREA, V__YEAR) = V__REALNUMBER) => ( ? [V__LIST:$i, V__COUNT:$int, V__LIFEEXPECTANCYAGE:$real, V__BIRTH:$i, V__INDIVIDUAL:$i, V__DEATH:$i] : ((s__instance(V__LIST, s__List) & s__instance(s__ListLengthFn(V__LIST),V__COUNT) & ( ! [V__LISTITEM:$i] : ((s__inList(V__LISTITEM, V__LIST) => (s__instance(V__LISTITEM, V__LIFEEXPECTANCYAGE) & ~(( ? [V__NUMBER:$i] : ((s__instance(V__NUMBER, V__LIFEEXPECTANCYAGE) & ~(s__inList(V__NUMBER, V__LIST)))))) & V__COUNT = s__CardinalityFn(s__KappaFn(V__LIFEEXPECTANCYAGE, (s__instance(V__BIRTH, s__Birth) & s__experiencer(V__BIRTH, V__INDIVIDUAL) & s__instance(V__INDIVIDUAL, s__Human) & s__attribute(V__INDIVIDUAL, s__Female) & s__during(s__WhenFn(V__BIRTH), V__YEAR) & s__WhereFn(V__BIRTH, s__WhenFn(V__BIRTH)) = V__AREA & s__instance(V__DEATH, s__Death) & s__experiencer(V__DEATH, V__INDIVIDUAL) & s__holdsDuring(s__WhenFn(V__DEATH), s__age(V__INDIVIDUAL, s__MeasureFn(V__LIFEEXPECTANCYAGE, s__YearDuration)))))))))) & s__average(V__LIST, V__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 |
| ! [V__G] : (((s__attribute(V__G,s__ToxicandInfectiousSubstance) & (s__instance(V__G,s__Substance) | s__instance(V__G,s__Microorganism))) => (? [V__O,V__P,V__I,V__CLASS] : ((s__instance(V__I,s__Process) & s__instance(V__CLASS,s__Class) & s__subclass(V__CLASS,s__Process) & ((s__instance(V__O,s__Human) | s__instance(V__O,s__Animal)) & s__orientation(V__G,V__O,s__Near) & (s__instance(V__P,s__Inhaling) | s__instance(V__P,s__Ingesting) | s__instance(V__P,s__Touching)) & s__agent(V__P,V__O) & s__patient(V__P,V__G) & s__causes(V__P,V__I) & s__patient(V__I,V__O) & s__instance(V__I,V__CLASS) & s__capability(V__CLASS,s__resource,V__G) & (s__subclass(V__CLASS,s__Injuring) | s__subclass(V__CLASS,s__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 |
| ! [V__DISEASE : $i,V__RATE : $real] : ((s__diseaseMortality(V__DISEASE, V__RATE) => ( ? [V__ORGANISM:$i] : ((s__instance(V__ORGANISM, s__Organism) & s__conditionalProbability(s__attribute(V__ORGANISM, V__DISEASE), ( ? [V__DEATH:$i] : ((s__instance(V__DEATH, s__Death) & s__experiencer(V__DEATH, V__ORGANISM)))), V__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 |
| ! [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,V__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 |
|