objectTransferred - Sigma Knowledge base Browser

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 27656-27658
(domain objectTransferred 1 Transfer)	Mid-level-ontology.kif 27653-27653	domain objectTransferred, 1 and Transfer
(domain objectTransferred 2 Object)	Mid-level-ontology.kif 27654-27654	domain objectTransferred, 2 and Object
(instance objectTransferred CaseRole)	Mid-level-ontology.kif 27651-27651	instance objectTransferred and CaseRole
(subrelation objectTransferred patient)	Mid-level-ontology.kif 27652-27652	subrelation objectTransferred and patient

appearance as argument number 2

(format EnglishLanguage objectTransferred "the object transferred in %1 is %n %2")

Mid-level-ontology.kif 27655-27655

antecedent

(=> (and (instance ?B Bequeathing) (agent ?B ?P) (destination ?B ?H) (objectTransferred ?B ?PROP)) (exists (?D) (and (instance ?D Death) (experiencer ?D ?P) (earlier (WhenFn ?D) (WhenFn ?B)) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (possesses ?P ?PROP)) (confersNorm ?P (possesses ?H ?PROP) Permission))))	Mid-level-ontology.kif 16379-16395	instance Transfer and Bequeathing agent Transfer and Agent destination Transfer and Entity objectTransferred Transfer and AgentROP Process instance Process and Death experiencer Process and Agent earlier WhenFn Process and WhenFn Transfer holdsDuring ImmediatePastFn WhenFn Process and possesses Agent and AgentROP confersNorm Agent, possesses Entity and AgentROP and Permission
(=> (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 1713-1729	instance CorpuscularObject and Exhaust material Fuel and CorpuscularObject instance Transfer and Transfer instance CorpuscularObjectNG and Engine origin Transfer and CorpuscularObjectNG instance Physical and CatalyticConverter destination Transfer and Physical objectTransferred Transfer and CorpuscularObject hasPurpose Physical and entity instance entity and Combustion instrument entity and Physical patient entity and CorpuscularObject eventLocated entity and Physical
(=> (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 3867-3877	instance Object and Electromagnet instance Transfer and Transfer instance Object and Electricity objectTransferred Transfer and Object path Transfer and Object Process instance Process and Magnetism instrument Process and Object
(=> (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 3879-3895	instance Entity and Electromagnet holdsDuring TimePosition and entity entity instance entity and Transfer instance entity and Electricity objectTransferred entity and entity path entity and Entity holdsDuring TimePosition and entity instance entity and Magnetism instrument entity and Entity
(=> (and (instance ?SU SoftwareUpgrading) (patient ?SU ?C) (instance ?C Computer) (objectTransferred ?SU ?P) (instance ?P ComputerProgram)) (exists (?POLD ?DSD) (and (instance ?POLD ComputerProgram) (instance ?DSD DataStorageDevice) (connectedPeripheral ?DSD ?C) (stored ?POLD ?DSD) (softwareVersion ?P ?POLD))))	ComputingBrands.kif 3825-3838	instance Transfer and ソフトウェアの更新 patient Transfer and Computer instance Computer and Computer objectTransferred Transfer and Object instance Object and ComputerProgram ObjectOLD DataStorageDevice instance ObjectOLD and ComputerProgram instance DataStorageDevice and DataStorageDevice connectedPeripheral DataStorageDevice and Computer stored ObjectOLD and DataStorageDevice softwareVersion Object and ObjectOLD
(=> (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 2447-2456	instance Transfer and Vending objectTransferred Transfer and Object instance Object and Currency modalAttribute instance Object and FoodForFn Human instance Object and Beverage and Likely
(=> (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 27660-27671	objectTransferred Transfer and Object Object Entity origin Transfer and Object destination Transfer and Entity holdsDuring ImmediatePastFn Transfer and located Object and Object holdsDuring ImmediateFutureFn Transfer and located Object and Entity

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 862-876	instance SelfConnectedObject and AutomobileShock instance Process and Compressing instance Hole and Hole attribute Object and Fluid equal SelfConnectedObject and HoleHostFn Hole contains SelfConnectedObject and Object patient Process and SelfConnectedObject Transfer instance Transfer and Transfer objectTransferred Transfer and Object path Transfer and Hole causes Process and Transfer
(=> (and (instance ?DUSTSTORM DustStorm) (instance ?WIND Wind) (subProcess ?DUSTSTORM ?WIND)) (exists (?WIND ?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG) (and (instance ?A1 LandArea) (eventLocated ?WIND ?A1) (surfaceWindSpeed ?A1 (MeasureFn ?STRONG KnotUnitOfSpeed)) (greaterThan ?STRONG 30) (instance ?TRANSLOCATE Translocation) (subProcess ?TRANSLOCATE ?DUSTSTORM) (objectTransferred ?TRANSLOCATE ?PM) (objectTransferred ?TRANSLOCATE ?SAND) (instance ?PM ParticulateMatter) (instance ?SAND Sand) (instance ?A2 LandArea) (destination ?TRANSLOCATE ?A2) (not (overlapsSpatially ?A1 ?A2)))))	Weather.kif 897-918	instance Process and DustStorm instance Process and Wind subProcess Process and Process Process Transfer, Object, Object, Object, Entity and RealNumber instance Object and LandArea eventLocated Process and Object surfaceWindSpeed Object and MeasureFn RealNumber and KnotUnitOfSpeed greaterThan RealNumber and 30 instance Transfer and Translocation subProcess Transfer and Process objectTransferred Transfer and Object objectTransferred Transfer and Object instance Object and ParticulateMatter instance Object and Sand instance Entity and LandArea destination Transfer and Entity overlapsSpatially Object and Entity
(=> (and (instance ?LECS AirEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?A) (and (instance ?A Air) (objectTransferred ?C ?A))))	Cars.kif 2169-2177	instance Object and AirEngineCoolingSystem instance Transfer and Cooling instrument Transfer and Object Object instance Object and Air objectTransferred Transfer and Object
(=> (and (instance ?LECS LiquidEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?L) (and (attribute ?L Liquid) (objectTransferred ?C ?L))))	Cars.kif 2153-2161	instance Object and LiquidEngineCoolingSystem instance Transfer and Cooling instrument Transfer and Object Object attribute Object and Liquid objectTransferred Transfer and Object
(=> (attribute ?O NewItem) (not (exists (?B) (and (instance ?B Buying) (objectTransferred ?B ?O)))))	Cars.kif 5123-5129	attribute Object and NewItem Transfer instance Transfer and Buying objectTransferred Transfer and Object
(=> (attribute ?O UsedItem) (exists (?B) (and (instance ?B Buying) (objectTransferred ?B ?O))))	Cars.kif 5110-5115	attribute Object and UsedItem Transfer instance Transfer and Buying objectTransferred Transfer and Object
(=> (attribute ?X Booting) (exists (?CD) (and (instance ?CD DigitalData) (instance ?OS OperatingSystem) (instance ?DT DataTransfer) (during ?DT ?X) (destination ?DT ?X) (part ?CD ?OS) (objectTransferred ?DT ?CD))))	ComputingBrands.kif 3205-3215	attribute TimeInterval and 起動 Object instance Object and DigitalData instance Object and OperatingSystem instance TimeInterval and DataTransfer during TimeInterval and TimeInterval destination TimeInterval and TimeInterval part Object and Object objectTransferred TimeInterval and Object
(=> (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 4819-4828	instance Process and AnimalGuiding Agent Transfer instance Agent and Animal agent Process and Agent instance Transfer and Carrying agent Transfer and Agent objectTransferred Transfer and Agent instrument Process and Agent
(=> (instance ?BREAK BreakingWave) (exists (?WAVE ?WATER1 ?WATER2 ?FALL) (and (instance ?WAVE WaterWave) (subProcess ?BREAK ?WAVE) (instance ?WATER1 BodyOfWater) (instance ?WATER2 BodyOfWater) (patient ?WAVE ?WATER2) (patient ?BREAK ?WATER1) (instance ?FALL Falling) (objectTransferred ?FALL ?WATER1) (holdsDuring (BeginFn (WhenFn ?FALL)) (part ?WATER1 ?WATER2)) (holdsDuring (EndFn (WhenFn ?FALL)) (not (part ?WATER1 ?WATER2))))))	Weather.kif 976-996	instance Process and BreakingWave Process Object, Entity and Transfer instance Process and WaterWave subProcess Process and Process instance Object and BodyOfWater instance Entity and BodyOfWater patient Process and Entity patient Process and Object instance Transfer and Falling objectTransferred Transfer and Object holdsDuring BeginFn WhenFn Transfer and part Object and Entity holdsDuring EndFn WhenFn Transfer and part Object and Entity
(=> (instance ?D Defrauding) (exists (?A ?P ?O) (and (agent ?D ?A) (suffers ?D ?P) (benefits ?D ?A) (objectTransferred ?D ?O) (origin ?O ?P) (destination ?O ?A))))	Mid-level-ontology.kif 16039-16048	instance Transfer and Defrauding Agent Agent and Object agent Transfer and Agent suffers Transfer and Agent benefits Transfer and Agent objectTransferred Transfer and Object origin Object and Agent destination Object and Agent
(=> (instance ?DRIZZLE Drizzling) (exists (?CLTN ?R ?SIZE) (and (instance ?CLTN Collection) (instance ?R Water) (instance ?R LiquidDrop) (member ?R ?CLTN) (objectTransferred ?DRIZZLE ?CLTN) (approximateDiameter ?R (MeasureFn ?SIZE Millimeter)) (modalAttribute (lessThanOrEqualTo ?SIZE 0.5) Likely))))	Weather.kif 1658-1670	instance Transfer and Drizzling Collection SelfConnectedObject and RealNumber instance Collection and Collection instance SelfConnectedObject and Water instance SelfConnectedObject and LiquidDrop member SelfConnectedObject and Collection objectTransferred Transfer and Collection approximateDiameter SelfConnectedObject and MeasureFn RealNumber and Millimeter modalAttribute lessThanOrEqualTo RealNumber and 0.5 and Likely
(=> (instance ?EC ElectricTransmission) (exists (?E) (and (instance ?E Electricity) (objectTransferred ?EC ?E))))	Cars.kif 2377-2382	instance Transfer and ElectricTransmission Object instance Object and Electricity objectTransferred Transfer and Object
(=> (instance ?EV ExhaustValve) (hasPurpose ?EV (exists (?E ?T) (and (instance ?T Transfer) (objectTransferred ?T ?E) (path ?T ?EV) (instance ?E Exhaust)))))	Cars.kif 2650-2658	instance Physical and ExhaustValve hasPurpose Physical and entity entity instance entity and Transfer objectTransferred entity and entity path entity and Physical instance entity and Exhaust
(=> (instance ?GF GreaseFitting) (hasPurpose ?GF (exists (?P ?G) (and (instance ?G Grease) (instance ?P Putting) (path ?P ?GF) (objectTransferred ?P ?G)))))	Cars.kif 2995-3003	instance Physical and GreaseFitting hasPurpose Physical and entity entity instance entity and Grease instance entity and Putting path entity and Physical objectTransferred entity and entity
(=> (instance ?GG GreaseGun) (hasPurpose ?GG (exists (?P ?G) (and (instance ?G Grease) (instance ?P Putting) (instrument ?P ?GG) (objectTransferred ?P ?G)))))	Cars.kif 3011-3019	instance Physical and GreaseGun hasPurpose Physical and entity entity instance entity and Grease instance entity and Putting instrument entity and Physical objectTransferred entity and entity
(=> (instance ?HT HandTool) (capability Carrying objectTransferred ?HT))	Cars.kif 4450-4452	instance Object and HandTool capability Carrying, objectTransferred and Object
(=> (instance ?I ITunes) (hasPurpose ?I (exists (?M ?D) (and (instance ?M MultimediaFile) (instance ?D Downloading) (objectTransferred ?D ?M) (instrument ?D ?I)))))	ComputingBrands.kif 3395-3403	instance Physical and ITunes hasPurpose Physical and entity entity instance entity and MultimediaFile instance entity and Downloading objectTransferred entity and entity instrument entity and Physical
(=> (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 28081-28101	instance Entity and Invoice SymbolicString CognitiveAgent, CognitiveAgent and Entity uniqueIdentifier SymbolicString and Entity buys CognitiveAgent, CognitiveAgent and Entity confersRight entity before BeginFn WhenFn Entity and BeginFn WhenFn entity instance entity and Selling instance entity and Product objectTransferred entity and entity refers Entity and entity agent entity and CognitiveAgent patient entity and CognitiveAgent, CognitiveAgent and CognitiveAgent
(=> (instance ?LP Lubricating) (exists (?L) (and (instance ?L Lubricant) (objectTransferred ?LP ?L))))	Cars.kif 2974-2979	instance Transfer and Lubricating Object instance Object and Lubricant objectTransferred Transfer and Object
(=> (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 3792-3808	instance Physical and PositiveCrankcaseVentilationValve hasPurpose Physical and entity entity, entity, entity and entity instance entity and Crankcase instance entity and Fuel instance entity and CombustionChamber instance entity and Transfer instance entity and Automobile part entity and entity part entity and entity part Physical and entity origin entity and entity destination entity and entity objectTransferred entity and entity path entity and Physical
(=> (instance ?PO PurchaseOrder) (exists (?NUMBER ?BUYER ?SELLER) (and (uniqueIdentifier ?NUMBER ?PO) (buys ?BUYER ?SELLER ?PRODUCT) (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 28106-28126	instance Entity and PurchaseOrder SymbolicString CognitiveAgent and CognitiveAgent uniqueIdentifier SymbolicString and Entity buys CognitiveAgent, CognitiveAgent and Entity confersObligation entity before BeginFn WhenFn Entity and BeginFn WhenFn entity instance entity and Buying instance Entity and Product objectTransferred entity and Entity refers Entity and Entity agent entity and CognitiveAgent patient entity and CognitiveAgent, CognitiveAgent and CognitiveAgent
(=> (instance ?PROCESS Raining) (exists (?RAIN) (and (instance ?RAIN Rain) (objectTransferred ?PROCESS ?RAIN))))	Weather.kif 1820-1825	instance Transfer and Raining Object instance Object and Rain objectTransferred Transfer and Object
(=> (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 773-785	instance Transfer and Sleeting Collection Object, Object and Process instance Collection and Collection objectTransferred Transfer and Collection instance Object and Raindrop instance Object and Snowflake member Object and Collection member Object and Collection instance Process and Melting subProcess Process and Transfer patient Process and Object
(=> (instance ?PROCESS Snowing) (exists (?SNOW) (and (instance ?SNOW Snow) (objectTransferred ?PROCESS ?SNOW))))	Weather.kif 1852-1857	instance Transfer and Snowing Object instance Object and Snow objectTransferred Transfer and Object
(=> (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 669-681	instance Transfer and Raining Collection Object instance Collection and Collection instance Object and Water instance Object and LiquidDrop member Object and Collection objectTransferred Transfer and Collection defaultMinimumSphereRadius Object and MeasureFn 0.1 and Millimeter defaultMaximumSphereRadius Object and MeasureFn 9 and Millimeter

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(hasPurpose IBookstore
    (exists (?D)
        (and
            (instance ?D Downloading)
            (instrument ?D IBookstore)
            (instance ?T Text)
            (objectTransferred ?D ?T))))

ComputingBrands.kif 3295-3301

hasPurpose iBookstore and ?D instance ?D and Downloading instrument ?D and iBookstore instance ?T and Text objectTransferred ?D and ?T

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

KB Term:			Term intersection

English Word: