controlled - Sigma Knowledge base Browser

appearance as argument number 1

(instance controlled CaseRole)	Mid-level-ontology.kif 25740-25740	controlled is an instance of case role
(documentation controlled EnglishLanguage "(controlled ?EVENT ?OBJECT) means that during the AchievingControl denoted by ?EVENT, ?OBJECT comes to be physically controlled by an AutonomousAgent.")	Mid-level-ontology.kif 25741-25744	controlled is an instance of case role
(subrelation controlled patient)	Mid-level-ontology.kif 25745-25745	controlled is a subrelation of patient
(domain controlled 1 AchievingControl)	Mid-level-ontology.kif 25746-25746	The number 1 argument of controlled is an instance of achieving control
(domain controlled 2 Object)	Mid-level-ontology.kif 25747-25747	The number 2 argument of controlled is an instance of object

appearance as argument number 2

(subrelation arrested controlled)	Mid-level-ontology.kif 25798-25798	arrested is a subrelation of controlled
(termFormat EnglishLanguage controlled "controlled")	domainEnglishFormat.kif 17034-17034	arrested is a subrelation of controlled
(termFormat ChineseTraditionalLanguage controlled "受控")	domainEnglishFormat.kif 17035-17035	arrested is a subrelation of controlled
(termFormat ChineseLanguage controlled "受控")	domainEnglishFormat.kif 17036-17036	arrested is a subrelation of controlled
(format EnglishLanguage controlled "%2 %n{does not} come%p{s} to be physically controlled by an agent during %1")	english_format.kif 83-83	arrested is a subrelation of controlled

antecedent

(=>
    (and
        (instance ?CAPTURE Capturing)
        (controlled ?CAPTURE ?OBJ))
    (instance ?OBJ AutonomousAgent))

If X is an instance of capture and Y comes to be physically controlled by an agent during X, then Y is an instance of agent

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