objectTransferred |
appearance as argument number 1 |
![]() |
(documentation objectTransferred EnglishLanguage "A relation that specifies the object that is transferred during the process. For example, in a Mailing process, the object transferred is a letter or package.") | Merge.kif 11470-11472 | |
(domain objectTransferred 1 Transfer) | Merge.kif 11467-11467 | objectTransferred 的 1 数量 是 转移 的 instance |
(domain objectTransferred 2 Object) | Merge.kif 11468-11468 | objectTransferred 的 2 数量 是 客体 的 instance |
(instance objectTransferred CaseRole) | Merge.kif 11465-11465 | objectTransferred 是 格角色 的 instance |
(subrelation objectTransferred patient) | Merge.kif 11466-11466 | objectTransferred 是 受事 的 subrelation |
appearance as argument number 2 |
![]() |
(format EnglishLanguage objectTransferred "the object transferred in %1 is %n %2") | Merge.kif 11469-11469 | |
(subrelation passenger objectTransferred) | Mid-level-ontology.kif 32697-32697 | passenger 是 objectTransferred 的 subrelation |
(subrelation transported objectTransferred) | Mid-level-ontology.kif 24503-24503 | 运输 是 objectTransferred 的 subrelation |
(termFormat EnglishLanguage objectTransferred "object transferred") | domainEnglishFormat.kif 65898-65898 | 运输 是 objectTransferred 的 subrelation |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(hasPurpose IBookstore (exists (?D) (and (instance ?D DownloadingOverNetwork) (instrument ?D IBookstore) (instance ?T Text) (objectTransferred ?D ?T)))) |
ComputingBrands.kif 3305-3311 | IBookstore 的 目的 是 有存在 ?D 这样 ?D 是 下載 的 instance 和 iBookstore 是导致 ?D 的 instrument 和 ?T 是 文本 的 instance 和 objectTransferred ?D and ?T |
![]() |
![]() |