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 11357-11359 | |
(domain objectTransferred 1 Transfer) | Merge.kif 11354-11354 | Le nombre 1 argument de objectTransferred est une instance de transf�re |
(domain objectTransferred 2 Object) | Merge.kif 11355-11355 | Le nombre 2 argument de objectTransferred est une instance de objet |
(instance objectTransferred CaseRole) | Merge.kif 11352-11352 | objectTransferred est une instance de r�le d�pendant du cas |
(subrelation objectTransferred patient) | Merge.kif 11353-11353 | objectTransferred est une sous-relation de patient |
appearance as argument number 2 |
![]() |
(format EnglishLanguage objectTransferred "the object transferred in %1 is %n %2") | Merge.kif 11356-11356 | |
(subrelation passenger objectTransferred) | Mid-level-ontology.kif 30749-30749 | passenger est une sous-relation de objectTransferred |
(termFormat EnglishLanguage objectTransferred "object transferred") | domainEnglishFormat.kif 65887-65887 |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(hasPurpose IBookstore (exists (?D) (and (instance ?D DownloadingOverNetwork) (instrument ?D IBookstore) (instance ?T Text) (objectTransferred ?D ?T)))) |
ComputingBrands.kif 3309-3315 | IBookstore a pour but ?D ?D est une instance de DownloadingOverNetwork IBookstore est un instrument pour ?D ?T est une instance de texte objectTransferred ?D and ?T |
![]() |
![]() |