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 11971-11973
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1866-1867
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11969-11969	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 22123-22123	The values returned by occupation are subclasses of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1816-1816	Asset allocation is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 509-509	Automatic transaction is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12019-12019	Betting is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12025-12025	Buying is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1440-1440	Call is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2850-2850	Cancelling an order is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 892-892	Charging a fee is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 390-390	Closing an account is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12007-12007	Commercial service is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 355-355	Controlling an account is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 428-428	Deposit is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2766-2766	Exercise an option is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2636-2636	Exporting is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4143-4143	External transfer is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2846-2846	Filling an order is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2163-2163	Financial default is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3994-3994	Financial request is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3998-3998	Financial response is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2803-2803	Importing is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4156-4156	Internal transfer is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 485-485	Investing is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2086-2086	Liquidation is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 284-284	Muakhar sadaq is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 304-304	Muqaddam sadaq is a subclass of financial transaction

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1685-1685	The number 1 argument of broker is an instance of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3897-3897	The number 1 argument of confirmation number is an instance of financial transaction
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1705-1705	The number 1 argument of e_commerce site is an instance of financial transaction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8384-8384	The number 1 argument of loss is an instance of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1982-1982	The number 1 argument of order for is an instance of financial transaction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8788-8788	The number 1 argument of profit is an instance of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 897-897	The number 2 argument of service fee is an instance of financial transaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11985-11985	The number 1 argument of transaction amount is an instance of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4009-4009	The number 2 argument of daily limit is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 682-682	The number 2 argument of minimum balance is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22131-22131	The number 2 argument of occupation is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1983-1983	The number 2 argument of order for is a subclass of financial transaction

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1145-1158	If a financial account is an instance of checking account and a process is an instance of financial transaction and the process originates at the currency of the financial account, then there exists an object such that the object is an instance of check and the object is an instrument for the process or there exists another object such that the other object is an instance of debit card and the other object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1255-1263	If a financial account is an instance of credit card account and a process is an instance of financial transaction and the process originates at the currency of the financial account, then there exists an object such that the object is an instance of credit card and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1035-1043	If a financial account is an instance of savings account and a process is an instance of financial transaction and the process originates at the currency of the financial account, then there exists another process such that the other process is an instance of authorization of transaction and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3534-3541	If a process is an instance of authorization of transaction and another process is an instance of financial transaction and an object is an instance of bank card and the object is an instrument for the other process and the process causes the other process, then the object is an instance of valid card
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2887-2903	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 there exist a symbolic string and an entity such that the number of instances in the class described by the symbolic string is equal to number of items purchased in the collection
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3561-3572	If a bank card is an instance of debit card and an agent possesses the bank card and a process is an instance of financial transaction and the bank card is an instrument for the process, then there exist a symbolic string and another process such that the bank card is a pin of the symbolic string and the other process is an instance of entering a PIN and the symbolic string is a patient of the other process and the agent is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1727-1746	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 web site 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 web site is an instance of web site and the agent is an agent of the object and the object ends up at the other agent and the web site 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 web site and the other user account is an account at the web site and business account is an attribute of the user account and business account is an attribute of the other user account
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1759-1778	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 web site 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 web site is an instance of web site and the agent is an agent of the object and the object ends up at the other agent and the web site 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 web site and the other user account is an account at the web site and business account is an attribute of the user account and consumer account is an attribute of the other user account
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1791-1810	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 web site 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 web site is an instance of web site and the agent is an agent of the object and the object ends up at the other agent and the web site 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 web site and the other user account is an account at the web site and consumer account is an attribute of the user account and consumer account is an attribute of the other user account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3977-3984	If a process is an instance of financial transaction and the process ends up at an agent, then another process is an instance of commercial service and the agent is an agent of the other process and open service is an attribute of the other process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3856-3870	If a financial transaction is an instance of financial transaction and the financial transaction originates at the currency of a financial account and a real number an unit of measure(s) is a transaction amount of the financial transaction and the unit of measure is an instance of unit of currency and an entity is an instance of currency and the entity is a patient of the financial transaction and date of the financial transaction is a day, then there exists another real number such that the available cash of the financial account on the day is the other real number the unit of measure(s) and the real number is greater than or equal to the other real number
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3833-3845	If a financial transaction is an instance of financial transaction and the financial transaction originates at a financial account and a real number an unit of measure(s) is a transaction amount of the financial transaction and the unit of measure is an instance of unit of currency and date of the financial transaction is a day, then there exists another real number such that the available balance of the financial account on the day is the other real number the unit of measure(s) and the real number is greater than or equal to the other real number
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3925-3932	If a bank statement is a last statement of a financial account and a physical is an instance of financial transaction and the bank statement expresses the content of the physical and another physical is an instance of financial transaction and the bank statement doesn't express the content of the other physical, then the time of existence of the other physical happens earlier than the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11975-11980	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 8913-8919	An agent is a customer of a cognitive agent if and only if there exists a process such that the process is an instance of financial transaction and the agent is an agent of the process and the process ends up at the cognitive agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3653-3660	A cognitive agent customer representative another cognitive agent for an organization if and only if there exists a process such that the process is an instance of financial transaction and the organization employs the cognitive agent 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 1637-1641	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 10754-10766	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 burning 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.	FinancialOntology.kif 1208-1223	If a financial account is an instance of profit sharing plan and a cognitive agent holds account the financial account and an agent employs the cognitive agent and the profit from a financial transaction is a real number an unit of measure(s) and the unit of measure is an instance of unit of currency and the agent is an agent of the financial transaction, then there exist another real number and the real numberAY such that the real numberAY is an instance of financial transaction and the other real number the unit of measure(s) is a transaction amount of the real numberAY and the other real number is less than the real number and the real numberAY ends up at the financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3608-3619	If a process is an instance of commercial service and a cognitive agent is an agent of the process and an agent employs the cognitive agent and the process ends up at an entity, then the process has the purpose there exists another entity such that the other entity is an instance of financial transaction and the other entity ends up at the agent and the other entity originates at the entity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3903-3913	If a bank statement is an instance of bank statement and a financial account is a statement account of the bank statement, then there exists a process such that the process is an instance of financial transaction and the process originates at the currency of the financial account or the process ends up at the currency of the financial account and the bank statement expresses the content of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31152-31163	If coin operated 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 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.	Economy.kif 6649-6656	If profitable is an attribute of an object, then if a financial transaction is an instance of financial transaction and the object is a patient of the financial transaction and the profit from the financial transaction is a real number an unit of measure(s), then the real number is greater than 0
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3387-3394	If an entity is an instance of paystub, then there exist a process, an object and another entity such that the process is an instance of financial transaction and the process originates at the object and the process ends up at the other entity and the entity includes a reference to the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2436-2446	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 24101-24107	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 the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24220-24234	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 the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8263-8269	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 the physical
No TPTP formula. May not be expressible in strict first order.	Dining.kif 388-407	If the standard retail hours for an agent are a kind of time interval, then there exist a process, an entity,, , another entity,, , a real number and another real number such that the process is an instance of financial transaction and the agent is an agent of the process and the entity is an instance of a kind of time interval and the process ends up at the other entity and the real number is equal to the probability of the time of existence of the process takes place during the entity and the agent is a customer of the other entity and the other real number is equal to the probability of the time of existence of the process doesn't take place during the entity and the agent is a customer of the other entity and the real number is greater than the other real number

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: