TreeView Knowledge Base Browser

appearance as argument number 1

(documentation MovingTowards EnglishLanguage "A translocation where the distance between two objects at the end of the motion is less than at the beginning.")	Mid-level-ontology.kif 34236-34237
(subclass MovingTowards Translocation)	Mid-level-ontology.kif 34239-34239	Moving towards is a subclass of translocation

appearance as argument number 2

(termFormat EnglishLanguage MovingTowards "moving towards")	Mid-level-ontology.kif 34238-34238
(subclass Adducting MovingTowards)	Anatomy.kif 2059-2059	Adducting is a subclass of moving towards

antecedent

(=>
    (and
        (instance ?MT MovingTowards)
        (instance ?RELATIVEOBJECT Object)
        (instance ?REFERENCEOBJECT Object)
        (patient ?MT ?REFERENCEOBJECT)
        (patient ?MT ?RELATIVEOBJECT))
    (exists (?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 34241-34262

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

consequent

(=>
    (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 2061-2077

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: