NapaCabbage
|
|
appearance as argument number 1 |
(documentation Getting ChineseLanguage "这是 ChangeOfPossession 的 subclass,这是在当 agent 得到一些东西。注:可以用 CaseRole 的 origin 来指定所得到东西的来源。") | chinese_format.kif 3086-3087 | |
(documentation Getting EnglishLanguage "The subclass of ChangeOfPossession where the agent gets something. Note that the source from which something is obtained is specified with the origin CaseRole.") | Merge.kif 11823-11825 | |
(documentation Getting JapaneseLanguage "agent が何かを得る ChangeOfPossession の subclass。注:何かが取得されたソースは origin CaseRole で指定さる。") | japanese_format.kif 1857-1858 | |
(subclass Getting ChangeOfPossession) | Merge.kif 11821-11821 | Obter e' uma sub-classe de Mudanca de Dono |
appearance as argument number 2 |
(rangeSubclass ReceivingAnObjectFn Getting) | Media.kif 185-185 | Os valores retornados por ReceivingAnObjectFn sao as sub-classes de Obter |
(subclass Borrowing Getting) | Merge.kif 11849-11849 | Tomar Emprestado e' uma sub-classe de Obter |
(subclass FoodDistributionOperation Getting) | Military.kif 51-51 | FoodDistributionOperation e' uma sub-classe de Obter |
(subclass UnilateralGetting Getting) | Merge.kif 11833-11833 | Obtencao Unilateral e' uma sub-classe de Obter |
(termFormat ChineseLanguage Getting "获得") | chinese_format.kif 1136-1136 | |
(termFormat EnglishLanguage Getting "getting") | english_format.kif 1489-1489 | |
(termFormat FrenchLanguage Getting "obtenir") | french_format.kif 814-814 | |
(termFormat Hindi Getting "praapwi") | terms-hindi.txt 346-346 | |
(termFormat ItalianLanguage Getting "Ottenere") | terms-it.txt 349-349 | |
(termFormat JapaneseLanguage Getting "取得") | japanese_format.kif 2498-2498 | |
(termFormat PortugueseLanguage Getting "Obter") | portuguese_format.kif 766-766 | |
(termFormat cb Getting "pagkuha") | terms-cb.txt 351-351 | |
(termFormat cz Getting "getting") | terms-cz.txt 385-385 | |
(termFormat ro Getting "obþinere") | relations-ro.kif 835-835 | |
(termFormat tg Getting "pagkuha") | terms-tg.txt 350-350 |
antecedent |
(=> (and (instance ?GET Getting) (agent ?GET ?AGENT)) (destination ?GET ?AGENT)) |
Merge.kif 11827-11831 |
|
consequent |