MovingAwayFrom - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MovingAwayFrom EnglishLanguage "A translocation where the distance between two objects at the end of the motion is greater than at the beginning.")	Mid-level-ontology.kif 34209-34210
(subclass MovingAwayFrom Translocation)	Mid-level-ontology.kif 34212-34212	Moving away from is a subclass of translocation

appearance as argument number 2

(termFormat EnglishLanguage MovingAwayFrom "moving away from")	Mid-level-ontology.kif 34211-34211
(subclass Abducting MovingAwayFrom)	Anatomy.kif 2035-2035	Abducting is a subclass of moving away from

antecedent

(=>
    (and
        (instance ?MAF MovingAwayFrom)
        (instance ?RELATIVEOBJECT Object)
        (instance ?REFERENCEOBJECT Object)
        (patient ?MAF ?RELATIVEOBJECT)
        (patient ?MAF ?REFERENCEOBJECT))
    (exists (?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 34214-34234

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 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

consequent

(=> (and (instance ?R CentrifugalMotion) (instance ?O Object) (moves ?R ?O) (instance ?A Object) (located ?A ?O)) (modalAttribute (exists (?M) (and (instance ?M MovingAwayFrom) (changesLocation ?M ?A) (origin ?M ?O) (causes ?R ?M))) Likely))	Mid-level-ontology.kif 19414-19427	If X is an instance of centrifugal motion, Y is an instance of object, Y moves during X, Z is an instance of object, and Z is located at Y, then the statement there exists W such that W is an instance of moving away from, Z is a changes location of W, W originates at Y, and X causes W has the modal force of likely
(=> (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 2037-2052	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

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: