Capturing |
appearance as argument number 1 |
(documentation Capturing EnglishLanguage "A Capturing is a ChangeOfControl event in which an Agent gains physical control over another AutonomousAgent.") | Mid-level-ontology.kif 23737-23739 | |
(subclass Capturing ChangeOfControl) | Mid-level-ontology.kif 23736-23736 |
appearance as argument number 2 |
(subclass PlacingUnderArrest Capturing) | Mid-level-ontology.kif 23747-23747 | |
(termFormat ChineseLanguage Capturing "捕获") | domainEnglishFormat.kif 13133-13133 | |
(termFormat ChineseTraditionalLanguage Capturing "捕獲") | domainEnglishFormat.kif 13132-13132 | |
(termFormat EnglishLanguage Capturing "capture") | domainEnglishFormat.kif 13131-13131 |
antecedent |
(=> (and (instance ?CAPTURE Capturing) (controlled ?CAPTURE ?OBJ)) (instance ?OBJ AutonomousAgent)) |
Mid-level-ontology.kif 23741-23745 |