Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Transfer
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 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
-------------------------


(subclass Carrying Transfer) Merge.kif 11366-11366 子類 攜帶 and Transfer
(subclass ChangingClothing Transfer) Mid-level-ontology.kif 5520-5520 子類 換衣服 and Transfer
(subclass DeliveryService Transfer) Dining.kif 526-526 子類 DeliveryService and Transfer
(subclass ElectricTransmission Transfer) Cars.kif 2382-2382 子類 ElectricTransmission and Transfer
(subclass Impelling Transfer) Merge.kif 11468-11468 子類 Impelling and Transfer
(subclass Ingesting Transfer) Merge.kif 10247-10247 子類 Ingesting and Transfer
(subclass IntraosseousInfusion Transfer) Medicine.kif 1169-1169 子類 IntraosseousInfusion and Transfer
(subclass Mailing Transfer) Mid-level-ontology.kif 6647-6647 子類 郵件 and Transfer
(subclass Messaging Transfer) Mid-level-ontology.kif 6651-6651 子類 訊息 and Transfer
(subclass MovingResidence Transfer) Mid-level-ontology.kif 18055-18055 子類 搬家 and Transfer
(subclass Pouring Transfer) Mid-level-ontology.kif 17534-17534 子類 澆注 and Transfer
(subclass Putting Transfer) Merge.kif 11399-11399 子類 Putting and Transfer
(subclass Releasing Transfer) Merge.kif 11518-11518 子類 釋放 and Transfer
(subclass Removing Transfer) Merge.kif 11378-11378 子類 Removing and Transfer
(subclass Spraying Transfer) Mid-level-ontology.kif 17603-17603 子類 噴 and Transfer
(subclass Substituting Transfer) Merge.kif 11448-11448 子類 Substituting and Transfer
(subclass Swallowing Transfer) Mid-level-ontology.kif 6588-6588 子類 Swallowing and Transfer
(subclass Touching Transfer) Merge.kif 11480-11480 子類 Touching and Transfer
(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 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
-------------------------


(=>
    (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 9964-9976
(=>
    (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 4461-4470
(=>
    (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 2629-2645
(=>
    (instance ?EV ExhaustValve)
    (hasPurpose ?EV
        (exists (?E ?T)
            (and
                (instance ?T Transfer)
                (objectTransferred ?T ?E)
                (path ?T ?EV)
                (instance ?E Exhaust)))))		 Cars.kif 2665-2673
(=>
    (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 2540-2555
(=>
    (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 11341-11348
(=>
    (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 2690-2703
(=>
    (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 3303-3313
(=>
    (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 3262-3277
(=>
    (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 3818-3834
(=>
    (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 9507-9519
(=>
    (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 9546-9557
(=>
    (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 1527-1535
(=>
    (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 11082-11089
(=>
    (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 4669-4680
(=>
    (instance ?WP WaterPump)
    (hasPurpose ?WP
        (exists (?T ?W)
            (and
                (instance ?T Transfer)
                (instance ?W FreshWater)
                (objectTransferred ?T ?W)
                (instrument ?T ?WP)))))		 Cars.kif 2769-2777
(=>
    (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 29801-29810
(=>
    (orientation ?O1 ?O2 Downwind)
    (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 29823-29832
(=>
    (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 29790-29799

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners