Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  FinancialTransaction

Sigma KEE - FinancialTransaction
FinancialTransaction(financial transaction)C.O.D., COD, NAFTA, North_American_Free_Trade_Agreement, advance, advisory_service, amortise, amortize, arbitrage, arms_deal, at_a_loss, attestation_report, attestation_service, bank, banking, barratry, bear, bear_hug, bear_market, best, black_market, bond, bond-trading_activity, bond_trading, bountied, break, break_even, bribe, bribery, broker, buckshee, bull_market, business, business_activity, business_deal, buy, buy_off, buyer's_market, buyers'_market, capital_account, carriage_trade, carry, cash, cash_in, cash_on_delivery, cashed, charter, chartered, check_out, clean_up...

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 11675-11677
No TPTP formula. May not be expressible in strict first order. Merge.kif 11673-11673 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 19835-19835 The values returned by occupation are subclasses of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1811-1811 Asset allocation is a subclass 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 11723-11723 Betting is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. Merge.kif 11729-11729 Buying is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1423-1423 Call is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2840-2840 Cancelling an order is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 889-889 ChargingA fee 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 11711-11711 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. FinancialOntology.kif 2756-2756 Exercise an option 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 4077-4077 External transfer is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2836-2836 Filling an order is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2155-2155 Financial default is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3928-3928 Financial request is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3932-3932 Financial response is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4090-4090 Internal transfer 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. FinancialOntology.kif 2078-2078 Liquidation 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

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 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. FinancialOntology.kif 3831-3831 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 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 6868-6868 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 1974-1974 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 7282-7282 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 894-894 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 11689-11689 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 3943-3943 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 680-680 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 19843-19843 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 1975-1975 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 1128-1141
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1238-1246
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1032-1040
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3520-3527
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3096-3111
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3547-3558
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1935-1954
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1967-1986
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1999-2018
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3911-3918
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3790-3804
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3767-3779
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3859-3866
No TPTP formula. May not be expressible in strict first order. Merge.kif 11679-11684

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7400-7406 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. FinancialOntology.kif 3639-3646 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 1845-1849
No TPTP formula. May not be expressible in strict first order. Merge.kif 10525-10537
No TPTP formula. May not be expressible in strict first order. naics.kif 954-977
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1191-1206
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3594-3605
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3837-3847
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28886-28897
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1933-1943
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21921-21927
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22006-22020
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6747-6753


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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