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 MaleLifeExpectancyAtBirthFn 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 average the list and the real number
(<=>     (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 BirthsPerThousandFn a geopolitical area and the year and another integer if and only if equal PopulationFn the geopolitical area and 1000 and a third integer and equal a fourth integer and the number of instances in the class described by a symbolic string and equal the fourth integer and the third integer and the other integer
(<=>     (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 DeathsPerThousandFn a geopolitical area and the year and another integer if and only if equal PopulationFn the geopolitical area and 1000 and a third integer and equal a fourth integer and the number of instances in the class described by a symbolic string and equal the fourth integer and the third integer and the other integer
(<=>     (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 DeathsPerThousandLiveBirthsFn a geopolitical area and the year and another integer if and only if equal a third integer and the number of instances in the class described by a symbolic string and equal the third integer and 1000 and a fourth integer and equal a fifth integer and the number of instances in the class described by another symbolic string and equal the fifth integer and the fourth integer and the other integer
(<=>     (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 FemaleLifeExpectancyAtBirthFn 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 average the list and the real number
(<=>     (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 LifeExpectancyAtBirthFn 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 average the list and the real number
(<=>     (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 involvedInEvent the process and the entity and involvedInEvent the process and the entity2
(<=>     (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 an integer, 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 FullyFormed 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 UnitOfCurrency and the fifth entity is greater than the integer 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 firstTimeBuyers a time interval, a WebSite and a collection 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 eCommerceSite the financial transaction and the WebSite 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 firstTimeSellers a time interval, a WebSite and a collection 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 eCommerceSite the financial transaction and the WebSite 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 actionTendency the emotional state and a kind of EmotionalBehavioralProcess, then the statement there exists another entity such that the other entity is an instance of a kind of EmotionalBehavioralProcess 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 AVPUPainStatus 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 AVPUVerbalStatus 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 engineIdleSpeed an InternalCombustionEngine and the function quantity and another object is an instance of Automobile and the InternalCombustionEngine is a part of the other object and the object is a part of the InternalCombustionEngine, 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 BodySegment and another object is an instance of BodySegment and the object is connected to the other object and a motion is an instance of body motion and moves the motion and the object, then the statement there doesn't exist the motion2 such that the motion2 is an instance of body motion and moves the motion2 and the other object 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 CavalryUnit 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 AfternoonFn 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 EveningFn 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 MorningFn 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 EngineCycle and an object is an instance of InternalCombustionEngine and another object is an instance of CombustionChamber and the other object is a part of the object and event located the process and the object and an entity is an instance of UnitOfVolume and maxCylinderVolume the object and 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 EngineCycle and an object is an instance of InternalCombustionEngine and another object is an instance of CombustionChamber and the other object is a part of the object and event located the process and the object and an entity is an instance of UnitOfVolume and minCylinderVolume the object and 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 EngineCycle and an Engine is an instance of InternalCombustionEngine and an object is an instance of Piston and an unit of measure is an instance of UnitOfLength and the object is a part of the Engine and the object is a patient of the process and event located the process and the Engine and pistonStroke the Engine and 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 ExperiencingDiscomfortInTheStomach 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