gainsControl - Sigma Knowledge base Browser

appearance as argument number 1

(instance gainsControl CaseRole)	Mid-level-ontology.kif 25749-25749	gains control is an instance of case role
(documentation gainsControl EnglishLanguage "(gainsControl ?EVENT ?AGENT) means that during ?EVENT, ?AGENT gains control of the patient (object).")	Mid-level-ontology.kif 25750-25752	gains control is an instance of case role
(subrelation gainsControl agent)	Mid-level-ontology.kif 25753-25753	gains control is a subrelation of agent
(domain gainsControl 1 AchievingControl)	Mid-level-ontology.kif 25754-25754	The number 1 argument of gains control is an instance of achieving control
(domain gainsControl 2 AutonomousAgent)	Mid-level-ontology.kif 25755-25755	The number 2 argument of gains control is an instance of agent

appearance as argument number 2

(termFormat EnglishLanguage gainsControl "gains control")	domainEnglishFormat.kif 25342-25342
(termFormat ChineseTraditionalLanguage gainsControl "獲得控制權")	domainEnglishFormat.kif 25343-25343
(termFormat ChineseLanguage gainsControl "获得控制权")	domainEnglishFormat.kif 25344-25344
(format EnglishLanguage gainsControl "%2 %n{does not} gain%p{s} physical control over some object during %1")	english_format.kif 109-109

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