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

Formal Language: 



KB Term:  Term intersection
English Word: 

  objectTransferred

Sigma KEE - objectTransferred
objectTransferred

appearance as argument number 1
-------------------------


(documentation objectTransferred EnglishLanguage "A relation that specifies the object that is transferred during the process. For example, in a Mailing process, the object transferred is a letter or package.") Mid-level-ontology.kif 27538-27540
(domain objectTransferred 1 Transfer) Mid-level-ontology.kif 27535-27535
(domain objectTransferred 2 Object) Mid-level-ontology.kif 27536-27536
(instance objectTransferred CaseRole) Mid-level-ontology.kif 27533-27533
(subrelation objectTransferred patient) Mid-level-ontology.kif 27534-27534

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


(format EnglishLanguage objectTransferred "the object transferred in %1 is %n %2") Mid-level-ontology.kif 27537-27537

antecedent
-------------------------


(=>
    (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 1712-1728
(=>
    (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 3859-3869
(=>
    (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 3871-3887
(=>
    (and
        (instance ?V Vending)
        (objectTransferred ?V ?O)
        (not
            (instance ?O Currency)))
    (modalAttribute
        (or
            (instance ?O
                (FoodForFn Human))
            (instance ?O Beverage)) Likely))
Mid-level-ontology.kif 2446-2455
(=>
    (objectTransferred ?P ?OBJ)
    (exists (?O ?D)
        (and
            (origin ?P ?O)
            (destination ?P ?D)
            (holdsDuring
                (ImmediatePastFn ?P)
                (located ?OBJ ?O))
            (holdsDuring
                (ImmediateFutureFn ?P)
                (located ?OBJ ?D)))))
Mid-level-ontology.kif 27542-27553

consequent
-------------------------


(=>
    (and
        (instance ?AS AutomobileShock)
        (instance ?C Compressing)
        (instance ?H Hole)
        (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 861-875
(=>
    (and
        (instance ?LECS AirEngineCoolingSystem)
        (instance ?C Cooling)
        (instrument ?C ?LECS))
    (exists (?A)
        (and
            (instance ?A Air)
            (objectTransferred ?C ?A))))
Cars.kif 2168-2176
(=>
    (and
        (instance ?LECS LiquidEngineCoolingSystem)
        (instance ?C Cooling)
        (instrument ?C ?LECS))
    (exists (?L)
        (and
            (attribute ?L Liquid)
            (objectTransferred ?C ?L))))
Cars.kif 2152-2160
(=>
    (attribute ?O NewItem)
    (not
        (exists (?B)
            (and
                (instance ?B Buying)
                (objectTransferred ?B ?O)))))
Cars.kif 5113-5119
(=>
    (attribute ?O UsedItem)
    (exists (?B)
        (and
            (instance ?B Buying)
            (objectTransferred ?B ?O))))
Cars.kif 5100-5105
(=>
    (instance ?AG AnimalGuiding)
    (exists (?A ?C)
        (and
            (instance ?A Animal)
            (agent ?AG ?H)
            (instance ?C Carrying)
            (agent ?C ?A)
            (objectTransferred ?C ?H)
            (instrument ?AG ?A))))
Mid-level-ontology.kif 4818-4827
(=>
    (instance ?DRIZZLE Drizzling)
    (exists (?RAIN ?CLTN ?R ?SIZE)
        (and
            (instance ?RAIN Raining)
            (instance ?CLTN Collection)
            (instance ?R Water)
            (instance ?R LiquidDrop)
            (member ?R ?CLTN)
            (objectTransferred ?RAIN ?CLTN)
            (approximateDiameter ?R
                (MeasureFn ?SIZE Millimeter))
            (modalAttribute
                (lessThanOrEqualTo ?SIZE 0.5) Likely))))
Weather.kif 1214-1227
(=>
    (instance ?EC ElectricTransmission)
    (exists (?E)
        (and
            (instance ?E Electricity)
            (objectTransferred ?EC ?E))))
Cars.kif 2376-2381
(=>
    (instance ?EV ExhaustValve)
    (hasPurpose ?EV
        (exists (?E ?T)
            (and
                (instance ?T Transfer)
                (objectTransferred ?T ?E)
                (path ?T ?EV)
                (instance ?E Exhaust)))))
Cars.kif 2646-2654
(=>
    (instance ?GF GreaseFitting)
    (hasPurpose ?GF
        (exists (?P ?G)
            (and
                (instance ?G Grease)
                (instance ?P Putting)
                (path ?P ?GF)
                (objectTransferred ?P ?G)))))
Cars.kif 2991-2999
(=>
    (instance ?GG GreaseGun)
    (hasPurpose ?GG
        (exists (?P ?G)
            (and
                (instance ?G Grease)
                (instance ?P Putting)
                (instrument ?P ?GG)
                (objectTransferred ?P ?G)))))
Cars.kif 3007-3015
(=>
    (instance ?HT HandTool)
    (capability Carrying objectTransferred ?HT))
Cars.kif 4440-4442
(=>
    (instance ?INVOICE Invoice)
    (exists (?NUMBER ?BUYER ?SELLER ?ENT)
        (and
            (uniqueIdentifier ?NUMBER ?INVOICE)
            (buys ?BUYER ?SELLER ?ENT)
            (confersRight
                (exists (?SELLING)
                    (and
                        (before
                            (BeginFn
                                (WhenFn ?INVOICE))
                            (BeginFn
                                (WhenFn ?SELLING)))
                        (instance ?SELLING Selling)
                        (instance ?PRODUCT Product)
                        (objectTransferred ?SELLING ?PRODUCT)
                        (refers ?INVOICE ?PRODUCT)
                        (agent ?SELLING ?SELLER)
                        (patient ?SELLING ?BUYER))) ?SELLER ?BUYER))))
Mid-level-ontology.kif 27962-27982
(=>
    (instance ?LP Lubricating)
    (exists (?L)
        (and
            (instance ?L Lubricant)
            (objectTransferred ?LP ?L))))
Cars.kif 2970-2975
(=>
    (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 3784-3800
(=>
    (instance ?PO PurchaseOrder)
    (exists (?NUMBER ?BUYER ?SELLER)
        (and
            (uniqueIdentifier ?NUMBER ?PO)
            (buys ?BUYER ?SELLER ?ENT)
            (confersObligation
                (exists (?BUYING)
                    (and
                        (before
                            (BeginFn
                                (WhenFn ?PO))
                            (BeginFn
                                (WhenFn ?BUYING)))
                        (instance ?BUYING Buying)
                        (instance ?PRODUCT Product)
                        (objectTransferred ?BUYING ?PRODUCT)
                        (refers ?PO ?PRODUCT)
                        (agent ?BUYING ?BUYER)
                        (patient ?BUYING ?SELLER))) ?BUYER ?SELLER))))
Mid-level-ontology.kif 27987-28007
(=>
    (instance ?PROCESS Raining)
    (exists (?RAIN)
        (and
            (instance ?RAIN Rain)
            (objectTransferred ?PROCESS ?RAIN))))
Weather.kif 1405-1410
(=>
    (instance ?PROCESS Sleeting)
    (exists (?STUFF ?R ?S ?MELT)
        (and
            (instance ?STUFF Collection)
            (objectTransferred ?PROCESS ?STUFF)
            (instance ?R Raindrop)
            (instance ?S Snowflake)
            (member ?R ?STUFF)
            (member ?S ?STUFF)
            (instance ?MELT Melting)
            (subProcess ?MELT ?PROCESS)
            (patient ?MELT ?S))))
Weather.kif 774-786
(=>
    (instance ?PROCESS Snowing)
    (exists (?SNOW)
        (and
            (instance ?SNOW Snow)
            (objectTransferred ?PROCESS ?SNOW))))
Weather.kif 1447-1452
(=>
    (instance ?RAIN Raining)
    (exists (?CLTN ?R)
        (and
            (instance ?CLTN Collection)
            (instance ?R Water)
            (instance ?R LiquidDrop)
            (member ?R ?CLTN)
            (objectTransferred ?RAIN ?CLTN)
            (defaultMinimumSphereRadius ?R
                (MeasureFn 0.1 Millimeter))
            (defaultMaximumSphereRadius ?R
                (MeasureFn 9 Millimeter)))))
Weather.kif 670-682
(=>
    (instance ?S Supercharger)
    (hasPurpose ?S
        (exists (?T ?IV ?A)
            (and
                (instance ?T GasMotion)
                (origin ?T ?S)
                (instance ?IV IntakeValve)
                (destination ?T ?IV)
                (instance ?A Air)
                (objectTransferred ?T ?A)
                (holdsDuring
                    (WhenFn ?T)
                    (attribute ?A Pressurized))))))
Cars.kif 5163-5175
(=>
    (instance ?SNOW Snowing)
    (exists (?CLTN ?I)
        (and
            (instance ?CLTN Collection)
            (instance ?I Ice)
            (attribute ?I MonoCrystalline)
            (member ?I ?CLTN)
            (objectTransferred ?SNOW ?CLTN))))
Weather.kif 753-761
(=>
    (instance ?STUFF Hailstone)
    (exists (?PROCESS ?CLTN)
        (and
            (instance ?PROCESS Hailing)
            (instance ?CLTN Collection)
            (objectTransferred ?PROCESS ?CLTN)
            (member ?STUFF ?CLTN))))
Weather.kif 1541-1548
(=>
    (instance ?TC TireChanger)
    (hasPurpose ?TC
        (exists (?P ?T ?R)
            (and
                (instance ?P Putting)
                (instance ?T Tire)
                (instance ?R WheelRim)
                (destination ?P ?R)
                (objectTransferred ?P ?T)
                (instrument ?P ?TC)))))
Cars.kif 4846-4856
(=>
    (instance ?TC TireChanger)
    (hasPurpose ?TC
        (exists (?RE ?T ?R)
            (and
                (instance ?RE Removing)
                (instance ?T Tire)
                (instance ?R WheelRim)
                (origin ?RE ?R)
                (objectTransferred ?RE ?T)
                (instrument ?RE ?TC)))))
Cars.kif 4858-4868

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners