AchievingControl - Sigma Knowledge base Browser

appearance as argument number 1

(subclass AchievingControl Guiding)	Mid-level-ontology.kif 25735-25735	Achieving control is a subclass of guiding
(documentation AchievingControl EnglishLanguage "AchievingControl is the class of all events in which an AutonomousAgent gains physical control over some object.")	Mid-level-ontology.kif 25736-25738	Achieving control is a subclass of guiding

appearance as argument number 2

(subclass ChangeOfControl AchievingControl)	Mid-level-ontology.kif 25757-25757	Change of control is a subclass of achieving control
(termFormat EnglishLanguage AchievingControl "achieving control")	domainEnglishFormat.kif 5293-5293	Change of control is a subclass of achieving control
(termFormat ChineseTraditionalLanguage AchievingControl "實現控制")	domainEnglishFormat.kif 5294-5294	Change of control is a subclass of achieving control
(termFormat ChineseLanguage AchievingControl "实现控制")	domainEnglishFormat.kif 5295-5295	Change of control is a subclass of achieving control

appearance as argument number 3

(domain controlled 1 AchievingControl)	Mid-level-ontology.kif 25746-25746	The number 1 argument of controlled is an instance of achieving control
(domain gainsControl 1 AchievingControl)	Mid-level-ontology.kif 25754-25754	The number 1 argument of gains control is an instance of achieving control

consequent

(=>
    (and
        (instance ?RO RecoveryOperation)
        (agent ?RO ?A)
        (patient ?RO ?O)
        (holdsDuring
            (PastFn
                (WhenFn ?RO))
            (possesses ?A ?O)))
    (exists (?AC)
        (and
            (instance ?AC AchievingControl)
            (destination ?RO ?AC)
            (result ?RO ?AC)
            (controlled ?AC ?O)
            (gainsControl ?AC ?A))))

If X is an instance of recovery operation, Y is an agent of X, Z is a patient of X, and Y possesses Z holds during before the time of existence of X, then there exists W such that W is an instance of achieving control, X ends up at W, W is a result of X, Z comes to be physically controlled by an agent during W, and Y gains physical control over some object during W