consequent

(=>     (and         (equal             (MeasureFn ?Y McgPerKg)             (PerFn ?M1 ?M2))         (equal ?M1             (MeasureFn ?NUM1                 (MicroFn Gram)))         (equal ?M2             (MeasureFn ?NUM2                 (KiloFn Gram))))     (exists (?I ?B ?A)         (and             (instance ?I Ingesting)             (instance ?B BiologicallyActiveSubstance)             (instance ?A Organism)             (patient ?I ?B)             (agent ?I ?A)             (weight ?B ?M1)             (weight ?A ?M2))))	WMD.kif 823-840	If equal a real number micrograms per kilogram(s) and the per of a mass measure and another mass measure and equal the mass measure and another real number one millionth of a gram(s) and equal the other mass measure and a third real number 1 thousand grams(s), then there exist a process, a self connected object and another self connected object such that the process is an instance of ingesting and the self connected object is an instance of biologically active substance and the other self connected object is an instance of organism and the self connected object is a patient of the process and the other self connected object is an agent of the process and the mass measure is a weight of the self connected object and the other mass measure is a weight of the other self connected object
(=>     (and         (equal ?P             (OrganicObjectFn ?ORG))         (subclass ?P Object))     (or         (subclass ?ORG Organism)         (subclass ?ORG AnatomicalStructure)))	Economy.kif 5594-5601	If equal an integer and Object made from a kind of organic object and the integer is a subclass of object, then a kind of organic object is a subclass of organism or the kind of organic object is a subclass of anatomical structure
(=>     (and         (instance ?ACT Ingesting)         (resource ?ACT ?F))     (or         (instance ?F             (FoodForFn Organism))         (instance ?F Medicine)))	Merge.kif 10414-10420	If a process is an instance of ingesting and an object is a resource for the process, then the object is an instance of food for organism or the object is an instance of medicine
(=>     (and         (instance ?ATTACK BiochemicalAttack)         (patient ?ATTACK ?OBJ))     (instance ?OBJ Organism))	WMD.kif 64-68	If a process is an instance of biochemical attack and an entity is a patient of the process, then the entity is an instance of organism
(=>     (and         (instance ?BACTERIUM Bacterium)         (inhabits ?BACTERIUM ?OBJ))     (instance ?OBJ Organism))	Merge.kif 14647-14651	If an organism is an instance of bacterium and the organism lives in an object, then the object is an instance of organism
(=>     (and         (instance ?CHEW Chewing)         (resource ?CHEW ?FOOD))     (instance ?FOOD         (FoodForFn Organism)))	Mid-level-ontology.kif 12879-12883	If a process is an instance of chewing and an object is a resource for the process, then the object is an instance of food for organism
(=>     (and         (instance ?FUNGUS Fungus)         (inhabits ?FUNGUS ?OBJ))     (instance ?OBJ Organism))	Merge.kif 14606-14610	If an organism is an instance of fungus and the organism lives in an object, then the object is an instance of organism
(=>     (and         (instance ?I Infecting)         (experiencer ?I ?H))     (exists (?T ?R ?O)         (and             (instance ?T Translocation)             (moves ?T ?O)             (instance ?O Organism)             (instance ?R Replication)             (experiencer ?R ?O)             (subProcess ?T ?I)             (subProcess ?R ?I))))	Mid-level-ontology.kif 6780-6792	If a process is an instance of infecting and an agent experiences the process, then there exist a motion, another process and another agent such that the motion is an instance of translocation and the other agent moves during the motion and the other agent is an instance of organism and the other process is an instance of replication and the other agent experiences the other process and the motion is a subprocess of the process and the other process is a subprocess of the process
(=>     (and         (instance ?KILL Killing)         (agent ?KILL ?AGENT)         (patient ?KILL ?PATIENT))     (and         (instance ?AGENT Organism)         (instance ?PATIENT Organism)))	Merge.kif 12468-12475	If a process is an instance of killing and an agent is an agent of the process and an entity is a patient of the process, then the agent is an instance of organism and the entity is an instance of organism
(=>     (and         (instance ?PROC BiologicalProcess)         (experiencer ?PROC ?ORG))     (instance ?ORG Organism))	Merge.kif 10305-10309	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 ?PROC TherapeuticProcess)         (patient ?PROC ?BIO))     (or         (instance ?BIO Organism)         (exists (?ORG)             (and                 (instance ?ORG Organism)                 (part ?BIO ?ORG)))))	Merge.kif 12416-12425	If a process is an instance of therapeutic process and an object is a patient of the process, then the object is an instance of organism or there exists another object such that the other object is an instance of organism and the object is a part of the other object
(=>     (and         (instance ?REM OrganismRemains)         (holdsDuring             (WhenFn ?REM)             (part ?OBJ ?REM)))     (exists (?ORG)         (and             (instance ?ORG Organism)             (earlier                 (WhenFn ?ORG)                 (WhenFn ?REM))             (finishes                 (WhenFn ?REM)                 (WhenFn ?ORG))             (holdsDuring                 (WhenFn ?ORG)                 (part ?OBJ ?ORG)))))	Mid-level-ontology.kif 45-56	If a physical is an instance of organism remains and an entity is a part of the physical holds during the time of existence of the physical, then there exists another physical such that the other physical is an instance of organism and the time of existence of the other physical happens earlier than the time of existence of the physical and the time of existence of the physical finishes the time of existence of the other physical and the entity is a part of the other physical holds during the time of existence of the other physical
(=>     (and         (instance ?VIRUS Virus)         (inhabits ?VIRUS ?OBJ))     (instance ?OBJ Organism))	Merge.kif 14659-14663	If an organism is an instance of virus and the organism lives in an object, then the object is an instance of organism
(=>     (attribute ?D Dorsal)     (exists (?O)         (and             (or                 (instance ?O Organism)                 (instance ?O BodyPart))             (not                 (and                     (instance ?O Organism)                     (instance ?O BodyPart)))             (part ?D ?O)             (equal ?B                 (BackFn ?O))             (meetsSpatially ?B ?D))))	Anatomy.kif 2005-2019	If dorsal is an attribute of an object, then there exists a self connected object such that the self connected object is an instance of organism or the self connected object is an instance of body part and ~{ the self connected object is an instance of organism } or ~{ the self connected object is an instance of body part } and the object is a part of the self connected object and equal another self connected object and the back of the self connected object and the other self connected object meets the object
(=>     (attribute ?FOOD RawAttribute)     (instance ?FOOD         (FoodForFn Organism)))	Food.kif 51-53	If raw food is an attribute of an object, then the object is an instance of food for organism
(=>     (attribute ?O Mortal)     (and         (instance ?O Organism)         (capability Death experiencer ?O)))	Mid-level-ontology.kif 25920-25924	If mortal is an attribute of an object, then the object is an instance of organism and the object is capable of doing death as a experiencer
(=>     (attribute ?ORG Greedy)     (exists (?OBJ)         (and             (instance ?ORG Organism)             (instance ?OBJ Physical)             (desires ?ORG                 (possesses ?ORG ?OBJ))             (not                 (modalAttribute                     (possesses ?ORG ?OBJ) Necessity)))))	Mid-level-ontology.kif 21392-21400	If greedy is an attribute of a cognitive agent, then there exists an entity such that the cognitive agent is an instance of organism and the entity is an instance of physical and the cognitive agent desires the cognitive agent possesses the entity and the statement the cognitive agent possesses the entity doesn't have the modal force of necessity
(=>     (attribute ?V Ventral)     (exists (?O ?F)         (and             (or                 (instance ?O Organism)                 (instance ?O BodyPart))             (not                 (and                     (instance ?O Organism)                     (instance ?O BodyPart)))             (part ?V ?O)             (equal ?F                 (FrontFn ?O))             (meetsSpatially ?F ?V))))	Anatomy.kif 2026-2040	If ventral is an attribute of an object, then there exist a self connected object and another self connected object such that the self connected object is an instance of organism or the self connected object is an instance of body part and ~{ the self connected object is an instance of organism } or ~{ the self connected object is an instance of body part } and the object is a part of the self connected object and equal the other self connected object and the front of the self connected object and the other self connected object meets the object
(=>     (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
(=>     (instance ?A Abducting)     (exists (?BP ?ORGANISM ?TORSO ?MAF)         (and             (instance ?BP BodyPart)             (instance ?ORGANISM Organism)             (instance ?TORSO Torso)             (not                 (equal ?BP ?TORSO))             (subProcess ?MAF MovingAwayFrom)             (patient ?MAF ?BP)             (patient ?MAF ?TORSO)             (part ?BP ?ORGANISM)             (part ?TORSO ?ORGANISM)             (experiencer ?A Organism)             (moves ?A ?BP))))	Anatomy.kif 2048-2063	If a motion is an instance of abducting, then there exist an object, another object,, , a third object and a process such that the object is an instance of body part and the other object is an instance of organism and the third object is an instance of torso and equal the object and the third object and the process is a subprocess of moving away from and the object is a patient of the process and the third object is a patient of the process and the object is a part of the other object and the third object is a part of the other object and organism experiences the motion and the object moves during the motion
(=>     (instance ?A Adducting)     (exists (?BP ?ORGANISM ?TORSO ?MT)         (and             (instance ?BP BodyPart)             (instance ?ORGANISM Organism)             (instance ?TORSO Torso)             (not                 (equal ?BP ?TORSO))             (instance ?MT MovingTowards)             (subProcess ?MT ?A)             (patient ?MT ?BP)             (patient ?MT ?TORSO)             (part ?BP ?ORGANISM)             (part ?TORSO ?ORGANISM)             (experiencer ?A Organism)             (moves ?A ?BP))))	Anatomy.kif 2072-2088	If a motion is an instance of adducting, then there exist an object, another object,, , a third object and a process such that the object is an instance of body part and the other object is an instance of organism and the third object is an instance of torso and equal the object and the third object and the process is an instance of moving towards and the process is a subprocess of the motion and the object is a patient of the process and the third object is a patient of the process and the object is a part of the other object and the third object is a part of the other object and organism experiences the motion and the object moves during the motion
(=>     (instance ?AGENT ChemicalAgent)     (not         (exists (?ORGANISM ?PROCESS ?SUBSTANCE)             (and                 (instance ?ORGANISM Organism)                 (instance ?PROCESS BiologicalProcess)                 (instrument ?PROCESS ?ORGANISM)                 (result ?PROCESS ?SUBSTANCE)                 (copy ?SUBSTANCE ?AGENT)))))	WMD.kif 464-473	If an object is an instance of chemical agent, then there don't exist another object, a process and a third object such that the other object is an instance of organism and the process is an instance of biological process and the other object is an instrument for the process and the third object is a result of the process and the third object is a copy of the object
(=>     (instance ?ANAT AnatomicalStructure)     (exists (?ORGANISM ?TIME)         (and             (instance ?ORGANISM Organism)             (temporalPart ?TIME                 (WhenFn ?ORGANISM))             (holdsDuring ?TIME                 (part ?ANAT ?ORGANISM)))))	Merge.kif 15096-15102	If an entity is an instance of anatomical structure, then there exist a physical and a time position such that the physical is an instance of organism and the time position is a part of the time of existence of the physical and the entity is a part of the physical holds during the time position
(=>     (instance ?ATTACK BiochemicalAttack)     (hasPurpose ?ATTACK         (exists (?DAMAGE ?ORGANISM)             (and                 (instance ?DAMAGE Damaging)                 (patient ?DAMAGE ?ORGANISM)                 (causes ?ATTACK ?DAMAGE)                 (instance ?ORGANISM Organism)))))	WMD.kif 70-78	If a physical is an instance of biochemical attack, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of damaging and the other entity is a patient of the entity and the physical causes the entity and the other entity is an instance of organism
(=>     (instance ?ATTR PsychologicalAttribute)     (=>         (and             (holdsDuring ?TIME                 (attribute ?ORGANISM ?ATTR))             (instance ?ORGANISM Organism))         (holdsDuring ?TIME             (attribute ?ORGANISM Living))))	Merge.kif 18479-18485	If an entity is an instance of psychological attribute, then if the entity is an attribute of another entity holds during a time position and the other entity is an instance of organism, then living is an attribute of the other entity holds during the time position
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