(=>     (attribute ?H Asthma)     (exists (?I)         (and             (instance ?I                 (ImpairmentFn Breathing))             (experiencer ?I ?H))))	Medicine.kif 3417-3423	If asthma is an attribute of an agent, then there exists a process such that the process is an instance of impairment in breathing and the agent experiences the process
(=>     (attribute ?H Bronchitis)     (exists (?I)         (and             (instance ?I                 (InflammationFn BronchialDuct))             (experiencer ?I ?H))))	Mid-level-ontology.kif 6021-6027	If bronchitis is an attribute of an agent, then there exists a process such that the process is an instance of inflammation of bronchial duct and the agent experiences the process
(=>     (attribute ?H DiabetesType1)     (exists (?A)         (and             (instance ?A AutoImmuneDisorder)             (experiencer ?A ?H))))	Medicine.kif 2149-2154	If juvenile diabetes is an attribute of an agent, then there exists a process such that the process is an instance of auto-immune disease and the agent experiences the process
(=>     (attribute ?H Dysautonomia)     (exists (?P)         (and             (experiencer ?P ?H)             (instance ?P                 (ImpairmentFn AutonomicProcess)))))	Medicine.kif 4230-4236	If dysautonomia is an attribute of an agent, then there exists a process such that the agent experiences the process and the process is an instance of impairment in autonomic process
(=>     (attribute ?H Eczema)     (exists (?SI)         (and             (instance ?SI                 (InflammationFn Skin))             (experiencer ?SR ?H))))	Medicine.kif 4389-4395	If atopic dermatitis is an attribute of an agent, then there exists an entity such that the entity is an instance of inflammation of skin and the agent experiences a process
(=>     (attribute ?H Eczema)     (exists (?SR)         (and             (instance ?SR SkinRash)             (experiencer ?SR ?H))))	Medicine.kif 4382-4387	If atopic dermatitis is an attribute of an agent, then there exists a process such that the process is an instance of rash and the agent experiences the process
(=>     (attribute ?H Pneumonia)     (exists (?I)         (and             (instance ?I                 (InflammationFn Lung))             (experiencer ?I ?H))))	Mid-level-ontology.kif 6207-6213	If pneumonia is an attribute of an agent, then there exists a process such that the process is an instance of inflammation of lung and the agent experiences the process
(=>     (attribute ?OBJ FullyFormed)     (exists (?GROWTH)         (and             (instance ?GROWTH Growth)             (experiencer ?GROWTH ?OBJ)             (holdsDuring                 (BeginFn                     (WhenFn ?OBJ))                 (attribute ?OBJ NonFullyFormed)))))	Merge.kif 18144-18150	If fully formed is an attribute of an agent, then there exists a process such that the process is an instance of growth and the agent experiences the process and non fully formed is an attribute of the agent holds during the beginning of the time of existence of the agent
(=>     (axis ?AXIS ?OBJ)     (exists (?R)         (and             (instance ?R Rotating)             (part ?AXIS ?OBJ)             (experiencer ?R ?OBJ)             (not                 (exists (?R2)                     (and                         (instance ?R2 Rotating)                         (subProcess ?R2 ?R)                         (experiencer ?R2 ?AXIS)))))))	Mid-level-ontology.kif 17468-17480	If an agent is an axis of another agent, then there exists a process such that the process is an instance of rotating and the other agent is a part of the agent and the agent experiences the process and there doesn't exist the process2 such that the process2 is an instance of rotating and the process2 is a subprocess of the process and the other agent experiences the process2
(=>     (baptizeddate ?PERSON ?DAY)     (exists (?BAPTISM)         (and             (instance ?BAPTISM Baptizing)             (experiencer ?BAPTISM ?PERSON)             (date ?BAPTISM ?DAY))))	Biography.kif 178-184	If a human was baptizing on a day, then there exists a process such that the process is an instance of baptizing and the human experiences the process and date of the process is the day
(=>     (baptizedplace ?PERSON ?PLACE)     (exists (?BAPTISM)         (and             (instance ?BAPTISM Baptizing)             (experiencer ?BAPTISM ?PERSON)             (eventLocated ?BAPTISM ?PLACE))))	Biography.kif 192-198	If a human was baptizing in a region, then there exists a process such that the process is an instance of baptizing and the human experiences the process and the process is located at the region
(=>     (birthdate ?P ?D)     (exists (?B)         (and             (instance ?B Birth)             (experiencer ?B ?P)             (date ?B ?D))))	Mid-level-ontology.kif 24270-24276	If a day is a birthdate of a human, then there exists a process such that the process is an instance of birth and the human experiences the process and date of the process is the day
(=>     (birthplace ?INDIV ?PLACE)     (exists (?BIRTH)         (and             (instance ?BIRTH Birth)             (experiencer ?BIRTH ?INDIV)             (eventLocated ?BIRTH ?PLACE))))	Mid-level-ontology.kif 24256-24262	If an object is a birthplace of an animal, then there exists a process such that the process is an instance of birth and the animal experiences the process and the process is located at the object
(=>     (changesLocation ?EVENT ?OBJ)     (and         (instance ?EVENT Translocation)         (instance ?OBJ Object)         (or             (patient ?EVENT ?OBJ)             (agent ?EVENT ?OBJ)             (experiencer ?EVENT ?OBJ))))	Merge.kif 11003-11011	If an agent is a changes location of a translocation, then the translocation is an instance of translocation and the agent is an instance of object and the agent is a patient of the translocation or the agent is an agent of the translocation or the agent experiences the translocation
(=>     (deathdate ?P ?T)     (exists (?D)         (and             (instance ?D Death)             (experiencer ?D ?P)             (date ?D ?T))))	Mid-level-ontology.kif 24284-24290	If a day is a deathdate of a human, then there exists a process such that the process is an instance of death and the human experiences the process and date of the process is the day
(=>     (deathplace ?P ?L)     (exists (?D)         (and             (instance ?D Death)             (experiencer ?D ?P)             (eventLocated ?D ?L))))	Mid-level-ontology.kif 24300-24306	If an object is a deathplace of an animal, then there exists a process such that the process is an instance of death and the animal experiences the process and the process is located at the object
(=>     (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS)     (exists (?ORGANISM ?TIME ?SAMPLE ?PROC)         (and             (holdsDuring ?TIME                 (attribute ?ORGANISM ?DISEASE))             (increasesLikelihood                 (and                     (instance ?PROC ?PROCESS)                     (temporalPart                         (WhenFn ?PROC) ?TIME)                     (experiencer ?PROC ?ORGANISM)                     (patient ?PROC ?SAMPLE)                     (instance ?SAMPLE ?SUBSTANCE))                 (holdsDuring                     (ImmediateFutureFn ?TIME)                     (not                         (attribute ?ORGANISM ?DISEASE)))))))	WMD.kif 941-955	If a disease or syndrome is disease treatment a kind of biologically active substance for a kind of process, then there exist an entity, a time position,, , another entity and a third entity such that the disease or syndrome is an attribute of the entity holds during the time position and the third entity is an instance of a kind of process and the time of existence of the third entity is a part of the time position and the entity experiences the third entity and the other entity is a patient of the third entity and the other entity is an instance of a kind of biologically active substance increases likelihood of the disease or syndrome is not an attribute of the entity holds during immediately after the time position
(=>     (diseaseMortality ?DISEASE ?RATE)     (conditionalProbability         (exists (?ORGANISM)             (and                 (instance ?ORGANISM Organism)                 (attribute ?ORGANISM ?DISEASE)))         (exists (?DEATH)             (and                 (instance ?DEATH Death)                 (experiencer ?DEATH ?ORGANISM))) ?RATE))	WMD.kif 890-900	If a real number is a disease mortality of a disease or syndrome, then probability of there exists an entity such that the entity is an instance of organism and the disease or syndrome is an attribute of the entity provided that there exists another entity such that the other entity is an instance of death and the entity experiences the other entity holds is the real number
(=>     (enjoys ?AGENT ?PROCESS)     (desires ?AGENT         (exists (?INSTANCE)             (and                 (instance ?INSTANCE ?PROCESS)                 (or                     (agent ?INSTANCE ?AGENT)                     (experiencer ?INSTANCE ?AGENT))))))	Mid-level-ontology.kif 7376-7384	If a cognitive agent enjoys an entity, then the cognitive agent desires there exists another entity such that the other entity is an instance of the entity and the cognitive agent is an agent of the other entity or the cognitive agent experiences the other entity
(=>     (equal ?WKBMC         (WeekBeforeMenstruationFn ?W))     (equal ?WKBC         (KappaFn ?C             (and                 (instance ?C Week)                 (exists (?M)                     (and                         (instance ?M Menstruation)                         (experiencer ?M ?W)                         (equal ?C                             (WeekBeforeFn                                 (WhenFn ?M)))))))))	Medicine.kif 1521-1534	If an entity is equal to WeekBeforeMenstruationFn another entity, then the other entityKBC is equal to the class described by a symbolic string
(=>     (exclusiveEvent ?EXP ?PROC)     (exists (?EVP ?AGENT)         (and             (instance ?EVP Process)             (instance ?AGENT AutonomousAgent)             (treatedUser ?AGENT ?EXP)             (experimentalVariableProcess ?EXP ?EVP)             (experiencer ?PROC ?AGENT)             (experiencer ?EVP ?AGENT)             (earlier                 (WhenFn ?EVP)                 (WhenFn ?PROC)))))	UXExperimentalTerms.kif 4345-4355	If an experimenting causes a process, then there exist another process and a human such that the other process is an instance of process and the human is an instance of agent and the human is a treated used in the experimenting and the other process is a process in the experimenting and the human experiences the process and the human experiences the other process and the time of existence of the other process happens earlier than the time of existence of the process
(=>     (holdsDuring ?T         (and             (attribute ?H SleepApnea)             (attribute ?H Sleeping)))     (exists (?T2 ?B ?B2)         (and             (during ?T2 ?T)             (not                 (exists (?B)                     (and                         (instance ?B Breathing)                         (during                             (WhenFn ?B) ?T2)                         (experiencer ?B ?H))))             (holdsDuring ?T2                 (and                     (instance ?B2 Breathing)                     (needs ?H ?B2))))))	Medicine.kif 4161-4178	If sleep apnea is an attribute of an agent and sleeping is an attribute of the agent holds during a time interval, then there exist the time interval2, a process and the process2 such that the time interval2 takes place during the time interval and there doesn't exist the process such that the process is an instance of breathing and the time of existence of the process takes place during the time interval2 and the agent experiences the process and the process2 is an instance of breathing and the agent needs the process2 holds during the time interval2
(=>     (holdsDuring ?T         (attribute ?A Anger))     (modalAttribute         (exists (?HF)             (and                 (instance ?HF AngryFacialExpression)                 (experiencer ?HF ?A)                 (during                     (WhenFn ?HF) ?T))) Likely))	emotion.kif 1244-1253	If anger is an attribute of an entity holds during a time position, then the statement there exists another entity such that the other entity is an instance of angry facial expression and the entity experiences the other entity and the time of existence of the other entity takes place during the time position has the modal force of likely
(=>     (holdsDuring ?T         (attribute ?A Disgust))     (modalAttribute         (exists (?FE)             (and                 (instance ?FE DisgustedFacialExpression)                 (experiencer ?FE ?A)                 (during                     (WhenFn ?FE) ?T))) Likely))	emotion.kif 1262-1271	If disgust is an attribute of an entity holds during a time position, then the statement there exists another entity such that the other entity is an instance of disgusted facial expression and the entity experiences the other entity and the time of existence of the other entity takes place during the time position has the modal force of likely
(=>     (holdsDuring ?T         (attribute ?A Fear))     (modalAttribute         (exists (?FE)             (and                 (instance ?FE FearfulFacialExpression)                 (experiencer ?FE ?A)                 (during                     (WhenFn ?FE) ?T))) Likely))	emotion.kif 1344-1353	If angst is an attribute of an entity holds during a time position, then the statement there exists another entity such that the other entity is an instance of fearful facial expression and the entity experiences the other entity and the time of existence of the other entity takes place during the time position has the modal force of likely
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