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 11335-11337 | |
(domain objectTransferred 1 Transfer) | Merge.kif 11332-11332 | Il numero 1 argomenti di objectTransferred è un istanza di Trasferimento |
(domain objectTransferred 2 Object) | Merge.kif 11333-11333 | Il numero 2 argomenti di objectTransferred è un istanza di Oggetto |
(instance objectTransferred CaseRole) | Merge.kif 11330-11330 | objectTransferred è un' istanza di RuoloSemantico |
(subrelation objectTransferred patient) | Merge.kif 11331-11331 | objectTransferred è una sottorelazione di patient |
appearance as argument number 2 |
(format EnglishLanguage objectTransferred "the object transferred in %1 is %n %2") | Merge.kif 11334-11334 | |
(subrelation passenger objectTransferred) | Mid-level-ontology.kif 30761-30761 | passenger è una sottorelazione di 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 ha scopo ?D ?D è un' istanza di DownloadingOverNetwork IBookstore è uno strumento per ?D ?T è un' istanza di Testo objectTransferred ?D and ?T |