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 | Die Zahl 1 Argument von objectTransferred ist ein fall von Transfer %n{nicht} |
(domain objectTransferred 2 Object) | Merge.kif 11355-11355 | Die Zahl 2 Argument von objectTransferred ist ein fall von Object %n{nicht} |
(instance objectTransferred CaseRole) | Merge.kif 11352-11352 | objectTransferred ist ein fall von CaseRole %n{nicht} |
(subrelation objectTransferred patient) | Merge.kif 11353-11353 | objectTransferred ist eine teilrelation von 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 ist eine teilrelation von objectTransferred |
(termFormat EnglishLanguage objectTransferred "object transferred") | domainEnglishFormat.kif 65887-65887 |
antecedent |
![]() |
(=> (and (instance ?B Bequeathing) (agent ?B ?P) (destination ?B ?H) (objectTransferred ?B ?PROP)) (exists (?D) (and (instance ?D Death) (experiencer ?D ?P) (earlier (WhenFn ?D) (WhenFn ?B)) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (possesses ?P ?PROP)) (confersNorm ?P (possesses ?H ?PROP) Permission)))) |
Mid-level-ontology.kif 18678-18694 |
|
(=> (and (instance ?BI BreakthroughInfection) (objectTransferred ?BI ?V) (instance ?V ?VC) (experiencer ?BI ?H)) (exists (?VAX) (and (instance ?VAX Vaccination) (experiencer ?VAX ?H) (vaccine ?VACCINECLASS ?VC) (instance ?VACCINE ?VACCINECLASS) (objectTransferred ?VAX ?VACCINE) (earlier (WhenFn ?VAX) (WhenFn ?BI))))) |
Medicine.kif 3179-3194 |
|
(=> (and (instance ?E Exhaust) (material Fuel ?E) (instance ?T Transfer) (instance ?ENG Engine) (origin ?T ?ENG) (instance ?CC CatalyticConverter) (destination ?T ?CC) (objectTransferred ?T ?E)) (hasPurpose ?CC (exists (?C) (and (instance ?C Combustion) (instrument ?C ?CC) (patient ?C ?E) (eventLocated ?C ?CC))))) |
Cars.kif 1723-1739 |
|
(=> (and (instance ?EM Electromagnet) (instance ?T Transfer) (instance ?E Electricity) (objectTransferred ?T ?E) (path ?T ?EM)) (exists (?M) (and (instance ?M Magnetism) (instrument ?M ?EM)))) |
Cars.kif 3901-3911 |
|
(=> (and (instance ?EM Electromagnet) (not (holdsDuring ?T1 (exists (?T ?E) (and (instance ?T Transfer) (instance ?E Electricity) (objectTransferred ?T ?E) (path ?T ?EM)))))) (not (holdsDuring ?T1 (exists (?M) (and (instance ?M Magnetism) (instrument ?M ?EM)))))) |
Cars.kif 3913-3929 |
|
(=> (and (instance ?I Ingesting) (experiencer ?I ?H) (objectTransferred ?I ?D) (instance ?D ?DC) (pathologicSideEffect ?DC ?DIS)) (modalAttribute (exists (?P) (and (instance ?P ?DIS) (experiencer ?H ?P))) Likely)) |
WMD.kif 1563-1575 |
|
(=> (and (instance ?I Ingesting) (experiencer ?I ?H) (objectTransferred ?I ?D) (instance ?D ?DC) (sideEffect ?DC ?DIS)) (modalAttribute (attribute ?H ?DIS) Likely)) |
WMD.kif 1545-1554 |
|
(=> (and (instance ?I Ingesting) (experiencer ?I ?H) (objectTransferred ?I ?MS) (instance ?MS MoodStabilizer) (instance ?E ?EC) (involvedInEvent ?E ?H) (holdsDuring (WhenFn ?E) (attribute ?H ?ES)) (instance ?ES EmotionalState) (instance ?E2 ?EC) (involvedInEvent ?E2 ?H) (earlier (WhenFn ?E2) (WhenFn ?I))) (modalAttribute (not (holdsDuring ?E2 (attribute ?H ?ES))) Unlikely)) |
Mid-level-ontology.kif 9773-9794 |
|
(=> (and (instance ?I Ingesting) (objectTransferred ?I ?H) (instance ?H Hallucinogen) (destination ?I ?P)) (modalAttribute (exists (?HAL) (and (instance ?HAL Hallucination) (experiencer ?HAL ?P))) Likely)) |
TransnationalIssues.kif 88-99 |
|
(=> (and (instance ?I Injecting) (instance ?A Adalimumab) (objectTransferred ?I ?A) (located ?I ?BP) (instance ?BP BodyPart) (destination ?I ?H)) (modalAttribute (exists (?T) (and (holdsDuring ?T (attribute ?H (PainFn ?BP))) (during ?T (FutureFn (WhenFn ?I))))) Likely)) |
Medicine.kif 3628-3644 |
|
(=> (and (instance ?I Intubation) (instance ?T Tube) (objectTransferred ?I ?T) (experiencer ?I ?H)) (exists (?TH) (and (instance ?TH Trachea) (part ?TH ?H) (destination ?I ?TH)))) |
Medicine.kif 4135-4145 |
|
(=> (and (instance ?I Intubation) (instance ?T Tube) (objectTransferred ?I ?T) (experiencer ?I ?H)) (hasPurpose ?I (exists (?B) (and (instance ?B Breathing) (instrument ?B ?T))))) |
Medicine.kif 4123-4133 |
|
(=> (and (instance ?M MoveToEvac) (objectTransferred ?M ?P)) (hasPurpose ?M (exists (?E) (and (instance ?E Evacuation) (objectTransferred ?E ?P) (earlier (WhenFn ?M) (WhenFn ?E)))))) |
Medicine.kif 6532-6543 |
|
(=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O Inside)) (objectTransferred ?T ?O2)) |
Merge.kif 11374-11379 |
|
(=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O On)) (objectTransferred ?T ?O2)) |
Merge.kif 11381-11386 |
|
(=> (and (instance ?V Vending) (objectTransferred ?V ?O) (not (instance ?O Currency))) (modalAttribute (or (instance ?O (FoodForFn Human)) (instance ?O Beverage)) Likely)) |
Mid-level-ontology.kif 1986-1995 | |
(=> (and (instance ?VCS VentedChestSeal) (instance ?A Attaching) (objectTransferred ?A ?VCS) (destination ?A ?H)) (hasPurpose ?VCS (exists (?A ?L ?C ?H) (and (instance ?A Air) (instance ?L Lung) (instance ?C Chest) (part ?L ?H) (part ?C ?H) (holdsDuring (ImmediatePastFn (WhenFn ?A)) (between ?L ?A ?C)) (hasPurpose ?VCS (holdsDuring (ImmediateFutureFn (WhenFn ?A)) (orientation ?A ?H Outside))))))) |
Medicine.kif 853-875 |
|
(=> (and (vaccine ?VAC ?VIR) (instance ?V Vaccination) (experiencer ?V ?H) (instance ?VACI ?VAC) (objectTransferred ?V ?VACI)) (hasPurpose ?VACI (not (exists (?I ?VIRI) (and (instance ?I Infecting) (experiencer ?I ?H) (instance ?VIRI ?VIR) (objectTransferred ?I ?VIRI)))))) |
WMD.kif 1089-1103 |
|
(=> (objectTransferred ?P ?OBJ) (exists (?O ?D) (and (origin ?P ?O) (destination ?P ?D) (holdsDuring (ImmediatePastFn ?P) (located ?OBJ ?O)) (holdsDuring (ImmediateFutureFn ?P) (located ?OBJ ?D))))) |
Merge.kif 11361-11372 |
|
consequent |
![]() |
statement |
![]() |
(hasPurpose IBookstore (exists (?D) (and (instance ?D DownloadingOverNetwork) (instrument ?D IBookstore) (instance ?T Text) (objectTransferred ?D ?T)))) |
ComputingBrands.kif 3309-3315 | IBookstore hat Zweck von es gibt ?D um ?D ist ein fall von DownloadingOverNetwork %n{nicht} und IBookstore ist ein instrument fuer ?D %n{nicht} und ?T ist ein fall von Text %n{nicht} und objectTransferred ?D and ?T %n{nicht} |
![]() |
![]() |