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 "这是当 agentpatient 不是同一样的东西时的任何 Translocationinstance。") 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 "agentpatient が同じではない Translocationinstance 。") 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

appearance as argument number 2
-------------------------


(subclass Carrying Transfer) Merge.kif 11366-11366
(subclass ChangingClothing Transfer) Mid-level-ontology.kif 5520-5520
(subclass DeliveryService Transfer) Dining.kif 526-526
(subclass ElectricTransmission Transfer) Cars.kif 2382-2382
(subclass Impelling Transfer) Merge.kif 11468-11468
(subclass Ingesting Transfer) Merge.kif 10247-10247
(subclass IntraosseousInfusion Transfer) Medicine.kif 1169-1169
(subclass Mailing Transfer) Mid-level-ontology.kif 6647-6647
(subclass Messaging Transfer) Mid-level-ontology.kif 6651-6651
(subclass MovingResidence Transfer) Mid-level-ontology.kif 18055-18055
(subclass Pouring Transfer) Mid-level-ontology.kif 17534-17534
(subclass Putting Transfer) Merge.kif 11399-11399
(subclass Releasing Transfer) Merge.kif 11518-11518
(subclass Removing Transfer) Merge.kif 11378-11378
(subclass Spraying Transfer) Mid-level-ontology.kif 17603-17603
(subclass Substituting Transfer) Merge.kif 11448-11448
(subclass Swallowing Transfer) Mid-level-ontology.kif 6588-6588
(subclass Touching Transfer) Merge.kif 11480-11480
(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
(domain objectTransferred 1 Transfer) Merge.kif 11332-11332

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