PhysicalGuiding - Sigma Knowledge base Browser

appearance as argument number 1

(subclass PhysicalGuiding Guiding)	ComputerInput.kif 101-101	Physical guiding is a subclass of guiding
(documentation PhysicalGuiding EnglishLanguage "Controlling the motion (direction, trajectory, and/ or speed) of a CorpuscularObject.")	ComputerInput.kif 102-103	Physical guiding is a subclass of guiding

appearance as argument number 2

(subclass SlidingComputerInputDeviceAction PhysicalGuiding)	ComputerInput.kif 1533-1533	Sliding computer input device action is a subclass of physical guiding
(termFormat EnglishLanguage PhysicalGuiding "physical guiding")	domainEnglishFormat.kif 65313-65313	Sliding computer input device action is a subclass of physical guiding

antecedent

(=>
    (instance ?PGUIDE PhysicalGuiding)
    (exists (?MOVED)
        (and
            (patient ?PGUIDE ?MOVED)
            (instance ?MOVED CorpuscularObject))))

If X is an instance of physical guiding, then there exists Y such that Y is a patient of X and Y is an instance of corpuscular object