objectTransferred - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27656-27658
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27653-27653	The number 1 argument of objectTransferred is an instance of transfer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27654-27654	The number 2 argument of objectTransferred is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27651-27651	objectTransferred is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27652-27652	objectTransferred is a subrelation of patient

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 27655-27655

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16379-16395	If a transfer is an instance of bequeathing and an agent is an agent of the transfer and the transfer ends up at an entity and the object transferred in the transfer is the agentROP, then there exists a process such that the process is an instance of death and the agent experiences the process and the time of existence of the process happens earlier than the time of existence of the transfer and the agent possesses the agentROP holds during immediately before the time of existence of the process and the agent confers norm the entity possesses the agentROP for permission
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1731-1747	If a corpuscular object is an instance of exhaust and fuel is made of the corpuscular object and a transfer is an instance of transfer and the corpuscular objectNG is an instance of engine and the transfer originates at the corpuscular objectNG and a physical is an instance of catalytic converter and the transfer ends up at the physical and the object transferred in the transfer is the corpuscular object, then the physical purpose there exists an entity such that the entity is an instance of combustion and the physical is an instrument for the entity and the corpuscular object is a patient of the entity and the entity is located at 2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3909-3919	If an object is an instance of electromagnet and a transfer is an instance of transfer and another object is an instance of electricity and the object transferred in the transfer is the other object and the object is path along which the transfer occurs, then there exists a process such that the process is an instance of magnetism and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3921-3937	If an entity is an instance of electromagnet and there exist another entity and a third entity such that the other entity is an instance of transfer and the third entity is an instance of electricity and the object transferred in the other entity is the third entity and the entity is path along which the other entity occurs doesn't hold during the other entity1, then there exists a fourth entity such that the fourth entity is an instance of magnetism and the entity is an instrument for the fourth entity doesn't hold during the other entity1
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3846-3859	If a transfer is an instance of software upgrade and a computer is a patient of the transfer and the computer is an instance of computer and the object transferred in the transfer is an object and the object is an instance of computer program, then there exist the objectOLD and a DataStorageDevice such that the objectOLD is an instance of computer program and the DataStorageDevice is an instance of DataStorageDevice and %1 is a connected peripheral of %2 the DataStorageDevice and the computer and the objectOLD is stored on the DataStorageDevice and softwareVersion the object and the objectOLD
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2447-2456	If a transfer is an instance of Vending and the object transferred in the transfer is an object and the object is not an instance of currency, then the statement the object is an instance of food for human or the object is an instance of beverage has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27660-27671	If the object transferred in a transfer is an object, then there exist another object and an entity such that the transfer originates at the other object and the transfer ends up at the entity and the object is located at the other object holds during immediately before the transfer and the object is located at the entity holds during immediately after the transfer

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 871-885	If a self connected object is an instance of shock and a process is an instance of compressing and a hole is an instance of hole and fluid is an attribute of an object and the self connected object is equal to the host of the hole the hole and the self connected object は the object を contains %n{ない} and the self connected object is a patient of the process, then there exists a transfer such that the transfer is an instance of transfer and the object transferred in the transfer is the object and the hole is path along which the transfer occurs and the process causes the transfer
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1273-1294	If a process is an instance of dust storm and another process is an instance of wind and the process is a subprocess of the other process, then there exist a transfer, an object,, , another object,, , a third object,, , an entity and a real number such that the third object is an instance of land area and the other process is located at 2 and the real number knot unit of speed(s) is a surface wind speed of the third object and the real number is greater than 30 and the transfer is an instance of translocation and the transfer is a subprocess of the process and the object transferred in the transfer is the object and the object transferred in the transfer is the other object and the object is an instance of PM and the other object is an instance of sand and the entity is an instance of land area and the transfer ends up at the entity and the third object and the entity is not overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2196-2204	If an object is an instance of air cooling system and a transfer is an instance of cooling and the object is an instrument for the transfer, then there exists another object such that the other object is an instance of air and the object transferred in the transfer is the other object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2180-2188	If an object is an instance of water cooling system and a transfer is an instance of cooling and the object is an instrument for the transfer, then there exists another object such that liquid is an attribute of the other object and the object transferred in the transfer is the other object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5165-5171	If new is an attribute of an object, then there doesn't exist a transfer such that the transfer is an instance of buying and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5152-5157	If used is an attribute of an object, then there exists a transfer such that the transfer is an instance of buying and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3209-3219	If booting up is an attribute of a time interval, then there exists an object such that the object is an instance of digital data and another object is an instance of operating system and another time interval is an instance of data transfer and the other time interval takes place during the time interval and the other time interval ends up at the time interval and the object is a part of the other object and the object transferred in the other time interval is the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4819-4828	If a process is an instance of AnimalGuiding, then there exist an agent and a transfer such that the agent is an instance of animal and another agent is an agent of the process and the transfer is an instance of carrying and the agent is an agent of the transfer and the object transferred in the transfer is the other agent and the agent is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1351-1371	If a process is an instance of breaking wave, then there exist another process, an object,, , an entity and a transfer such that the other process is an instance of water wave and the process is a subprocess of the other process and the object is an instance of body of water and the entity is an instance of body of water and the entity is a patient of the other process and the object is a patient of the process and the transfer is an instance of falling and the object transferred in the transfer is the object and the object is a part of the entity holds during the beginning of the time of existence of the transfer and the object is not a part of the entity holds during the end of the time of existence of the transfer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16039-16048	If a transfer is an instance of defrauding, then there exist an agent, another agent and an object such that the agent is an agent of the transfer and the other agent suffers from the transfer and the agent is a beneficiary of the transfer and the object transferred in the transfer is the object and the object originates at the other agent and the object ends up at the agent
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2796-2808	If a transfer is an instance of drizzling, then there exist a collection, a self connected object and a real number such that the collection is an instance of collection and the self connected object is an instance of water and the self connected object is an instance of liquid drop and the self connected object is a member of the collection and the object transferred in the transfer is the collection and the approximate diameter of the self connected object is the real number millimeter(s) and the statement the real number is less than or equal to 0.5 has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2404-2409	If a transfer is an instance of electric transmission, then there exists an object such that the object is an instance of electricity and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2679-2687	If a physical is an instance of exhaust valve, then the physical purpose there exist an entity and another entity such that the other entity is an instance of transfer and the object transferred in the other entity is the entity and the physical is path along which the other entity occurs and the entity is an instance of exhaust
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3034-3042	If a physical is an instance of grease fitting, then the physical purpose there exist an entity and another entity such that the other entity is an instance of grease and the entity is an instance of putting and the physical is path along which the entity occurs and the object transferred in the entity is the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3050-3058	If a physical is an instance of grease gun, then the physical purpose there exist an entity and another entity such that the other entity is an instance of grease and the entity is an instance of putting and the physical is an instrument for the entity and the object transferred in the entity is the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4492-4494	If an object is an instance of hand tool, then the object is capable of doing carrying as a objectTransferred
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3399-3407	If a physical is an instance of ITunes, then the physical purpose there exist an entity and another entity such that the entity is an instance of MultimediaFile and the other entity is an instance of Downloading and the object transferred in the other entity is the entity and the physical is an instrument for the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28081-28101	If an entity is an instance of Invoice, then there exist a symbolic string, a cognitive agent,, , another cognitive agent and another entity such that the unique identifier of the symbolic string is the entity and the cognitive agent buys the other entity from the other cognitive agent and the other cognitive agent allows the cognitive agent to perform task of the type there exists a third entity such that the beginning of the time of existence of the entity happens before the beginning of the time of existence of the third entity and the third entity is an instance of selling and a fourth entity is an instance of product and the object transferred in the third entity is the fourth entity and the entity includes a reference to the fourth entity and the other cognitive agent is an agent of the third entity and the cognitive agent is a patient of the third entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3013-3018	If a transfer is an instance of lubricating, then there exists an object such that the object is an instance of lubricant and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3834-3850	If a physical is an instance of positive crankcase ventilation valve, then the physical purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of Crankcase and the other entity is an instance of fuel and the third entity is an instance of combustion chamber and the fourth entity is an instance of transfer and the fifth entity is an instance of automobile and the entity is a part of the fifth entity and the third entity is a part of the fifth entity and the physical is a part of the fifth entity and the fourth entity originates at the entity and the fourth entity ends up at the third entity and the object transferred in the fourth entity is the other entity and the physical is path along which the fourth entity occurs
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28106-28126	If an entity is an instance of PurchaseOrder, then there exist a symbolic string, a cognitive agent and another cognitive agent such that the unique identifier of the symbolic string is the entity and the cognitive agent buys another entity from the other cognitive agent and the cognitive agent obligates the other cognitive agent to perform task of the type there exists a third entity such that the beginning of the time of existence of the entity happens before the beginning of the time of existence of the third entity and the third entity is an instance of buying and the other entity is an instance of product and the object transferred in the third entity is the other entity and the entity includes a reference to the other entity and the cognitive agent is an agent of the third entity and the other cognitive agent is a patient of the third entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2958-2963	If a transfer is an instance of raining, then there exists an object such that the object is an instance of rain and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1158-1170	If a transfer is an instance of sleeting, then there exist a collection, an object,, , another object and a process such that the collection is an instance of collection and the object transferred in the transfer is the collection and the object is an instance of rain drop and the other object is an instance of snowflake and the object is a member of the collection and the other object is a member of the collection and the process is an instance of melting and the process is a subprocess of the transfer and the other object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2990-2995	If a transfer is an instance of snowing, then there exists an object such that the object is an instance of snow and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1058-1070	If a transfer is an instance of raining, then there exist a collection and a kind of object such that the collection is an instance of collection and a kind of object is an instance of water and the kind of object is an instance of liquid drop and the kind of object is a member of the collection and the object transferred in the transfer is the collection and the minimum expected radius of the kind of object is 0.1 millimeter(s) and the maximum expected radius of the kind of object is 9 millimeter(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.

ComputingBrands.kif 3299-3305

IBookstore purpose there exists ?D such that ?D is an instance of Downloading and iBookstore is an instrument for ?D and ?T is an instance of text and the object transferred in ?D is ?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: