Transfer more pictures... |
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 11340-11341 | |
(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 11338-11338 |
appearance as argument number 2 |
(subclass Carrying Transfer) | Merge.kif 11412-11412 | |
(subclass ChangingClothing Transfer) | Mid-level-ontology.kif 5514-5514 | |
(subclass DeliveryService Transfer) | Dining.kif 526-526 | |
(subclass ElectricTransmission Transfer) | Cars.kif 2365-2365 | |
(subclass Impelling Transfer) | Merge.kif 11514-11514 | |
(subclass Ingesting Transfer) | Merge.kif 10283-10283 | |
(subclass IntraosseousInfusion Transfer) | Medicine.kif 1169-1169 | |
(subclass Mailing Transfer) | Mid-level-ontology.kif 6641-6641 | |
(subclass Messaging Transfer) | Mid-level-ontology.kif 6645-6645 | |
(subclass MovingResidence Transfer) | Mid-level-ontology.kif 18082-18082 | |
(subclass Pouring Transfer) | Mid-level-ontology.kif 17561-17561 | |
(subclass Putting Transfer) | Merge.kif 11445-11445 | |
(subclass Releasing Transfer) | Merge.kif 11564-11564 | |
(subclass Removing Transfer) | Merge.kif 11424-11424 | |
(subclass Spraying Transfer) | Mid-level-ontology.kif 17630-17630 | |
(subclass Substituting Transfer) | Merge.kif 11494-11494 | |
(subclass Swallowing Transfer) | Mid-level-ontology.kif 6582-6582 | |
(subclass Touching Transfer) | Merge.kif 11526-11526 | |
(termFormat ChineseLanguage Transfer "转移") | chinese_format.kif 1119-1119 | |
(termFormat EnglishLanguage Transfer "transfer") | english_format.kif 1455-1455 | |
(termFormat FrenchLanguage Transfer "transf�re") | french_format.kif 797-797 | |
(termFormat Hindi Transfer "sthaanaantarana") | terms-hindi.txt 329-329 | |
(termFormat ItalianLanguage Transfer "Trasferimento") | terms-it.txt 332-332 | |
(termFormat JapaneseLanguage Transfer "移動") | japanese_format.kif 2481-2481 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
(domain beforeOnPath 4 Transfer) | Mid-level-ontology.kif 29797-29797 | |
(domain objectTransferred 1 Transfer) | Merge.kif 11378-11378 |
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 29804-29813 | |
(=> (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 11135-11145 | |
(=> (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 11168-11178 | |
(=> (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 3878-3888 | |
(=> (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 3890-3906 | |
(=> (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 4031-4046 | |
(=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O Inside)) (objectTransferred ?T ?O2)) |
Merge.kif 11398-11403 | |
(=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O On)) (objectTransferred ?T ?O2)) |
Merge.kif 11405-11410 | |
(=> (and (instance ?TRANSFER Transfer) (agent ?TRANSFER ?AGENT) (patient ?TRANSFER ?PATIENT)) (not (equal ?AGENT ?PATIENT))) |
Merge.kif 11343-11349 | |
(=> (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 11184-11199 | |
(=> (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 11152-11162 |
consequent |
(=> (and (instance ?AS AutomobileShock) (instance ?C Compressing) (instance ?H HoleRegion) (attribute ?F Fluid) (equal ?AS (HoleHostFn ?H)) (contains ?AS ?F) (patient ?C ?AS)) (exists (?T) (and (instance ?T Transfer) (objectTransferred ?T ?F) (path ?T ?H) (causes ?C ?T)))) |
Cars.kif 871-885 | |
(=> (and (instance ?E Edema) (experiencer ?E ?A)) (exists (?T ?P ?L) (and (instance ?T Transfer) (instance ?L Liquid) (instance ?P BodyPart) (part ?P ?A) (destination ?T ?P) (moves ?T ?L) (subProcess ?T ?E)))) |
Mid-level-ontology.kif 9991-10003 | |
(=> (and (instance ?GERD GERefluxDisease) (experiencer ?GERD ?H)) (exists (?T ?S ?E) (and (instance ?T Transfer) (origin ?T ?S) (instance ?S Stomach) (instance ?E Esophagus) (destination ?T ?E) (part ?S ?H) (part ?E ?H) (subProcess ?T ?GERD)))) |
Medicine.kif 1916-1929 | |
(=> (and (instance ?X DutyTax) (refers ?X ?OBJ) (patient ?X ?OBJ)) (exists (?T ?N1 ?N2) (and (instance ?T Transfer) (patient ?T ?OBJ) (origin ?T ?N1) (destination ?T ?N2) (instance ?N1 Nation) (instance ?N2 Nation) (not (equal ?N1 ?N2)) (earlier (WhenFn ?T) (WhenFn ?X)) (causes ?T ?X)))) |
FinancialOntology.kif 949-964 | |
(=> (instance ?AI AirIntake) (hasPurpose ?AI (exists (?A ?E ?T) (and (instance ?A Air) (instance ?E Engine) (instance ?T Transfer) (origin ?T ?AI) (destination ?T ?E) (patient ?T ?A))))) |
Cars.kif 973-983 | |
(=> (instance ?BAG Bag) (hasPurpose ?BAG (exists (?T ?OBJ) (and (instance ?T Transfer) (instance ?OBJ Object) (contains ?BAG ?OBJ) (instrument ?T ?BAG) (patient ?T ?OBJ))))) |
Mid-level-ontology.kif 4456-4465 | |
(=> (instance ?EM ExhaustManifold) (hasPurpose ?EM (exists (?A ?E ?C ?M ?T) (and (instance ?A Automobile) (instance ?E Exhaust) (instance ?C EngineCylinder) (instance ?M AutomobileMuffler) (instance ?T Transfer) (part ?EM ?A) (part ?C ?A) (part ?M ?A) (origin ?T ?C) (destination ?T ?M) (patient ?T ?E) (instrument ?T ?E))))) |
Cars.kif 2612-2628 | |
(=> (instance ?EV ExhaustValve) (hasPurpose ?EV (exists (?E ?T) (and (instance ?T Transfer) (objectTransferred ?T ?E) (path ?T ?EV) (instance ?E Exhaust))))) |
Cars.kif 2648-2656 | |
(=> (instance ?GP GasPedal) (hasPurpose ?GP (exists (?P ?T ?F ?E ?A) (and (instance ?P Pushing) (instance ?T Transfer) (instance ?F Fuel) (instance ?E Engine) (instance ?A Automobile) (part ?GP ?A) (part ?E ?A) (destination ?P ?GP) (destination ?T ?E) (patient ?T ?F) (causes ?P ?T))))) |
Cars.kif 2523-2538 | |
(=> (instance ?GT GasTank) (hasPurpose ?GT (exists (?F ?T ?E) (and (instance ?F Fuel) (contains ?GT ?F) (instance ?E Engine) (instance ?T Transfer) (origin ?T ?GT) (destination ?T ?E) (patient ?T ?F))))) |
Cars.kif 1000-1011 | |
(=> (instance ?HEART Heart) (exists (?TRANSFER ?BLOOD) (and (instance ?TRANSFER Transfer) (instance ?BLOOD Blood) (instrument ?TRANSFER ?HEART) (patient ?TRANSFER ?BLOOD)))) |
Mid-level-ontology.kif 11368-11375 | |
(=> (instance ?IV IntakeValve) (hasPurpose ?IV (exists (?A ?FV ?CC ?T) (and (instance ?A Automobile) (instance ?FV FuelVapor) (instance ?CC CombustionChamber) (instance ?T Transfer) (part ?IV ?A) (part ?CC ?A) (patient ?T ?FV) (path ?T ?IV) (destination ?T ?CC))))) |
Cars.kif 2673-2686 | |
(=> (instance ?MAS MassAirflowSensor) (hasPurpose ?MAS (exists (?T ?M ?A) (and (instance ?T Transfer) (instance ?A Air) (patient ?T ?A) (instance ?M Measuring) (patient ?M ?A) (instrument ?M ?MAS))))) |
Cars.kif 3288-3298 | |
(=> (instance ?MHCV ManifoldHeatControlValve) (hasPurpose ?MHCV (exists (?H ?O ?E ?FV ?T) (and (instance ?H Heating) (instance ?O Opening) (instance ?E Exhaust) (instance ?T Transfer) (instance ?FV FuelVapor) (patient ?O ?MHCV) (instrument ?H ?E) (patient ?H ?FV) (path ?T ?MHCV) (causes ?O ?T) (causes ?T ?H))))) |
Cars.kif 3247-3262 | |
(=> (instance ?PCVV PositiveCrankcaseVentilationValve) (hasPurpose ?PCVV (exists (?CR ?F ?CC ?T ?A) (and (instance ?CR Crankcase) (instance ?F Fuel) (instance ?CC CombustionChamber) (instance ?T Transfer) (instance ?A Automobile) (part ?CR ?A) (part ?CC ?A) (part ?PCVV ?A) (origin ?T ?CR) (destination ?T ?CC) (objectTransferred ?T ?F) (path ?T ?PCVV))))) |
Cars.kif 3803-3819 | |
(=> (instance ?ROOT PlantRoot) (hasPurpose ?ROOT (exists (?TRAN ?STUFF ?HOST) (and (instance ?TRAN Transfer) (instrument ?TRAN ?ROOT) (origin ?TRAN ?HOST) (orientation ?HOST ?ROOT Outside) (objectTransferred ?TRAN ?STUFF) (or (instance ?STUFF FreshWater) (instance ?STUFF Nutrient)))))) |
Mid-level-ontology.kif 9534-9546 | |
(=> (instance ?STEM PlantStem) (hasPurpose ?STEM (exists (?TRAN ?ROOT ?SUB) (and (instance ?TRAN Transfer) (instrument ?TRAN ?STEM) (instance ?ROOT PlantRoot) (origin ?TRAN ?ROOT) (instance ?SUB Substance) (attribute ?SUB Fluid) (objectTransferred ?TRAN ?SUB))))) |
Mid-level-ontology.kif 9573-9584 | |
(=> (instance ?T Tube) (hasPurpose ?T (exists (?P ?OBJ) (and (instance ?P Transfer) (path ?P ?T) (patient ?P ?OBJ) (attribute ?OBJ Fluid))))) |
Mid-level-ontology.kif 1520-1528 | |
(=> (instance ?V Valve) (hasPurpose ?V (exists (?FLUID ?PROC ?FLOW) (and (instance ?FLOW Transfer) (path ?FLOW ?V) (patient ?FLOW ?FLUID) (attribute ?FLUID Fluid) (instance ?PROC Process) (instrument ?PROC ?V) (patient ?PROC ?FLOW))))) |
engineering.kif 914-925 | |
(=> (instance ?VESSEL BloodVessel) (exists (?BLOOD ?TRANSFER) (and (instance ?BLOOD Blood) (instance ?TRANSFER Transfer) (patient ?TRANSFER ?BLOOD) (instrument ?TRANSFER ?VESSEL)))) |
Mid-level-ontology.kif 11109-11116 | |
(=> (instance ?VRR VehicleRoofRack) (hasPurpose ?VRR (exists (?T ?A ?C) (and (instance ?T Transfer) (patient ?T ?C) (instance ?A Automobile) (orientation ?VRR ?A Outside) (meetsSpatially ?C ?VRR) (part ?VRR ?A) (instrument ?T ?A))))) |
Cars.kif 4654-4665 | |
(=> (instance ?WP WaterPump) (hasPurpose ?WP (exists (?T ?W) (and (instance ?T Transfer) (instance ?W FreshWater) (objectTransferred ?T ?W) (instrument ?T ?WP))))) |
Cars.kif 2752-2760 | |
(=> (orientation ?O1 ?O2 Downstream) (exists (?T ?L ?P) (and (instance ?T Transfer) (attribute ?L Liquid) (path ?T ?P) (origin ?T ?O2) (beforeOnPath ?O2 ?O1 ?P ?T) (destination ?T ?O1)))) |
Mid-level-ontology.kif 29826-29835 | |
(=> (orientation ?O1 ?O2 Upstream) (exists (?T ?L ?P) (and (instance ?T Transfer) (attribute ?L Liquid) (path ?T ?P) (origin ?T ?O1) (beforeOnPath ?O1 ?O2 ?P ?T) (destination ?T ?O2)))) |
Mid-level-ontology.kif 29815-29824 | |
(=> (orientation ?O1 ?O2 Upwind) (exists (?T ?L ?P) (and (instance ?T Transfer) (attribute ?L Liquid) (path ?T ?P) (origin ?T ?O1) (beforeOnPath ?O1 ?O2 ?P ?T) (destination ?T ?O2)))) |
Mid-level-ontology.kif 29837-29846 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |