consequent

(=>     (instance ?MOTION Motion)     (exists (?OBJ)         (and             (instance ?OBJ Object)             (moves ?MOTION ?OBJ))))	Merge.kif 11176-11181	If X is an instance of motion, then there exists Y such that Y is an instance of object and Y moves during X
(=>     (instance ?F Furniture)     (capability Translocation moves ?F))	Mid-level-ontology.kif 4166-4168	If X is an instance of furniture, then X is capable of doing translocation as a moves
(=>     (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 6803-6815	If X is an instance of infecting and Y experiences X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of translocation (3) V moves during Z (4) V is an instance of organism (5) W is an instance of replication (6) V experiences W (7) Z is a subprocess of X (8) W is a subprocess of X
(=>     (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 11333-11345	If X is an instance of swelling and Y experiences X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of transfer (3) V is an instance of liquid (4) W is an instance of body part (5) W is a part of Y (6) Z ends up at W (7) V moves during Z (8) Z is a subprocess of X
(=>     (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 11379-11392	If X is an instance of diuretic, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that W is an instance of human (3) Y is an instance of removing (4) Z is an instance of liquid (5) W experiences Y (6) Z moves during Y (7) Z originates at W (8) W doesn't contain V (9) Y ends up at V
(=>     (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 11948-11964	If X is an instance of body segment, Y is an instance of body segment, X is connected to Y, Z is an instance of body motion, and X moves during Z, then the statement there doesn't exist W such that W is an instance of body motion, Y moves during W, and the time of existence of W takes place during the time of existence of Z has the modal force of possibility
(=>     (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 12005-12016	If X is an instance of flexion, Y is an agent of X, and Z moves during X, then there doesn't exist W such that W is an instance of extension, equal the time of existence of W, the time of existence of X, Y is an agent of W, and Z moves during W
(=>     (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 12113-12122	If X is an instance of heart, then X has the purpose there exist Y, Z, W such that Z is an instance of heart beat, Y is an instance of liquid motion, W is an instance of blood, W moves during Y, and Z causes Y
(=>     (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 34511-34531	If X is an instance of moving away from, Y is an instance of object, Z is an instance of object, Y is a patient of X, and Z is a patient of X, then there exist Z, W,, , V and U such that W is an instance of real number and V is an instance of real number and Y moves during X and the distance between Y and Z is W U(s) holds during the beginning of the time of existence of X and the distance between Y and Z is V U(s) holds during the end of the time of existence of X and V is greater than W
(=>     (and         (instance ?MT MovingTowards)         (instance ?RELATIVEOBJECT Object)         (instance ?REFERENCEOBJECT Object)         (patient ?MT ?REFERENCEOBJECT)         (patient ?MT ?RELATIVEOBJECT))     (exists (?REFERENCEOBJECT ?BEFOREDISTANCE ?AFTERDISTANCE ?U)         (and             (instance ?BEFOREDISTANCE RealNumber)             (instance ?AFTERDISTANCE RealNumber)             (instance ?U UnitOfLength)             (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 34538-34559	If X is an instance of moving towards, Y is an instance of object, Z is an instance of object, Z is a patient of X, and Y is a patient of X, then there exist Z, W,, , V and U such that W is an instance of real number and V is an instance of real number and U is an instance of unit of length and Y moves during X and the distance between Y and Z is W U(s) holds during the beginning of the time of existence of X and the distance between Y and Z is V U(s) holds during the end of the time of existence of X and W is greater than V
(=>     (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 X is an instance of abducting, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of body part (3) Z is an instance of organism (4) W is an instance of torso (5) equal Y (6) W (7) V is a subprocess of moving away from (8) Y is a patient of V (9) W is a patient of V (10) Y is a part of Z (11) W is a part of Z (12) organism experiences X (13) Y moves during X
(=>     (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 X is an instance of adducting, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of body part (3) Z is an instance of organism (4) W is an instance of torso (5) equal Y (6) W (7) V is an instance of moving towards (8) V is a subprocess of X (9) Y is a patient of V (10) W is a patient of V (11) Y is a part of Z (12) W is a part of Z (13) organism experiences X (14) Y moves during X
(=>     (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 467-479	If X is an instance of blood circulation, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of animal (3) V is an instance of blood (4) V moves during X (5) W is an instance of artery (6) Z is an instance of vein (7) W is a part of Y (8) Z is a part of Y (9) W is path along which X occurs (10) Z is path along which X 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 525-541	If X is an instance of cannula, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Z is an instance of organism (3) Y is an instance of motion (4) W moves during Y (5) V is outside of to Z (6) X is path along which Y occurs (7) Y originates at V (8) Y ends up at Z or Y originates at Z (9) Y ends up at V
(=>     (and         (instance ?C FlightControlSurfaces)         (part ?C ?F)         (instance ?F Aircraft))     (hasPurpose ?C         (exists (?R ?X ?A)             (and                 (instance ?R Rotating)                 (moves ?R ?F)                 (rotationalAxis ?R ?X)                 (instance ?A AxisOfAnObject)                 (?A ?X ?F)                 (instrument ?R ?C)))))	Transportation.kif 3319-3332	If X is an instance of flight control surface, X is a part of Y, and Y is an instance of aircraft, then All of the following hold: (1) X has the purpose there exist Z, W (2) V such that Z is an instance of rotating (3) Y moves during Z (4) W is the axis of Z (5) V is an instance of axis of an object (6) V W (7) Y (8) X is an instrument for Z
(=>     (and         (instance ?F Flying)         (patient ?F ?P)         (instance ?P Airplane)         (part ?LW ?P)         (instance ?LW FlightWing)         (side ?LW ?P)         (orientation ?LW ?P Left)         (instance ?LA Aileron)         (located ?LA ?LW)         (instance ?U MotionUpward)         (moves ?U ?LA))     (holdsDuring         (WhenFn ?U)         (exists (?D)             (and                 (instance ?D MotionDownward)                 (moves ?D ?LW)                 (causes ?U ?D)))))	Transportation.kif 3400-3418	If All of the following hold: (1) X is an instance of flying (2) Y is a patient of X (3) Y is an instance of airplane (4) Z is a part of Y (5) Z is an instance of flight wing (6) a side of Y is Z (7) Z is left of to Y (8) W is an instance of aileron (9) W is located at Z (10) V is an instance of motion upward (11) W moves during V, then there exists U such that U is an instance of motion downward, Z moves during U, and V causes U holds during the time of existence of V
(=>     (and         (instance ?F Flying)         (patient ?F ?P)         (instance ?P Airplane)         (part ?RW ?P)         (instance ?RW FlightWing)         (side ?RW ?P)         (orientation ?RW ?P Right)         (instance ?RA Aileron)         (located ?RA ?RW)         (instance ?D MotionDownward)         (moves ?D ?RA))     (holdsDuring         (WhenFn ?D)         (exists (?U)             (and                 (instance ?U MotionUpward)                 (moves ?U ?RW)                 (causes ?D ?U)))))	Transportation.kif 3420-3438	If All of the following hold: (1) X is an instance of flying (2) Y is a patient of X (3) Y is an instance of airplane (4) Z is a part of Y (5) Z is an instance of flight wing (6) a side of Y is Z (7) Z is right of to Y (8) W is an instance of aileron (9) W is located at Z (10) V is an instance of motion downward (11) W moves during V, then there exists U such that U is an instance of motion upward, Z moves during U, and V causes U holds during the time of existence of V
(=>     (and         (instance ?P Pair)         (part ?P ?F)         (instance ?F Airplane)         (memberType ?P FlightElevator)         (member ?E ?P)         (holdsDuring ?T             (pitch ?F                 (MeasureFn 0 AngularDegree))))     (holdsDuring ?T         (not             (exists (?M)                 (and                     (moves ?M ?E)                     (or                         (instance ?M MotionUpward)                         (instance ?M MotionDownward)))))))	Transportation.kif 3544-3560	If All of the following hold: (1) X is an instance of pair (2) X is a part of Y (3) Y is an instance of airplane (4) flight elevator is a member type of X (5) Z is a member of X (6) Y is heading at 0 angular degree(s) degree from its level of plane axis. holds during W, then there doesn't exist V such that Z moves during V and V is an instance of motion upward or V is an instance of motion downward holds during W
(=>     (and         (roll ?P             (MeasureFn 0 AngularDegree))         (instance ?P Airplane)         (part ?A ?P)         (instance ?A Aileron))     (not         (exists (?M)             (and                 (instance ?M Motion)                 (moves ?M ?A)))))	Transportation.kif 3562-3572	If X is rolling at 0 angular degree(s) of its longitudinalAxis., X is an instance of airplane, Y is a part of X, and Y is an instance of aileron, then there doesn't exist Z such that Z is an instance of motion and Y moves during Z
(=>     (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 1378-1390	If X is an instance of stationary front, X is located at Y, and Y is an instance of air stream, then there doesn't exist Z such that Z is a subprocess of X, Z is an instance of translocation, and Y moves during Z holds during the time of existence of X

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