more pictures...
| Transfer(transfer)
more pictures... | | FTP, SCNT, air-freight, air-ship, airfreight, attract, backpacking, birl, birle, blow, bowl, bring, bring_down, bring_in, bucket, carry, cast, castle, castling, cattle_drive, circularise, circularize, circulate, circulating, circumfuse, circumvolve, clap, closing, coal, contrive, convect, convey, deliver, deracination, despatch, deviate, direct, dispatch, displace, displacement, distribute, divert, drag, draw, draw_back, draw_close, drive, drive_out, express, expulsion... |
| appearance as argument number 1 |
|
|
| (subclass Transfer Translocation) | Merge.kif 11462-11462 | Transfer is a subclass of translocation |
| (documentation Transfer EnglishLanguage "Any instance of Translocation where the agent and the patient are not the same thing.") | Merge.kif 11464-11465 | Transfer is a subclass of translocation |
| (externalImage Transfer "http://upload.wikimedia.org/wikipedia/commons/d/ d5/ Public_Transfer_TrolleyBus_Bratislava.jpg") | pictureList.kif 12011-12011 | Transfer is a subclass of translocation |
| (externalImage Transfer "http://upload.wikimedia.org/wikipedia/commons/2/ 29/ VAB_transfer_aisle.jpg") | pictureList.kif 12012-12012 | Transfer is a subclass of translocation |
| (externalImage Transfer "http://upload.wikimedia.org/wikipedia/commons/6/ 68/ Chinese_rocket_part_in_transfer.jpg") | pictureList.kif 12013-12013 | Transfer is a subclass of translocation |
| (externalImage Transfer "http://upload.wikimedia.org/wikipedia/commons/f/ f0/ Nasa_space_elev.jpg") | pictureList.kif 12014-12014 | Transfer is a subclass of translocation |
| (externalImage Transfer "http://upload.wikimedia.org/wikipedia/commons/2/ 2a/ Commercial_Titan_3_launching_Mars_Observer.jpg") | pictureList.kif 12015-12015 | Transfer is a subclass of translocation |
| (externalImage Transfer "http://upload.wikimedia.org/wikipedia/commons/2/ 2f/ Ponderosa_elevator.JPG") | pictureList.kif 12016-12016 | Transfer is a subclass of translocation |
| (externalImage Transfer "http://upload.wikimedia.org/wikipedia/commons/7/ 70/ Escalators_Canary_Wharf.jpg") | pictureList.kif 12017-12017 | Transfer is a subclass of translocation |
| (externalImage Transfer "http://upload.wikimedia.org/wikipedia/commons/8/ 8c/ Escrolantesgranvia.jpg") | pictureList.kif 12018-12018 | Transfer is a subclass of translocation |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain objectTransferred 1 Transfer) | Merge.kif 11502-11502 | The number 1 argument of object transferred is an instance of transfer |
| (domain beforeOnPath 4 Transfer) | Mid-level-ontology.kif 32434-32434 | The number 4 argument of before on path is an instance of transfer |
| (domain passenger 1 Transfer) | Mid-level-ontology.kif 33475-33475 | The number 1 argument of passenger is an instance of transfer |
| antecedent |
|
|
| (=> (and (instance ?TRANSFER Transfer) (agent ?TRANSFER ?AGENT) (patient ?TRANSFER ?PATIENT)) (not (equal ?AGENT ?PATIENT))) |
Merge.kif 11467-11473 | If X is an instance of transfer, Y is an agent of X, and Z is a patient of X, then equal Y and Z |
| (=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O Inside)) (objectTransferred ?T ?O2)) |
Merge.kif 11522-11527 | If X is an instance of transfer, the object transferred in X is Y, and Z is inside the to Y, then the object transferred in X is Z |
| (=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O On)) (objectTransferred ?T ?O2)) |
Merge.kif 11529-11534 | If X is an instance of transfer, the object transferred in X is Y, and Z is on to Y, then the object transferred in X is Z |
| (=> (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 12501-12511 | If X is an instance of artery, Y is an instance of transfer, Z is a patient of Y, X is an instrument for Y, and Z is an instance of blood, then there exists W such that W is an instance of heart and Y originates at W |
| (=> (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 12518-12528 | If X is an instance of vein, Y is an instance of transfer, Z is a patient of Y, X is an instrument for Y, and Z is an instance of blood, then there exists W such that W is an instance of heart and Y ends up at W |
| (=> (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 12534-12544 | If X is an instance of pulmonary artery, Y is an instance of transfer, Z is a patient of Y, X is an instrument for Y, and Z is an instance of blood, then there exists W such that W is an instance of lung and Y ends up at W |
| (=> (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 12550-12565 | If X is an instance of pulmonary vein, Y is an instance of transfer, Z is a patient of Y, X is an instrument for Y, and Z is an instance of blood, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of lung (3) Y originates at W (4) X is a part of U (5) W is a part of U (6) V is a part of U (7) V is an instance of heart (8) Y ends up at V |
| (=> (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 32441-32450 | If X is between Y and Z on path W, V is an instance of transfer, W is path along which V occurs, V originates at Y, and V ends up at Z, then Y before X on path W during V and X before Z on path W during V |
| (=> (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 1724-1740 | If All of the following hold: (1) X is an instance of exhaust (2) X is made of fuel (3) Y is an instance of transfer (4) Z is an instance of engine (5) Y originates at Z (6) W is an instance of catalytic converter (7) Y ends up at W (8) the object transferred in Y is X, then W has the purpose there exists V such that V is an instance of burning, W is an instrument for V, X is a patient of V, and V is located at W |
| (=> (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 3971-3981 | If X is an instance of electromagnet, Y is an instance of transfer, Z is an instance of electricity, the object transferred in Y is Z, and X is path along which Y occurs, then there exists W such that W is an instance of magnetism and X is an instrument for W |
| (=> (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 3983-3999 | If X is an instance of electromagnet and there don't exist Y, Z such that Y is an instance of transfer, Z is an instance of electricity, the object transferred in Y is Z, and X is path along which Y occurs doesn't hold during W, then there doesn't exist V such that V is an instance of magnetism and X is an instrument for V doesn't hold during W |
| (=> (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 4124-4139 | If All of the following hold: (1) X is an instance of tailpipe (2) Y is an instance of transfer (3) Z is an instance of exhaust (4) W is an instance of automobile (5) V is an instance of exhaust system (6) X is a part of W (7) X is path along which Y occurs (8) Z is a patient of Y, then X has the purpose there doesn't exist U such that U is a part of W and X before U on path V during Y |
| consequent |
|
|
| (=> (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 1762-1770 | If X is an instance of tube, then X has the purpose there exist Y, Z such that Y is an instance of transfer, X is path along which Y occurs, Z is a patient of Y, and fluid is an attribute of Z |
| (=> (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 4923-4932 | If X is an instance of bag, then X has the purpose there exist Y, Z such that Y is an instance of transfer, Z is an instance of object, X contains Z, X is an instrument for Y, and Z is a patient of Y |
| (=> (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 10876-10888 | If X is an instance of plant root, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of transfer (3) X is an instrument for Y (4) Y originates at W (5) W is outside of to X (6) the object transferred in Y is Z (7) Z is an instance of freshwater or Z is an instance of nutrient |
| (=> (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 10915-10926 | If X is an instance of plant stem, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of transfer (3) X is an instrument for Y (4) Z is an instance of plant root (5) Y originates at Z (6) W is an instance of substance (7) fluid is an attribute of W (8) the object transferred in Y is W |
| (=> (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 11333-11345 | If X is an instance of swelling and Y experiences X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of transfer (3) V is an instance of liquid (4) W is an instance of body part (5) W is a part of Y (6) Z ends up at W (7) V moves during Z (8) Z is a subprocess of X |
| (=> (instance ?VESSEL BloodVessel) (exists (?BLOOD ?TRANSFER) (and (instance ?BLOOD Blood) (instance ?TRANSFER Transfer) (patient ?TRANSFER ?BLOOD) (instrument ?TRANSFER ?VESSEL)))) |
Mid-level-ontology.kif 12475-12482 | If X is an instance of blood vessel, then there exist Y, Z such that Y is an instance of blood, Z is an instance of transfer, Y is a patient of Z, and X is an instrument for Z |
| (=> (instance ?HEART Heart) (exists (?TRANSFER ?BLOOD) (and (instance ?TRANSFER Transfer) (instance ?BLOOD Blood) (instrument ?TRANSFER ?HEART) (patient ?TRANSFER ?BLOOD)))) |
Mid-level-ontology.kif 12738-12745 | If X is an instance of heart, then there exist Y, Z such that Y is an instance of transfer, Z is an instance of blood, X is an instrument for Y, and Z is a patient of Y |
| (=> (and (instance ?O Object) (equal ?O (HoleHostFn ?H)) (holdsDuring ?T (attribute ?O Open))) (holdsDuring ?T (modalAttribute (exists (?MOVE ?THING) (and (instance ?MOVE Transfer) (objectTransferred ?MOVE ?THING) (destination ?MOVE ?H))) Possibility))) |
Mid-level-ontology.kif 23867-23880 | If X is an instance of object, equal X and the host of the hole Y, and open is an attribute of X holds during Z, then the statement there exist W, V such that W is an instance of transfer, the object transferred in W is V, and W ends up at Y has the modal force of possibility holds during Z |
| (=> (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 32452-32461 | If X is upstream from to Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of transfer (3) liquid is an attribute of W (4) V is path along which Z occurs (5) Z originates at X (6) X before Y on path V during Z (7) Z ends up at Y |
| (=> (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 32463-32472 | If X is downstream from to Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of transfer (3) liquid is an attribute of W (4) V is path along which Z occurs (5) Z originates at Y (6) Y before X on path V during Z (7) Z ends up at X |
| (=> (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 32474-32483 | If X is upwind from to Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of transfer (3) liquid is an attribute of W (4) V is path along which Z occurs (5) Z originates at X (6) X before Y on path V during Z (7) Z ends up at Y |
| (=> (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 | If All of the following hold: (1) X is an instance of shock (2) Y is an instance of compressing (3) Z is an instance of hole (4) fluid is an attribute of W (5) equal X and the host of the hole Z (6) X contains W (7) X is a patient of Y, then there exists V such that V is an instance of transfer, the object transferred in V is W, Z is path along which V occurs, and Y causes V |
| (=> (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 | If X is an instance of air intake, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of air (3) Z is an instance of engine (4) W is an instance of transfer (5) W originates at X (6) W ends up at Z (7) Y is a patient of W |
| (=> (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 | If X is an instance of gas tank, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of fuel (3) X contains Y (4) W is an instance of engine (5) Z is an instance of transfer (6) Z originates at X (7) Z ends up at W (8) Y is a patient of Z |
| (=> (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 2537-2552 | If X is an instance of gas pedal, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of pushing (3) Z is an instance of transfer (4) W is an instance of fuel (5) V is an instance of engine (6) U is an instance of automobile (7) X is a part of U (8) V is a part of U (9) Y ends up at X (10) Z ends up at V (11) W is a patient of Z (12) Y causes Z |
| (=> (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 2630-2646 | If X is an instance of exhaust manifold, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of automobile (3) Z is an instance of exhaust (4) W is an instance of engine cylinder (5) V is an instance of muffler (6) U is an instance of transfer (7) X is a part of Y (8) W is a part of Y (9) V is a part of Y (10) U originates at W (11) U ends up at V (12) Z is a patient of U (13) Z is an instrument for U |
| (=> (instance ?EV ExhaustValve) (hasPurpose ?EV (exists (?E ?T) (and (instance ?T Transfer) (objectTransferred ?T ?E) (path ?T ?EV) (instance ?E Exhaust))))) |
Cars.kif 2666-2674 | If X is an instance of exhaust valve, then X has the purpose there exist Y, Z such that Z is an instance of transfer, the object transferred in Z is Y, X is path along which Z occurs, and Y is an instance of exhaust |
| (=> (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 2691-2704 | If X is an instance of intake valve, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of automobile (3) Z is an instance of fuel vapor (4) W is an instance of combustion chamber (5) V is an instance of transfer (6) X is a part of Y (7) W is a part of Y (8) Z is a patient of V (9) X is path along which V occurs (10) V ends up at W |
| (=> (instance ?WP WaterPump) (hasPurpose ?WP (exists (?T ?W) (and (instance ?T Transfer) (instance ?W FreshWater) (objectTransferred ?T ?W) (instrument ?T ?WP))))) |
Cars.kif 2770-2778 | If X is an instance of water pump, then X has the purpose there exist Y, Z such that Y is an instance of transfer, Z is an instance of freshwater, the object transferred in Y is Z, and X is an instrument for Y |
| (=> (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 3340-3355 | If X is an instance of manifold heat control valve, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of heating (3) Z is an instance of opening (4) W is an instance of exhaust (5) U is an instance of transfer (6) V is an instance of fuel vapor (7) X is a patient of Z (8) W is an instrument for Y (9) V is a patient of Y (10) X is path along which U occurs (11) Z causes U (12) U causes Y |
| (=> (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 3381-3391 | If X is an instance of mass airflow sensor, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of transfer (3) W is an instance of air (4) W is a patient of Y (5) Z is an instance of measuring (6) W is a patient of Z (7) X is an instrument for Z |
| (=> (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 3896-3912 | If X is an instance of positive crankcase ventilation valve, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of crankcase (3) Z is an instance of fuel (4) W is an instance of combustion chamber (5) V is an instance of transfer (6) U is an instance of automobile (7) Y is a part of U (8) W is a part of U (9) X is a part of U (10) V originates at Y (11) V ends up at W (12) the object transferred in V is Z (13) X is path along which V occurs |
| (=> (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 4747-4758 | If X is an instance of cargo rack, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of transfer (3) W is a patient of Y (4) Z is an instance of automobile (5) X is outside of to Z (6) W meets X (7) X is a part of Z (8) Z is an instrument for Y |
| (=> (instance ?UPLOAD Uploading) (exists (?FILE ?COMPUTER ?STORAGEDEVICE) (and (instance ?UPLOAD Transfer) (or (instance ?FILE ComputerFile) (instance ?FILE ComputerProgram)) (instance ?COMPUTER Computer) (instance ?STORAGEDEVICE DigitalDataStorageDevice) (patient ?UPLOAD ?FILE) (agent ?UPLOAD ?COMPUTER) (origin ?UPLOAD ?COMPUTER) (destination ?UPLOAD ?STORAGEDEVICE)))) |
Facebook.kif 487-500 | If X is an instance of uploading, then All of the following hold: (1) there exist Y, Z (2) W such that X is an instance of transfer (3) Y is an instance of computer file or Y is an instance of computer program (4) Z is an instance of computer (5) W is an instance of digital data storage device (6) Y is a patient of X (7) Z is an agent of X (8) X originates at Z (9) X ends up at W |
| (=> (instance ?DOWNLOAD Downloading) (exists (?FILE ?COMPUTER ?STORAGEDEVICE) (and (instance ?DOWNLOAD Transfer) (or (instance ?FILE ComputerFile) (instance ?FILE ComputerProgram)) (instance ?COMPUTER Computer) (instance ?STORAGEDEVICE DigitalDataStorageDevice) (patient ?DOWNLOAD ?FILE) (agent ?DOWNLOAD ?COMPUTER) (origin ?DOWNLOAD ?STORAGEDEVICE) (destination ?DOWNLOAD ?COMPUTER)))) |
Facebook.kif 513-526 | If X is an instance of downloading, then All of the following hold: (1) there exist Y, Z (2) W such that X is an instance of transfer (3) Y is an instance of computer file or Y is an instance of computer program (4) Z is an instance of computer (5) W is an instance of digital data storage device (6) Y is a patient of X (7) Z is an agent of X (8) X originates at W (9) X ends up at Z |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|