FinancialTransaction - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3095-3096
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11669-11671
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11667-11667	Financial transaction is a subclass of transaction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19811-19811	The values returned by occupation are subclasses of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 507-507	Automatic transaction is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11717-11717	Betting is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11723-11723	Buying is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 388-388	Closing an account is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11705-11705	Commercial service is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 353-353	Controlling an account is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 426-426	Deposit is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2406-2406	Exporting is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 483-483	Investing is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 273-273	Muakhar sadaq is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 293-293	Muqaddam sadaq is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 290-290	Opening an account is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 403-403	Payment is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21877-21877	Renting is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11734-11734	Selling is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2118-2118	Collection of transactions is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 308-308	Using an account is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1898-1898	Vending is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 455-455	Withdrawal is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19821-19821	Working is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1140-1140
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1497-1497

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1893-1893	The number 1 argument of broker is an instance of financial transaction
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1913-1913	The number 1 argument of eCommerceSite is an instance of financial transaction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6864-6864	The number 1 argument of loss is an instance of financial transaction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7278-7278	The number 1 argument of profit is an instance of financial transaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11683-11683	The number 1 argument of transaction amount is an instance of financial transaction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19819-19819	The number 2 argument of occupation is a subclass of financial transaction

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3096-3111	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of financial transaction , then the number of instances in the class described by a symbolic string is equal to number of items purchased in the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1935-1954	If an object is an instance of financial transaction and business to business transaction is an attribute of the object, then there exist an user account, another user account,, , an agent,, , another agent and a WebSite such that the user account is an instance of user account and the other user account is an instance of user account and the agent is an instance of agent and the other agent is an instance of agent and the WebSite is an instance of WebSite and the agent is an agent of the object and the object ends up at the other agent and the WebSite is an instrument for the object and the agent has account the user account and the other agent has account the other user account and the user account is an account at the WebSite and the other user account is an account at the WebSite and business account is an attribute of another object and business account is an attribute of a third object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1967-1986	If an object is an instance of financial transaction and business to consumer transaction is an attribute of the object, then there exist an user account, another user account,, , an agent,, , another agent and a WebSite such that the user account is an instance of user account and the other user account is an instance of user account and the agent is an instance of agent and the other agent is an instance of agent and the WebSite is an instance of WebSite and the agent is an agent of the object and the object ends up at the other agent and the WebSite is an instrument for the object and the agent has account the user account and the other agent has account the other user account and the user account is an account at the WebSite and the other user account is an account at the WebSite and business account is an attribute of another object and consumer account is an attribute of a third object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1999-2018	If an object is an instance of financial transaction and consumer to consumer transaction is an attribute of the object, then there exist an user account, another user account,, , an agent,, , another agent and a WebSite such that the user account is an instance of user account and the other user account is an instance of user account and the agent is an instance of agent and the other agent is an instance of agent and the WebSite is an instance of WebSite and the agent is an agent of the object and the object ends up at the other agent and the WebSite is an instrument for the object and the agent has account the user account and the other agent has account the other user account and the user account is an account at the WebSite and the other user account is an account at the WebSite and consumer account is an attribute of another object and consumer account is an attribute of a third object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11673-11678	If a process is an instance of financial transaction, then there exists an entity such that the entity is a patient of the process and the entity is an instance of financial instrument

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7396-7402	A cognitive agent is a customer of another cognitive agent if and only if there exists a process such that the process is an instance of financial transaction and the cognitive agent is an agent of the process and the process ends up at the other cognitive agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1845-1849	If an attribute is an attribute of an object and the attribute is an instance of account attribute, then the object is an instance of financial transaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10519-10531	If a process is an instance of hiring and a cognitive agent is an instance of organization and the cognitive agent is an agent of the process and an entity is a patient of the process, then the cognitive agent expects there exists another entity such that the other entity is an instance of financial transaction and the cognitive agent is an agent of the other entity and the other entity ends up at the entity and the time of existence of the process happens earlier than the time of existence of the other entity will be true
No TPTP formula. May not be expressible in strict first order.	naics.kif 954-977	If a collection is an instance of organization and utilities is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an object, the process2 and the agent2 such that the agent is an instance of removing or the object is an instance of sewage and the object is a patient of the agent and the object is an instance of electron or the object is an instance of water or the object is an instance of pure substance and the object is capable of doing combustion as a patient and the process2 is a member of the collection and the agent2 is an instance of financial transaction and the process2 is an agent of the agent2 and the object is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28862-28873	If CoinOperated is an attribute of an object, then the object has the purpose there exist an entity, another entity,, , a third entity and the third entityCT such that the entity is an instance of currency coin and the other entity is an instance of financial transaction and the other entity ends up at the object and the entity is a patient of the other entity and the other entity originates at the third entity and the other entity causes the third entityCT and the third entity wants the third entityCT
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1929-1939	If a physical is an instance of vending machine, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of financial transaction and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of currency and the third entity is a patient of the entity and the third entity is an instance of product
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21897-21903	If a physical is an instance of marketplace, then the physical has the purpose there exists an entity such that the entity is an instance of financial transaction and the entity is located at 2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21982-21996	If a physical is an instance of restaurant building, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and the fourth entityAY such that the entity employs the other entity and the entity possesses the physical and the fourth entity is an instance of human and the fourth entityAY is an instance of financial transaction and the fourth entity is an agent of the fourth entityAY and the other entity is a patient of the fourth entityAY and the third entity allows the fourth entity to perform task of the type the other entity and the third entity is an instance of eating and the fourth entity is an agent of the third entity and the third entity is located at 2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6743-6749	If a physical is an instance of store, then the physical has the purpose there exists an entity such that the entity is an instance of financial transaction and the entity is located at 2

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: