Transfer
|
|
appearance as argument number 1 |
(documentation Transfer ChineseLanguage "这是当 agent 和 patient 不是同一样的东西时的任何 Translocation 的 instance。") | chinese_format.kif 4066-4066 | |
(documentation Transfer EnglishLanguage "Any instance of Translocation where the agent and the patient are not the same thing.") | Merge.kif 11294-11295 | |
(documentation Transfer JapaneseLanguage "agent と patient が同じではない Translocation の instance 。") | japanese_format.kif 1795-1796 | |
(externalImage Transfer "http://upload.wikimedia.org/wikipedia/commons/2/ 29/ VAB_transfer_aisle.jpg") | pictureList.kif 12019-12019 | |
(externalImage Transfer "http://upload.wikimedia.org/wikipedia/commons/2/ 2a/ Commercial_Titan_3_launching_Mars_Observer.jpg") | pictureList.kif 12022-12022 | |
(externalImage Transfer "http://upload.wikimedia.org/wikipedia/commons/2/ 2f/ Ponderosa_elevator.JPG") | pictureList.kif 12023-12023 | |
(externalImage Transfer "http://upload.wikimedia.org/wikipedia/commons/6/ 68/ Chinese_rocket_part_in_transfer.jpg") | pictureList.kif 12020-12020 | |
(externalImage Transfer "http://upload.wikimedia.org/wikipedia/commons/7/ 70/ Escalators_Canary_Wharf.jpg") | pictureList.kif 12024-12024 | |
(externalImage Transfer "http://upload.wikimedia.org/wikipedia/commons/8/ 8c/ Escrolantesgranvia.jpg") | pictureList.kif 12025-12025 | |
(externalImage Transfer "http://upload.wikimedia.org/wikipedia/commons/d/ d5/ Public_Transfer_TrolleyBus_Bratislava.jpg") | pictureList.kif 12018-12018 | |
(externalImage Transfer "http://upload.wikimedia.org/wikipedia/commons/f/ f0/ Nasa_space_elev.jpg") | pictureList.kif 12021-12021 | |
(subclass Transfer Translocation) | Merge.kif 11292-11292 | 子類 Transfer and 易位 |
appearance as argument number 2 |
appearance as argument number 3 |
(domain beforeOnPath 4 Transfer) | Mid-level-ontology.kif 29772-29772 | 域 beforeOnPath, 4 and Transfer |
(domain objectTransferred 1 Transfer) | Merge.kif 11332-11332 | 域 objectTransferred, 1 and Transfer |
antecedent |
(=> (and (betweenOnPath ?O1 ?O2 ?O3 ?PATH) (instance ?T Transfer) (path ?T ?PATH) (origin ?T ?O1) (destination ?T ?O3)) (and (beforeOnPath ?O1 ?O2 ?PATH ?T) (beforeOnPath ?O2 ?O3 ?PATH ?T))) |
Mid-level-ontology.kif 29779-29788 | |
(=> (and (instance ?ARTERY Artery) (instance ?TRANSFER Transfer) (patient ?TRANSFER ?BLOOD) (instrument ?TRANSFER ?ARTERY) (instance ?BLOOD Blood)) (exists (?HEART) (and (instance ?HEART Heart) (origin ?TRANSFER ?HEART)))) |
Mid-level-ontology.kif 11108-11118 | |
(=> (and (instance ?ARTERY PulmonaryArtery) (instance ?TRANSFER Transfer) (patient ?TRANSFER ?BLOOD) (instrument ?TRANSFER ?ARTERY) (instance ?BLOOD Blood)) (exists (?LUNG) (and (instance ?LUNG Lung) (destination ?TRANSFER ?LUNG)))) |
Mid-level-ontology.kif 11141-11151 | |
(=> (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 1717-1733 |
|
(=> (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 3893-3903 | |
(=> (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 3905-3921 | |
(=> (and (instance ?T Tailpipe) (instance ?TR Transfer) (instance ?E Exhaust) (instance ?A Automobile) (instance ?AES AutomobileExhaustSystem) (part ?T ?A) (path ?TR ?T) (patient ?TR ?E)) (hasPurpose ?T (not (exists (?O) (and (part ?O ?A) (beforeOnPath ?T ?O ?AES ?TR)))))) |
Cars.kif 4046-4061 | |
(=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O Inside)) (objectTransferred ?T ?O2)) |
Merge.kif 11352-11357 | |
(=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O On)) (objectTransferred ?T ?O2)) |
Merge.kif 11359-11364 | |
(=> (and (instance ?TRANSFER Transfer) (agent ?TRANSFER ?AGENT) (patient ?TRANSFER ?PATIENT)) (not (equal ?AGENT ?PATIENT))) |
Merge.kif 11297-11303 | |
(=> (and (instance ?V PulmonaryVein) (instance ?T Transfer) (patient ?T ?B) (instrument ?T ?V) (instance ?B Blood)) (exists (?L ?H ?P) (and (instance ?L Lung) (origin ?T ?L) (part ?V ?P) (part ?L ?P) (part ?H ?P) (instance ?H Heart) (destination ?T ?H)))) |
Mid-level-ontology.kif 11157-11172 | |
(=> (and (instance ?V Vein) (instance ?T Transfer) (patient ?T ?B) (instrument ?T ?V) (instance ?B Blood)) (exists (?H) (and (instance ?H Heart) (destination ?T ?H)))) |
Mid-level-ontology.kif 11125-11135 |
consequent |