consequent

(=>     (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 ?E Edema)         (experiencer ?E ?A))     (exists (?T ?P ?L)         (and             (instance ?T Transfer)             (instance ?L Liquid)             (instance ?P BodyPart)             (part ?P ?A)             (destination ?T ?P)             (moves ?T ?L)             (subProcess ?T ?E))))	Mid-level-ontology.kif 11287-11299	If a process is an instance of swelling and an agent experiences the process, then there exist a motion, an object and another object such that the motion is an instance of transfer and the other object is an instance of liquid and the object is an instance of body part and the object is a part of the agent and the motion ends up at the object and the other object moves during the motion and the motion is a subprocess of the process
(=>     (and         (instance ?F Flexion)         (agent ?F ?A)         (moves ?F ?BP))     (not         (exists (?E)             (and                 (instance ?E Extension)                 (equal                     (WhenFn ?E)                     (WhenFn ?F))                 (agent ?E ?A)                 (moves ?E ?BP)))))	Mid-level-ontology.kif 11959-11970	If a motion is an instance of flexion and an agent is an agent of the motion and an object moves during the motion, then there doesn't exist another motion such that the other motion is an instance of extension and equal the time of existence of the other motion and the time of existence of the motion and the agent is an agent of the other motion and the object moves during the other motion
(=>     (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 ?MAF MovingAwayFrom)         (instance ?RELATIVEOBJECT Object)         (instance ?REFERENCEOBJECT Object)         (patient ?MAF ?RELATIVEOBJECT)         (patient ?MAF ?REFERENCEOBJECT))     (exists (?REFERENCEOBJECT ?BEFOREDISTANCE ?AFTERDISTANCE ?U)         (and             (instance ?BEFOREDISTANCE RealNumber)             (instance ?AFTERDISTANCE RealNumber)             (moves ?MAF ?RELATIVEOBJECT)             (holdsDuring                 (BeginFn                     (WhenFn ?MAF))                 (distance ?RELATIVEOBJECT ?REFERENCEOBJECT                     (MeasureFn ?BEFOREDISTANCE ?U)))             (holdsDuring                 (EndFn                     (WhenFn ?MAF))                 (distance ?RELATIVEOBJECT ?REFERENCEOBJECT                     (MeasureFn ?AFTERDISTANCE ?U)))             (greaterThan ?AFTERDISTANCE ?BEFOREDISTANCE))))	Mid-level-ontology.kif 33712-33732	If a motion is an instance of moving away from and an object is an instance of object and an entity is an instance of object and the object is a patient of the motion and the entity is a patient of the motion, then there exist the entity, a real number,, , another real number and another entity such that the real number is an instance of real number and the other real number is an instance of real number and the object moves during the motion and the distance between the object and the entity is the real number the other entity(s) holds during the beginning of the time of existence of the motion and the distance between the object and the entity is the other real number the other entity(s) holds during the end of the time of existence of the motion and the other real number is greater than the real number
(=>     (and         (instance ?MT MovingTowards)         (instance ?RELATIVEOBJECT Object)         (instance ?REFERENCEOBJECT Object)         (patient ?MT ?REFERENCEOBJECT)         (patient ?MT ?RELATIVEOBJECT))     (exists (?REFERENCEOBJECT ?BEFOREDISTANCE ?AFTERDISTANCE)         (and             (instance ?BEFOREDISTANCE RealNumber)             (instance ?AFTERDISTANCE RealNumber)             (moves ?MT ?RELATIVEOBJECT)             (holdsDuring                 (BeginFn                     (WhenFn ?MT))                 (distance ?RELATIVEOBJECT ?REFERENCEOBJECT                     (MeasureFn ?BEFOREDISTANCE ?U)))             (holdsDuring                 (EndFn                     (WhenFn ?MT))                 (distance ?RELATIVEOBJECT ?REFERENCEOBJECT                     (MeasureFn ?AFTERDISTANCE ?U)))             (greaterThan ?BEFOREDISTANCE ?AFTERDISTANCE))))	Mid-level-ontology.kif 33739-33759	If a motion is an instance of moving towards and an object is an instance of object and an entity is an instance of object and the entity is a patient of the motion and the object is a patient of the motion, then there exist the entity, a real number and another real number such that the real number is an instance of real number and the other real number is an instance of real number and the object moves during the motion and the distance between the object and the entity is the real number another entity(s) holds during the beginning of the time of existence of the motion and the distance between the object and the entity is the other real number the other entity(s) holds during the end of the time of existence of the motion and the real number is greater than the other real number
(=>     (and         (instance ?SF StationaryFront)         (eventLocated ?SF ?F)         (instance ?F AirStream))     (holdsDuring         (WhenFn ?SF)         (not             (exists (?T)                 (and                     (subProcess ?T ?SF)                     (instance ?T Translocation)                     (moves ?T ?F))))))	Weather.kif 1376-1388	If a process is an instance of stationary front and the process is located at an object and the object is an instance of air stream, then there doesn't exist an entity such that the entity is a subprocess of the process and the entity is an instance of translocation and the object moves during the entity holds during the time of existence of the process
(=>     (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 ?BC BloodCirculation)     (exists (?O ?V ?A ?B)         (and             (instance ?O Animal)             (instance ?B Blood)             (moves ?BC ?B)             (instance ?A Artery)             (instance ?V Vein)             (part ?A ?O)             (part ?V ?O)             (path ?BC ?A)             (path ?BC ?V))))	Medicine.kif 480-492	If a motion is an instance of blood circulation, then there exist an object, another object,, , a third object and a fourth object such that the object is an instance of animal and the fourth object is an instance of blood and the fourth object moves during the motion and the third object is an instance of artery and the other object is an instance of vein and the third object is a part of the object and the other object is a part of the object and the third object is path along which the motion occurs and the other object is path along which the motion occurs
(=>     (instance ?C Catheter)     (hasPurpose ?C         (exists (?M ?O ?OBJ ?L)             (and                 (instance ?O Organism)                 (instance ?M Motion)                 (moves ?M ?OBJ)                 (orientation ?L ?O Outside)                 (path ?M ?C)                 (or                     (and                         (origin ?M ?L)                         (destination ?M ?O))                     (and                         (origin ?M ?O)                         (destination ?M ?L)))))))	Medicine.kif 538-554	If a physical is an instance of cannula, then the physical has the purpose there exist an entity, another entity,, , the other entityBJ and a fourth entity such that the other entity is an instance of organism and the entity is an instance of motion and the other entityBJ moves during the entity and the fourth entity is outside to the other entity and the physical is path along which the entity occurs and the entity originates at the fourth entity and the entity ends up at the other entity or the entity originates at the other entity and the entity ends up at the fourth entity
(=>     (instance ?D Diuretic)     (hasPurpose ?D         (exists (?R ?L ?H ?LOC)             (and                 (instance ?H Human)                 (instance ?R Removing)                 (instance ?L Liquid)                 (experiencer ?R ?H)                 (moves ?R ?L)                 (origin ?L ?H)                 (not                     (contains ?H ?LOC))                 (destination ?R ?LOC)))))	Mid-level-ontology.kif 11333-11346	If a physical is an instance of diuretic, then the physical has the purpose there exist an entity, another entity,, , a third entity and the other entityOC such that the third entity is an instance of human and the entity is an instance of removing and the other entity is an instance of liquid and the third entity experiences the entity and the other entity moves during the entity and the other entity originates at the third entity and the third entity doesn't contain the other entityOC and the entity ends up at the other entityOC
(=>     (instance ?F Furniture)     (capability Translocation moves ?F))	Mid-level-ontology.kif 4149-4151	If an object is an instance of furniture, then the object is capable of doing translocation as a moves
(=>     (instance ?H Heart)     (hasPurpose ?H         (exists (?T ?HB ?B)             (and                 (instance ?HB HeartBeat)                 (instance ?T LiquidMotion)                 (instance ?B Blood)                 (moves ?T ?B)                 (causes ?HB ?T)))))	Mid-level-ontology.kif 12067-12076	If a physical is an instance of heart, then the physical has the purpose there exist an entity, the physicalB and a third entity such that the physicalB is an instance of heart beat and the entity is an instance of liquid motion and the third entity is an instance of blood and the third entity moves during the entity and the physicalB causes the entity
(=>     (instance ?MOTION Motion)     (exists (?OBJ)         (and             (instance ?OBJ Object)             (moves ?MOTION ?OBJ))))	Merge.kif 11153-11158	If a motion is an instance of motion, then there exists an object such that the object is an instance of object and the object moves during the motion

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