(=>     (and         (instance ?N Nausea)         (experiencer ?N ?H))     (believes ?H         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?N))             (exists (?V)                 (and                     (instance ?V Vomiting)                     (experiencer ?V ?H))))))	Mid-level-ontology.kif 21432-21443	If a process is an instance of nausea and a cognitive agent experiences the process, then the cognitive agent believes there exists an entity such that the entity is an instance of vomiting and the cognitive agent experiences the entity holds during immediately after the time of existence of the process
(=>     (and         (instance ?P CeliacDisease)         (experiencer ?P ?H1)         (instance ?SI SmallIntestine)         (part ?SI ?H1))     (modalAttribute         (exists (?D)             (and                 (instance ?D Diarrhoea)                 (experiencer ?D ?H1)                 (causes ?P ?D))) Likely))	Medicine.kif 2735-2747	If a process is an instance of coeliac disease and an agent experiences the process and an object is an instance of small intestine and the object is a part of the agent, then the statement there exists an entity such that the entity is an instance of Diarrhoea and the agent experiences the entity and the process causes the entity has the modal force of likely
(=>     (and         (instance ?P CeliacDisease)         (experiencer ?P ?H1)         (instance ?SI SmallIntestine)         (part ?SI ?H1))     (modalAttribute         (located ?P ?SI) Likely))	Medicine.kif 2725-2733	If a process is an instance of coeliac disease and an agent experiences the process and an object is an instance of small intestine and the object is a part of the agent, then the statement the process is located at the object has the modal force of likely
(=>     (and         (instance ?P HeartPalpitations)         (experiencer ?P ?H)         (instance ?HEART Heart)         (part ?HEART ?H))     (exists (?PER)         (and             (instance ?PER Perception)             (experiencer ?PER ?H)             (patient ?PER ?HEART))))	Medicine.kif 2060-2070	If a process is an instance of palpitations and an agent experiences the process and the agentEART is an instance of heart and the agentEART is a part of the agent, then there exists the processER such that the processER is an instance of perception and the agent experiences the processER and the agentEART is a patient of the processER
(=>     (and         (instance ?P HeartPalpitations)         (experiencer ?P ?H))     (exists (?HEART)         (and             (instance ?HEART Heart)             (part ?HEART ?H)             (located ?P ?HEART))))	Medicine.kif 2072-2080	If a process is an instance of palpitations and an agent experiences the process, then there exists the agentEART such that the agentEART is an instance of heart and the agentEART is a part of the agent and the process is located at the agentEART
(=>     (and         (instance ?P PerniciousAnemia)         (experiencer ?P ?H1)         (amount VitaminB12 ?H1             (MeasureFn ?N1 ?U))         (amount VitaminB12 ?H2             (MeasureFn ?N2 ?U))         (attribute ?H2 Healthy)         (not             (equal ?H1 ?H2)))     (greaterThan ?N2 ?N1))	Medicine.kif 2695-2704	If a process is an instance of pernicious anemia and an agent experiences the process and amount cobalamin, the agent and a real number an unit of measure(s) and amount cobalamin, a corpuscular object and another real number the unit of measure(s) and healthy is an attribute of the corpuscular object and the agent is not equal to the corpuscular object, then the other real number is greater than the real number
(=>     (and         (instance ?P Perspiring)         (experiencer ?P ?A))     (exists (?H)         (and             (instance ?H Hand)             (part ?H ?A)             (destination ?P ?H))))	emotion.kif 1492-1500	If a process is an instance of sweating and an agent experiences the process, then there exists an object such that the object is an instance of hand and the object is a part of the agent and the process ends up at the object
(=>     (and         (instance ?P PerspiringWholeBody)         (experiencer ?P ?A))     (not         (exists (?B)             (and                 (instance ?B BodyPart)                 (part ?B ?A)                 (not                     (destination ?P ?B))))))	emotion.kif 1505-1515	If a process is an instance of perspiring (whole body) and an agent experiences the process, then there doesn't exist an object such that the object is an instance of body part and the object is a part of the agent and the process doesn't end up at the object
(=>     (and         (instance ?P Poison)         (instance ?I Ingesting)         (moves ?I ?P)         (experiencer ?I ?H))     (exists (?D)         (and             (instance ?D Damaging)             (experiencer ?D ?H)             (causes ?I ?D))))	Mid-level-ontology.kif 8600-8610	If an object is an instance of poison and a motion is an instance of ingesting and the object moves during the motion and an agent experiences the motion, then there exists a process such that the process is an instance of damaging and the agent experiences the process and the motion causes the process
(=>     (and         (instance ?P Poison)         (instance ?I Ingesting)         (moves ?I ?P)         (experiencer ?I ?H))     (modalAttribute         (holdsDuring             (FutureFn                 (WhenFn ?I))             (attribute ?H Blind)) Possibility))	Mid-level-ontology.kif 8624-8635	If an object is an instance of poison and a motion is an instance of ingesting and the object moves during the motion and an agent experiences the motion, then the statement blind is an attribute of the agent holds during after the time of existence of the motion has the modal force of possibility
(=>     (and         (instance ?PATH PathologicProcess)         (experiencer ?PATH ?ORG))     (exists (?PART ?DISEASE)         (and             (part ?PART ?ORG)             (instance ?DISEASE DiseaseOrSyndrome)             (attribute ?PART ?DISEASE))))	Merge.kif 10394-10402	If a process is an instance of pathologic process and an agent experiences the process, then there exist an object and an attribute such that the object is a part of the agent and the attribute is an instance of disease or syndrome and the attribute is an attribute of the object
(=>     (and         (instance ?PP PublicProgram)         (experiencer ?PP ?PUBLIC))     (hasPurpose ?PP         (exists (?HELPING)             (and                 (instance ?HELPING Helping)                 (experiencer ?HELPING ?PUBLIC)                 (instance ?PUBLIC Public)))))	MilitaryProcesses.kif 1383-1392	If a process is an instance of public program and an agent experiences the process, then the process has the purpose there exists an entity such that the entity is an instance of helping and the agent experiences the entity and the agent is an instance of public
(=>     (and         (instance ?PROC BiologicalProcess)         (experiencer ?PROC ?ORG))     (instance ?ORG Organism))	Merge.kif 10143-10147	If a process is an instance of biological process and an agent experiences the process, then the agent is an instance of organism
(=>     (and         (instance ?R RecoveringFromIllness)         (experiencer ?R ?A))     (exists (?D)         (and             (instance ?D DiseaseOrSyndrome)             (holdsDuring                 (BeginFn                     (WhenFn ?D))                 (attribute ?A ?D))             (holdsDuring                 (EndFn                     (WhenFn ?D))                 (not                     (attribute ?A ?D))))))	Mid-level-ontology.kif 6252-6265	If a process is an instance of recovering from illness and an agent experiences the process, then there exists a physical such that the physical is an instance of disease or syndrome and the physical is an attribute of the agent holds during the beginning of the time of existence of the physical and the physical is not an attribute of the agent holds during the end of the time of existence of the physical
(=>     (and         (instance ?R RecreationOrExercise)         (instrument ?R ?RM)         (instance ?RM RowingMachine)         (experiencer ?R ?H)         (instance ?ROW Rowing)         (subProcess ?RMOT ?R)         (subclass ?C BodyMotion)         (instance ?RMOT ?C))     (exists (?ROWMOT)         (and             (instance ?ROWMOT ?C)             (subProcess ?ROWMOT ?R)             (agent ?ROWMOT ?H))))	Mid-level-ontology.kif 8243-8257	If a process is an instance of recreation or exercise and the processM is an instrument for the process and the processM is an instance of ergometer and an agent experiences the process and the processOW is an instance of rowing and the processMOT is a subprocess of the process and a class is a subclass of body motion and the processMOT is an instance of the class, then there exists the processOWMOT such that the processOWMOT is an instance of the class and the processOWMOT is a subprocess of the process and the agent is an agent of the processOWMOT
(=>     (and         (instance ?REM             (DeadFn ?ORGTYPE))         (instance ?DEATH Death)         (result ?DEATH ?REM)         (experiencer ?DEATH ?ORG))     (instance ?ORG ?ORGTYPE))	Mid-level-ontology.kif 121-127	If an entity is an instance of a dead a kind of organic object and a process is an instance of death and the entity is a result of the process and an agent experiences the process, then the agent is an instance of a kind of organic object
(=>     (and         (instance ?REM OrganicObject)         (instance ?DEATH Death)         (instance ?ORG Organism)         (experiencer ?DEATH ?ORG)         (result ?DEATH ?REM))     (instance ?REM OrganismRemains))	Mid-level-ontology.kif 58-65	If an entity is an instance of organic object and a process is an instance of death and an agent is an instance of organism and the agent experiences the process and the entity is a result of the process, then the entity is an instance of organism remains
(=>     (and         (instance ?REM OrganismRemains)         (instance ?DEATH Death)         (experiencer ?DEATH ?ORG)         (instance ?ORG ?ORGTYPE)         (subclass ?ORGTYPE OrganicObject)         (result ?DEATH ?REM))     (instance ?REM         (DeadFn ?ORGTYPE)))	Mid-level-ontology.kif 129-137	If an entity is an instance of organism remains and a process is an instance of death and an agent experiences the process and the agent is an instance of the agentTYPE and the agentTYPE is a subclass of organic object and the entity is a result of the process, then the entity is an instance of a dead the agentTYPE
(=>     (and         (instance ?RETURN Returning)         (experiencer ?RETURN ?AGENT)         (destination ?RETURN ?DEST))     (exists (?TIME)         (and             (earlier ?TIME                 (WhenFn ?RETURN))             (holdsDuring ?TIME                 (located ?AGENT ?DEST)))))	Mid-level-ontology.kif 17266-17274	If a process is an instance of returning and an agent experiences the process and the process ends up at an entity, then there exists a time interval such that the time interval happens earlier than the time of existence of the process and the agent is located at the entity holds during the time interval
(=>     (and         (instance ?S AbsenceSeizure)         (experiencer ?S ?A))     (holdsDuring         (WhenFn ?S)         (not             (attribute ?A Conscious))))	Medicine.kif 1690-1697	If a process is an instance of petit mal seizure and an agent experiences the process, then conscious is not an attribute of the agent holds during the time of existence of the process
(=>     (and         (instance ?S FocalSeizure)         (experiencer ?S ?A))     (holdsDuring         (WhenFn ?S)         (attribute ?A Conscious)))	Medicine.kif 1669-1675	If a process is an instance of partial seizure and an agent experiences the process, then conscious is an attribute of the agent holds during the time of existence of the process
(=>     (and         (instance ?S Laughing)         (experiencer ?S ?A))     (modalAttribute         (holdsDuring             (WhenFn ?S)             (attribute ?A Happiness)) Likely))	emotion.kif 1626-1634	If a process is an instance of laughing and an agent experiences the process, then the statement happiness is an attribute of the agent holds during the time of existence of the process has the modal force of likely
(=>     (and         (instance ?S Seizure)         (experiencer ?S ?A))     (exists (?B)         (and             (instance ?B Brain)             (part ?B ?A)             (located ?S ?B))))	Medicine.kif 1613-1621	If a process is an instance of epileptic seizure and an agent experiences the process, then there exists an object such that the object is an instance of brain and the object is a part of the agent and the process is located at the object
(=>     (and         (instance ?S Sepsis)         (experiencer ?S ?H))     (exists (?I)         (and             (instance ?I Infecting)             (experiencer ?I ?H)             (causes ?I ?S))))	Medicine.kif 5527-5535	If a process is an instance of septic shock and an agent experiences the process, then there exists another process such that the other process is an instance of infecting and the agent experiences the other process and the other process causes the process
(=>     (and         (instance ?S Septoplasty)         (experiencer ?S ?H))     (exists (?SEPT)         (and             (instance ?SEPT NasalSeptum)             (part ?SEPT ?H)             (patient ?S ?SEPT))))	Medicine.kif 4447-4455	If a process is an instance of septoplasty and an agent experiences the process, then there exists the processEPT such that the processEPT is an instance of septum and the processEPT is a part of the agent and the processEPT is a patient of the process
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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