FinancialTransaction - Sigma Knowledge base Browser

appearance as argument number 3

(domain broker 1 FinancialTransaction)	UXExperimentalTerms.kif 1888-1888	The number 1 argument of broker is an instance of financial transaction
(domain confirmationNumber 1 FinancialTransaction)	FinancialOntology.kif 3721-3721	The number 1 argument of confirmation number is an instance of financial transaction
(domain eCommerceSite 1 FinancialTransaction)	UXExperimentalTerms.kif 1908-1908	The number 1 argument of eCommerceSite is an instance of financial transaction
(domain loss 1 FinancialTransaction)	Mid-level-ontology.kif 6866-6866	The number 1 argument of loss is an instance of financial transaction
(domain occupation 2 FinancialTransaction)	Mid-level-ontology.kif 18213-18213	The number 2 argument of occupation is an instance of financial transaction
(domain orderFor 1 FinancialTransaction)	FinancialOntology.kif 1901-1901	The number 1 argument of order for is an instance of financial transaction
(domain profit 1 FinancialTransaction)	Mid-level-ontology.kif 7310-7310	The number 1 argument of profit is an instance of financial transaction
(domain serviceFee 2 FinancialTransaction)	FinancialOntology.kif 839-839	The number 2 argument of service fee is an instance of financial transaction
(domain transactionAmount 1 FinancialTransaction)	Merge.kif 11028-11028	The number 1 argument of transaction amount is an instance of financial transaction
(domainSubclass dailyLimit 2 FinancialTransaction)	FinancialOntology.kif 3834-3834	The number 2 argument of daily limit is a subclass of financial transaction
(domainSubclass minimumBalance 2 FinancialTransaction)	FinancialOntology.kif 639-639	The number 2 argument of minimum balance is a subclass of financial transaction
(domainSubclass orderFor 2 FinancialTransaction)	FinancialOntology.kif 1902-1902	The number 2 argument of order for is a subclass of financial transaction

antecedent

(=> (and (instance ?Account CheckingAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (or (exists (?Check) (and (instance ?Check Check) (instrument ?Transaction ?Check))) (exists (?DebitCard) (and (instance ?DebitCard DebitCard) (instrument ?Transaction ?DebitCard)))))	FinancialOntology.kif 1073-1086	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
(=> (and (instance ?Account CreditCardAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (exists (?Card) (and (instance ?Card CreditCard) (instrument ?Transaction ?Card))))	FinancialOntology.kif 1180-1188	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
(=> (and (instance ?Account SavingsAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (exists (?Authorization) (and (instance ?Authorization AuthorizationOfTransaction) (subProcess ?Authorization ?Transaction))))	FinancialOntology.kif 977-985	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
(=> (and (instance ?Authorization AuthorizationOfTransaction) (instance ?Transaction FinancialTransaction) (instance ?Card BankCard) (instrument ?Transaction ?Card) (causes ?Authorization ?Transaction)) (instance ?Card ValidCard))	FinancialOntology.kif 3414-3421	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
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER FinancialTransaction)))) (equal (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Physical) (instance ?BUYING Buying) (member ?BUYING ?COLL) (patient ?BUYING ?ITEM)))) (BoughtItemsFn ?COLL)))	UXExperimentalTerms.kif 3091-3106	If a collection is an instance of collection and for all an object if the object is a member of the collection, then the object 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
(=> (and (instance ?Card DebitCard) (possesses ?Agent ?Card) (instance ?Transaction FinancialTransaction) (instrument ?Transaction ?Card)) (exists (?PIN ?Enter) (and (pin ?PIN ?Card) (instance ?Enter EnteringAPin) (patient ?Enter ?PIN) (agent ?Enter ?Agent))))	FinancialOntology.kif 3441-3452	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
(=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS BusinessToBusiness)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 Agent) (instance ?USER2 Agent) (instance ?SITE WebSite) (agent ?TRANS ?USER1) (destination ?TRANS ?USER2) (instrument ?TRANS ?SITE) (hasAccount ?USER1 ?ACCT1) (hasAccount ?USER2 ?ACCT2) (accountAtSite ?ACCT1 ?SITE) (accountAtSite ?ACCT2 ?SITE) (attribute ?ACC1 BusinessAccount) (attribute ?ACC2 BusinessAccount))))	UXExperimentalTerms.kif 1930-1949	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
(=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS BusinessToConsumer)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 Agent) (instance ?USER2 Agent) (instance ?SITE WebSite) (agent ?TRANS ?USER1) (destination ?TRANS ?USER2) (instrument ?TRANS ?SITE) (hasAccount ?USER1 ?ACCT1) (hasAccount ?USER2 ?ACCT2) (accountAtSite ?ACCT1 ?SITE) (accountAtSite ?ACCT2 ?SITE) (attribute ?ACCOUNT1 BusinessAccount) (attribute ?ACCOUNT2 ConsumerAccount))))	UXExperimentalTerms.kif 1962-1981	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
(=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS ConsumerToConsumer)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 Agent) (instance ?USER2 Agent) (instance ?SITE WebSite) (agent ?TRANS ?USER1) (destination ?TRANS ?USER2) (instrument ?TRANS ?SITE) (hasAccount ?USER1 ?ACCT1) (hasAccount ?USER2 ?ACCT2) (accountAtSite ?ACCT1 ?SITE) (accountAtSite ?ACCT2 ?SITE) (attribute ?ACCOUNT1 ConsumerAccount) (attribute ?ACCOUNT2 ConsumerAccount))))	UXExperimentalTerms.kif 1994-2013	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
(=> (and (instance ?Transaction FinancialTransaction) (destination ?Transaction ?Agent)) (and (instance ?Service CommercialService) (agent ?Service ?Agent) (attribute ?Service OpenService)))	FinancialOntology.kif 3802-3809	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
(=> (and (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account)) (transactionAmount ?Transaction ?Amount1) (instance ?Cash Currency) (patient ?Transaction ?Cash) (date ?Transaction ?Day)) (exists (?Amount2) (and (availableCash ?Account ?Day ?Amount2) (greaterThanOrEqualTo ?Amount1 ?Amount2))))	FinancialOntology.kif 3682-3693	If a financial transaction is an instance of financial transaction and the financial transaction originates at the currency of a financial account and a currency measure is a transaction amount of the financial transaction 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 currency measure such that the available cash of the financial account on the day is the other currency measure and the currency measure is greater than or equal to the other currency measure
(=> (and (instance ?Transaction FinancialTransaction) (origin ?Transaction ?Account) (transactionAmount ?Transaction ?Amount1) (date ?Transaction ?Day)) (exists (?Amount2) (and (availableBalance ?Account ?Day ?Amount2) (greaterThanOrEqualTo ?Amount1 ?Amount2))))	FinancialOntology.kif 3662-3671	If a financial transaction is an instance of financial transaction and the financial transaction originates at a financial account and a currency measure is a transaction amount of the financial transaction and date of the financial transaction is a day, then there exists another currency measure such that the available balance of the financial account on the day is the other currency measure and the currency measure is greater than or equal to the other currency measure
(=> (and (lastStatement ?Account ?Statement) (instance ?Transaction1 FinancialTransaction) (realization ?Statement ?Transaction1) (instance ?Transaction2 FinancialTransaction) (not (realization ?Statement ?Transaction2))) (earlier (WhenFn ?Transaction2) (WhenFn ?Transaction1)))	FinancialOntology.kif 3749-3756	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
(=> (instance ?TRANS FinancialTransaction) (exists (?OBJ) (and (patient ?TRANS ?OBJ) (instance ?OBJ FinancialInstrument))))	Merge.kif 11018-11023	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

(<=> (customer ?AGENT1 ?AGENT2) (exists (?SERVICE) (and (instance ?SERVICE FinancialTransaction) (agent ?SERVICE ?AGENT2) (destination ?SERVICE ?AGENT1))))	Mid-level-ontology.kif 7432-7438	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
(<=> (customerRepresentative ?Person1 ?Person2 ?Org) (exists (?Service) (and (instance ?Service FinancialTransaction) (employs ?Org ?Person1) (agent ?Service ?Person1) (destination ?Service ?Person2))))	FinancialOntology.kif 3534-3541	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
(=> (and (attribute ?TRANS ?ATTR) (instance ?ATTR AccountAttribute)) (instance ?TRANS FinancialTransaction))	UXExperimentalTerms.kif 1842-1846	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
(=> (and (instance ?ORG Organization) (attribute ?ORG Utilities)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (or (instance ?EV Removing) (instance ?THING Sewage)) (patient ?EV ?THING) (or (instance ?THING Electron) (instance ?THING Water) (and (instance ?THING PureSubstance) (capability Combustion patient ?THING))) (member ?MEM2 ?ORG) (instance ?EV2 FinancialTransaction) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	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 an object such that the object is a member of the collection and the agent is an agent of the object and there exist another object, the object2 and the agent2 such that the agent is an instance of removing or the other object is an instance of sewage and the other object is a patient of the agent and the other object is an instance of electron or the other object is an instance of water or the other object is an instance of pure substance and the other object is capable of doing combustion as a patient and the object2 is a member of the collection and the agent2 is an instance of financial transaction and the object2 is an agent of the agent2 and the other object is a patient of the agent2
(=> (and (instance ?PSP ProfitSharingPlan) (accountHolder ?PSP ?H) (employs ?O ?H) (profit ?A ?P) (agent ?A ?O)) (exists (?C ?PAY) (and (instance ?PAY FinancialTransaction) (transactionAmount ?PAY ?C) (lessThan ?C ?P) (destination ?PAY ?PSP))))	FinancialOntology.kif 1136-1148	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 currency measure and the agent is an agent of the financial transaction, then there exist another currency measure and the currency measureAY such that the currency measureAY is an instance of financial transaction and the other currency measure is a transaction amount of the currency measureAY and the other currency measure is less than the currency measure and the currency measureAY ends up at the financial account
(=> (and (instance ?Service CommercialService) (agent ?Service ?Agent) (employs ?Org ?Agent) (destination ?Service ?Customer)) (hasPurpose ?Service (exists (?Transaction) (and (instance ?Transaction FinancialTransaction) (destination ?Transaction ?Org) (origin ?Transaction ?Customer)))))	FinancialOntology.kif 3488-3499	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 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
(=> (and (instance ?Statement BankStatement) (statementAccount ?Statement ?Account)) (exists (?Transaction) (and (instance ?Transaction FinancialTransaction) (or (origin ?Transaction (CurrencyFn ?Account)) (destination ?Transaction (CurrencyFn ?Account))) (realization ?Statement ?Transaction))))	FinancialOntology.kif 3727-3737	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
(=> (attribute ?M CoinOperated) (hasPurpose ?M (exists (?C ?FT ?A ?ACT) (and (instance ?C CurrencyCoin) (instance ?FT FinancialTransaction) (destination ?FT ?M) (patient ?FT ?C) (origin ?FT ?A) (causes ?FT ?ACT) (wants ?A ?ACT)))))	Mid-level-ontology.kif 27649-27660	If CoinOperated is an attribute of an object, then the object 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
(=> (instance ?VD VendingMachine) (hasPurpose ?VD (exists (?T ?C ?P) (and (instance ?T FinancialTransaction) (instrument ?T ?VD) (patient ?T ?C) (instance ?C Currency) (patient ?T ?P) (instance ?P Product)))))	Mid-level-ontology.kif 2429-2439	If a physical is an instance of vending machine, then the physical 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
(=> (instance ?X Marketplace) (hasPurpose ?X (exists (?EV) (and (instance ?EV FinancialTransaction) (eventLocated ?EV ?X)))))	Mid-level-ontology.kif 20349-20355	If a physical is an instance of marketplace, then the physical purpose there exists an entity such that the entity is an instance of financial transaction and the entity is located at 2
(=> (instance ?X RestaurantBuilding) (hasPurpose ?X (exists (?OWN ?EMP ?EV ?P ?PAY) (and (employs ?OWN ?EMP) (possesses ?OWN ?X) (instance ?P Human) (instance ?PAY FinancialTransaction) (agent ?PAY ?P) (patient ?PAY ?EMP) (confersRight ?EMP ?EV ?P) (instance ?EV Eating) (agent ?EV ?P) (eventLocated ?EV ?X)))))	Mid-level-ontology.kif 20441-20455	If a physical is an instance of restaurant building, then the physical 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
(=> (instance ?X Store) (hasPurpose ?X (exists (?EV) (and (instance ?EV FinancialTransaction) (eventLocated ?EV ?X)))))	Mid-level-ontology.kif 6742-6748	If a physical is an instance of store, then the physical 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

(documentation FinancialTransaction ChineseLanguage "这是一种 Transaction，它出现在当一种 FinancialInstrument 的实例成为交易的主体，而且通常是用来交换另外一样的东西。")	chinese_format.kif 3095-3096
(documentation FinancialTransaction EnglishLanguage "A Transaction where an instance of FinancialInstrument is the subject of the action, and often is exchanged for something else.")	Merge.kif 11014-11016
(subclass FinancialTransaction Transaction)	Merge.kif 11012-11012	Financial transaction is a subclass of transaction

(rangeSubclass OccupationFn FinancialTransaction)	Mid-level-ontology.kif 18205-18205	The values returned by occupation are subclasses of financial transaction
(subclass AssetAllocation FinancialTransaction)	FinancialOntology.kif 1735-1735	Asset allocation is a subclass of financial transaction
(subclass AutomaticTransaction FinancialTransaction)	FinancialOntology.kif 483-483	Automatic transaction is a subclass of financial transaction
(subclass Betting FinancialTransaction)	Merge.kif 11062-11062	Betting is a subclass of financial transaction
(subclass Buying FinancialTransaction)	Merge.kif 11068-11068	Buying is a subclass of financial transaction
(subclass Call FinancialTransaction)	FinancialOntology.kif 1365-1365	Call is a subclass of financial transaction
(subclass CancellingAnOrder FinancialTransaction)	FinancialOntology.kif 2754-2754	Cancelling an order is a subclass of financial transaction
(subclass ChargingAFee FinancialTransaction)	FinancialOntology.kif 834-834	ChargingA fee is a subclass of financial transaction
(subclass ClosingAnAccount FinancialTransaction)	FinancialOntology.kif 388-388	Closing an account is a subclass of financial transaction
(subclass CommercialService FinancialTransaction)	Merge.kif 11050-11050	Commercial service is a subclass of financial transaction
(subclass ControllingAnAccount FinancialTransaction)	FinancialOntology.kif 353-353	Controlling an account is a subclass of financial transaction
(subclass Deposit FinancialTransaction)	FinancialOntology.kif 418-418	Deposit is a subclass of financial transaction
(subclass ExerciseAnOption FinancialTransaction)	FinancialOntology.kif 2670-2670	Exercise an option is a subclass of financial transaction
(subclass Exporting FinancialTransaction)	Economy.kif 2399-2399	Exporting is a subclass of financial transaction
(subclass ExternalTransfer FinancialTransaction)	FinancialOntology.kif 3968-3968	External transfer is a subclass of financial transaction
(subclass FillingAnOrder FinancialTransaction)	FinancialOntology.kif 2750-2750	Filling an order is a subclass of financial transaction
(subclass FinancialDefault FinancialTransaction)	FinancialOntology.kif 2077-2077	Financial default is a subclass of financial transaction
(subclass FinancialRequest FinancialTransaction)	FinancialOntology.kif 3819-3819	Financial request is a subclass of financial transaction
(subclass FinancialResponse FinancialTransaction)	FinancialOntology.kif 3823-3823	Financial response is a subclass of financial transaction
(subclass InternalTransfer FinancialTransaction)	FinancialOntology.kif 3981-3981	Internal transfer is a subclass of financial transaction
(subclass Investing FinancialTransaction)	FinancialOntology.kif 459-459	Investing is a subclass of financial transaction
(subclass Liquidation FinancialTransaction)	FinancialOntology.kif 2000-2000	Liquidation is a subclass of financial transaction
(subclass MuakharSadaq FinancialTransaction)	ArabicCulture.kif 271-271	Muakhar sadaq is a subclass of financial transaction
(subclass MuqaddamSadaq FinancialTransaction)	ArabicCulture.kif 291-291	Muqaddam sadaq is a subclass of financial transaction
(subclass OpeningAnAccount FinancialTransaction)	FinancialOntology.kif 290-290	Opening an account is a subclass of financial transaction

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

KB Term:			Term intersection

English Word: