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             (BirthsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))     (and         (equal             (DivisionFn                 (PopulationFn ?AREA) 1000) ?THOUSANDS)         (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 ?THOUSANDS) ?REALNUMBER)))	People.kif 82-97	A year is an instance of the year an integer and equal the births 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             (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
(<=>     (holdsDuring ?T         (attribute ?H Alone))     (not         (exists (?H2 ?SI)             (and                 (not                     (equal ?H ?H2))                 (instance ?H2 AutonomousAgent)                 (instance ?SI SocialInteraction)                 (during                     (WhenFn ?SI) ?T)                 (involvedInEvent ?SI ?H)                 (involvedInEvent ?SI ?H2)))))	Mid-level-ontology.kif 32127-32140	Alone is an attribute of an entity holds during a time interval if and only if there don't exist the entity2 and a process such that equal the entity and the entity2 and the entity2 is an instance of agent and the process is an instance of social interaction and the time of existence of the process takes place during the time interval and the entity is an involved in event of the process and the entity2 is an involved in event of the process
(<=>     (holdsDuring ?T         (attribute ?P Mute))     (not         (exists (?S)             (and                 (instance ?S Speaking)                 (during                     (WhenFn ?S) ?T)                 (agent ?S ?P)))))	Mid-level-ontology.kif 32175-32183	Mute is an attribute of an agent holds during a time interval if and only if there doesn't exist a process such that the process is an instance of speaking and the time of existence of the process takes place during the time interval and the agent is an agent of the process
(=>     (and         (attribute ?H Muslim)         (equal             (WealthFn ?H) ?W))     (modalAttribute         (exists (?Z ?T ?U ?Y ?C)             (and                 (instance ?Z Zakat)                 (instance ?Y Year)                 (during ?Y                     (WhenFn ?H))                 (holdsDuring ?Y                     (attribute ?H FullyFormed))                 (agent ?Z ?H)                 (patient ?Z ?T)                 (monetaryValue ?T                     (MeasureFn ?C ?U))                 (instance ?U UnitOfCurrency)                 (greaterThan ?C                     (MultiplicationFn ?W 0.025)))) Obligation))	ArabicCulture.kif 204-223	If muslim is an attribute of an agent and equal value of belongings of the agent and a currency measure, then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of zakat and the fourth entity is an instance of year and the fourth entity takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the fourth entity and the agent is an agent of the entity and the other entity is a patient of the entity and value of the other entity is the fifth entity the third entity(s) and the third entity is an instance of unit of currency and the fifth entity is greater than the currency measure and 0.025 has the modal force of obligation
(=>     (and         (firstTimeBuyers ?INT ?SITE ?COLL)         (member ?MEMBER ?COLL))     (exists (?BUYING)         (and             (instance ?BUYING Buying)             (agent ?BUYING ?MEMBER)             (eCommerceSite ?BUYING ?SITE)             (during                 (WhenFn ?BUYING) ?INT))))	UXExperimentalTerms.kif 3533-3542	If a collection are first time buyers on a web site during a time interval and an agent is a member of the collection, then there exists a financial transaction such that the financial transaction is an instance of buying and the agent is an agent of the financial transaction and the web site facilitates the financial transaction and the time of existence of the financial transaction takes place during the time interval
(=>     (and         (firstTimeSellers ?INT ?SITE ?COLL)         (member ?MEMBER ?COLL))     (exists (?SELLING)         (and             (instance ?SELLING Selling)             (agent ?SELLING ?MEMBER)             (eCommerceSite ?SELLING ?SITE)             (during                 (WhenFn ?SELLING) ?INT))))	UXExperimentalTerms.kif 3581-3590	If a collection are first time sellers on a web site during a time interval and an agent is a member of the collection, then there exists a financial transaction such that the financial transaction is an instance of selling and the agent is an agent of the financial transaction and the web site facilitates the financial transaction and the time of existence of the financial transaction takes place during the time interval
(=>     (and         (holdsDuring ?T             (attribute ?A ?ES))         (actionTendency ?ES ?PI))     (modalAttribute         (exists (?P)             (and                 (instance ?P ?PI)                 (during                     (WhenFn ?P) ?T)                 (experiencer ?P ?A))) Likely))	emotion.kif 161-172	If an emotional state is an attribute of an entity holds during a time position and action tendency the emotional state and a kind of emotional behavioral process, then the statement there exists another entity such that the other entity is an instance of a kind of emotional behavioral process and the time of existence of the other entity takes place during the time position and the entity experiences the other entity has the modal force of likely
(=>     (and         (holdsDuring ?T             (attribute ?H AVPUPainStatus))         (instance ?P Pain)         (during             (WhenFn ?P) ?T)         (experiencer ?P ?H))     (exists (?BM)         (and             (instance ?BM BodyMotion)             (experiencer ?BM ?H)             (during                 (WhenFn ?BM) ?T)             (causes ?P ?BM))))	Medicine.kif 6489-6501	If AVPU pain status is an attribute of an agent holds during a time interval and a process is an instance of pain and the time of existence of the process takes place during the time interval and the agent experiences the process, then there exists another process such that the other process is an instance of body motion and the agent experiences the other process and the time of existence of the other process takes place during the time interval and the process causes the other process
(=>     (and         (holdsDuring ?T             (attribute ?H AVPUVerbalStatus))         (instance ?S Speaking)         (destination ?S ?H)         (during             (WhenFn ?S) ?T))     (exists (?IA)         (and             (instance ?IA IntentionalProcess)             (agent ?IA ?H)             (during                 (WhenFn ?IA) ?T)             (causes ?S ?IA))))	Medicine.kif 6466-6478	If AVPU verbal status is an attribute of an agent holds during a time interval and a process is an instance of speaking and the process ends up at the agent and the time of existence of the process takes place during the time interval, then there exists another process such that the other process is an instance of intentional process and the agent is an agent of the other process and the time of existence of the other process takes place during the time interval and the process causes the other process
(=>     (and         (holdsDuring ?T             (measure ?C ?S))         (engineIdleSpeed ?E ?S)         (instance ?A Automobile)         (part ?E ?A)         (part ?C ?E))     (modalAttribute         (not             (exists (?P ?GP)                 (and                     (during ?P ?T)                     (instance ?P Pushing)                     (destination ?P ?GP)                     (part ?GP ?A)))) Likely))	Cars.kif 2551-2567	If the measure of an object is a function quantity holds during a time position and the idle speed of an internal combustion engine is the function quantity and another object is an instance of automobile and the internal combustion engine is a part of the other object and the object is a part of the internal combustion engine, then the statement there don't exist an entity and another entity such that the entity takes place during the time position and the entity is an instance of pushing and the entity ends up at the other entity and the other entity is a part of the other object has the modal force of likely
(=>     (and         (instance ?A AutonomousAgent)         (holdsDuring ?T             (attribute ?A Motionless)))     (not         (exists (?P)             (and                 (instance ?P BodyMotion)                 (instance ?P IntentionalProcess)                 (agent ?P ?A)                 (during                     (WhenFn ?P) ?T)))))	Mid-level-ontology.kif 32146-32157	If an agent is an instance of agent and motionless is an attribute of the agent holds during a time interval, then there doesn't exist a process such that the process is an instance of body motion and the process is an instance of intentional process and the agent is an agent of the process and the time of existence of the process takes place during the time interval
(=>     (and         (instance ?BS1 BodySegment)         (instance ?BS2 BodySegment)         (connected ?BS1 ?BS2)         (instance ?BM BodyMotion)         (moves ?BM ?BS1))     (modalAttribute         (not             (exists (?BM2)                 (and                     (instance ?BM2 BodyMotion)                     (moves ?BM2 ?BS2)                     (during                         (WhenFn ?BM2)                         (WhenFn ?BM))))) Possibility))	Mid-level-ontology.kif 11902-11918	If an object is an instance of body segment and another object is an instance of body segment and the object is connected to the other object and a motion is an instance of body motion and the object moves during the motion, then the statement there doesn't exist the motion2 such that the motion2 is an instance of body motion and the other object moves during the motion2 and the time of existence of the motion2 takes place during the time of existence of the motion has the modal force of possibility
(=>     (and         (instance ?C CavalryUnit)         (instance ?B Battle)         (agent ?B ?C))     (exists (?P ?V ?T)         (and             (attribute ?P Soldier)             (member ?P ?C)             (instance ?T Transportation)             (agent ?T ?P)             (instance ?V Vehicle)             (patient ?T ?V)             (during ?T ?B))))	Mid-level-ontology.kif 9588-9601	If an agent is an instance of cavalry unit and a time interval is an instance of battle and the agent is an agent of the time interval, then there exist another agent, an entity and another time interval such that soldier is an attribute of the other agent and the other agent is a member of the agent and the other time interval is an instance of transportation and the other agent is an agent of the other time interval and the entity is an instance of vehicle and the entity is a patient of the other time interval and the other time interval takes place during the time interval
(=>     (and         (instance ?E Afternoon)         (instance ?D Day)         (equal ?E             (AfternoonFn ?D)))     (during ?E ?D))	Merge.kif 8975-8980	If an afternoon is an instance of afternoon and a day is an instance of day and equal the afternoon and the afternoon of the day, then the afternoon takes place during the day
(=>     (and         (instance ?E Evening)         (instance ?D Day)         (equal ?E             (EveningFn ?D)))     (during ?E ?D))	Merge.kif 9075-9080	If an evening is an instance of evening and a day is an instance of day and equal the evening and the evening of the day, then the evening takes place during the day
(=>     (and         (instance ?E Morning)         (instance ?D Day)         (equal ?E             (MorningFn ?D)))     (during ?E ?D))	Merge.kif 8959-8964	If a morning is an instance of morning and a day is an instance of day and equal the morning and the morning of the day, then the morning takes place during the day
(=>     (and         (instance ?EC EngineCycle)         (instance ?E InternalCombustionEngine)         (instance ?CC CombustionChamber)         (part ?CC ?E)         (eventLocated ?EC ?E)         (instance ?U UnitOfVolume)         (holdsDuring             (WhenFn ?EC)             (maxCylinderVolume ?E                 (MeasureFn ?V1 ?U))))     (not         (exists (?V2 ?T)             (and                 (during ?T                     (WhenFn ?EC))                 (holdsDuring ?T                     (measure ?CC                         (MeasureFn ?V2 ?U)))                 (greaterThan ?V2 ?V1)))))	Cars.kif 1882-1901	If a process is an instance of engine cycle and an object is an instance of internal combustion engine and another object is an instance of combustion chamber and the other object is a part of the object and the process is located at the object and an entity is an instance of unit of volume and the maximum volume of the cylinders in the engine the object is a real number the entity(s) holds during the time of existence of the process, then there don't exist another real number and a time interval such that the time interval takes place during the time of existence of the process and the measure of the other object is the other real number the entity(s) holds during the time interval and the other real number is greater than the real number
(=>     (and         (instance ?EC EngineCycle)         (instance ?E InternalCombustionEngine)         (instance ?CC CombustionChamber)         (part ?CC ?E)         (eventLocated ?EC ?E)         (instance ?U UnitOfVolume)         (holdsDuring             (WhenFn ?EC)             (minCylinderVolume ?E                 (MeasureFn ?V1 ?U))))     (not         (exists (?V2 ?T)             (and                 (during ?T                     (WhenFn ?EC))                 (holdsDuring ?T                     (measure ?CC                         (MeasureFn ?V2 ?U)))                 (greaterThan ?V1 ?V2)))))	Cars.kif 1852-1871	If a process is an instance of engine cycle and an object is an instance of internal combustion engine and another object is an instance of combustion chamber and the other object is a part of the object and the process is located at the object and an entity is an instance of unit of volume and the minimum volume of the cylinders in the engine the object is a real number the entity(s) holds during the time of existence of the process, then there don't exist another real number and a time interval such that the time interval takes place during the time of existence of the process and the measure of the other object is the other real number the entity(s) holds during the time interval and the real number is greater than the other real number
(=>     (and         (instance ?EC EngineCycle)         (instance ?E InternalCombustionEngine)         (instance ?P Piston)         (instance ?U UnitOfLength)         (part ?P ?E)         (patient ?EC ?P)         (eventLocated ?EC ?E)         (pistonStroke ?E             (MeasureFn ?LM ?U)))     (not         (exists (?T1 ?T2 ?L1 ?L2 ?D)             (and                 (during ?T1                     (WhenFn ?EC))                 (during ?T2                     (WhenFn ?EC))                 (holdsDuring ?T1                     (located ?P ?L1))                 (holdsDuring ?T2                     (located ?P ?L2))                 (distance ?L1 ?L2                     (MeasureFn ?D ?U))                 (greaterThan ?D ?LM)))))	Cars.kif 1927-1949	If a process is an instance of engine cycle and an engine is an instance of internal combustion engine and an object is an instance of piston and an unit of measure is an instance of unit of length and the object is a part of the engine and the object is a patient of the process and the process is located at the engine and the maximum distance that the pistons of engine the engine travel is a real number the unit of measure(s), then there don't exist a time interval, another time interval,, , a physical,, , another physical and another real number such that the time interval takes place during the time of existence of the process and the other time interval takes place during the time of existence of the process and the object is located at the physical holds during the time interval and the object is located at the other physical holds during the other time interval and the distance between the physical and the other physical is the other real number the unit of measure(s) and the other real number is greater than the real number
(=>     (and         (instance ?ELT ExperiencingDiscomfortInTheStomach)         (experiencer ?ELT ?A))     (exists (?P ?PAIN ?T)         (and             (instance ?P Perception)             (during                 (WhenFn ?P)                 (WhenFn ?PAIN))             (instance ?PAIN Pain)             (experiencer ?PAIN ?A)             (subProcess ?P ?ELT)             (agent ?P ?A)             (patient ?P ?T)             (instance ?T Stomach)             (part ?T ?A))))	emotion.kif 1583-1597	If a process is an instance of experiencing discomfort in the stomach and an agent experiences the process, then there exist another process, the other processAIN and an object such that the other process is an instance of perception and the time of existence of the other process takes place during the time of existence of the other processAIN and the other processAIN is an instance of pain and the agent experiences the other processAIN and the other process is a subprocess of the process and the agent is an agent of the other process and the object is a patient of the other process and the object is an instance of stomach and the object is a part of the agent
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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