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 11485-11487 | |
(domain objectTransferred 1 Transfer) | Merge.kif 11482-11482 | objectTransferred の数値 1 引数は 移動 の instance では |
(domain objectTransferred 2 Object) | Merge.kif 11483-11483 | objectTransferred の数値 2 引数は オブジェクト の instance では |
(instance objectTransferred CaseRole) | Merge.kif 11480-11480 | objectTransferred は 格役割 の instance では |
(subrelation objectTransferred patient) | Merge.kif 11481-11481 | objectTransferred は patient の subrelation では |
appearance as argument number 2 |
![]() |
(format EnglishLanguage objectTransferred "the object transferred in %1 is %n %2") | Merge.kif 11484-11484 | |
(subrelation passenger objectTransferred) | Mid-level-ontology.kif 32695-32695 | passenger は objectTransferred の subrelation では |
(subrelation transported objectTransferred) | Mid-level-ontology.kif 24501-24501 | transported は objectTransferred の subrelation では |
(termFormat EnglishLanguage objectTransferred "object transferred") | domainEnglishFormat.kif 65898-65898 | transported は 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 は DownloadingOverNetwork の instance では iBookstore は ?D の instrument では ?T は テキスト の instance では objectTransferred ?D and ?T の 目的 |
![]() |
![]() |