controlled |
appearance as argument number 1 |
(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 23422-23425 | |
(domain controlled 1 AchievingControl) | Mid-level-ontology.kif 23427-23427 | Le nombre 1 argument de controlled est une instance de AchievingControl |
(domain controlled 2 Object) | Mid-level-ontology.kif 23428-23428 | Le nombre 2 argument de controlled est une instance de objet |
(instance controlled CaseRole) | Mid-level-ontology.kif 23421-23421 | controlled est une instance de r�le d�pendant du cas |
(subrelation controlled patient) | Mid-level-ontology.kif 23426-23426 | controlled est une sous-relation de patient |
appearance as argument number 2 |
(format ChineseLanguage controlled "%2 %n{does not} 在 %1 受到 AutonomousAgent 在身体上的 controlled") | chinese_format.kif 83-83 | |
(format EnglishLanguage controlled "%2 %n{does not} come%p{s} to be physically controlled by an agent during %1") | english_format.kif 83-83 | |
(format JapaneseLanguage controlled "%2 は %1 の間 agent によって物理的に come%p{s} controlled%n{} %n{ない}") | japanese_format.kif 1890-1890 | |
(subrelation arrested controlled) | Mid-level-ontology.kif 23479-23479 | arrested est une sous-relation de controlled |
(termFormat ChineseLanguage controlled "受控") | domainEnglishFormat.kif 17034-17034 | |
(termFormat ChineseLanguage controlled "控制") | chinese_format.kif 84-84 | |
(termFormat ChineseTraditionalLanguage controlled "受控") | domainEnglishFormat.kif 17033-17033 | |
(termFormat EnglishLanguage controlled "controlled") | domainEnglishFormat.kif 17032-17032 |
antecedent |
(=> (and (instance ?CAPTURE Capturing) (controlled ?CAPTURE ?OBJ)) (instance ?OBJ AutonomousAgent)) |
Mid-level-ontology.kif 23457-23461 |
|