Releasing(releasing) | let_go, let_go_of, pop, release, relinquish |
appearance as argument number 1 |
(documentation Releasing ChineseLanguage "这是在任何 Transfer 的实例时,导致不再出现 agent grasps 某些他/ 她早前 grasp 的东西的情况。 ") | chinese_format.kif 3054-3055 | |
(documentation Releasing EnglishLanguage "Any instance of Transfer which results in a situation where it is not the case that the agent grasps something which he/ she grasps previously.") | Merge.kif 11566-11568 | |
(documentation Releasing JapaneseLanguage "Transfer のインスタンスは、以前に agent grasps が何かの場合ではない状況をもたらす。") | japanese_format.kif 1822-1823 | |
(subclass Releasing Transfer) | Merge.kif 11564-11564 | Releasing is a subclass of transfer |
appearance as argument number 2 |
(termFormat ChineseLanguage Releasing "释放") | domainEnglishFormat.kif 49372-49372 | |
(termFormat ChineseTraditionalLanguage Releasing "釋放") | domainEnglishFormat.kif 49371-49371 | |
(termFormat EnglishLanguage Releasing "releasing") | domainEnglishFormat.kif 49370-49370 |
antecedent |
(=> (and (instance ?RELEASE Releasing) (agent ?GRAB ?AGENT) (patient ?GRAB ?THING)) (and (holdsDuring (BeginFn (WhenFn ?RELEASE)) (grasps ?AGENT ?THING)) (holdsDuring (EndFn (WhenFn ?RELEASE)) (not (grasps ?AGENT ?THING))))) |
Merge.kif 11570-11577 |
|