TreeView Knowledge Base Browser

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