Capturing - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Capturing ChangeOfControl)	Mid-level-ontology.kif 25771-25771	Capture is a subclass of change of control
(documentation Capturing EnglishLanguage "A Capturing is a ChangeOfControl event in which an Agent gains physical control over another AutonomousAgent.")	Mid-level-ontology.kif 25772-25774	Capture is a subclass of change of control

appearance as argument number 2

(subclass PlacingUnderArrest Capturing)	Mid-level-ontology.kif 25782-25782	Placing under arrest is a subclass of capture
(termFormat EnglishLanguage Capturing "capture")	domainEnglishFormat.kif 13128-13128	Placing under arrest is a subclass of capture
(termFormat ChineseTraditionalLanguage Capturing "捕獲")	domainEnglishFormat.kif 13129-13129	Placing under arrest is a subclass of capture
(termFormat ChineseLanguage Capturing "捕获")	domainEnglishFormat.kif 13130-13130	Placing under arrest is a subclass of capture

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