|
|
   Releasing
|
|
|
| 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 |
| 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 |
|
|
|