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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 11079-11081
No TPTP formula. May not be expressible in strict first order. Merge.kif 11077-11077 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 18235-18235 The values returned by occupation are subclasses of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1748-1748 Asset allocation is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 483-483 Automatic transaction is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. Merge.kif 11127-11127 Betting is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. Merge.kif 11133-11133 Buying is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1378-1378 Call is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2773-2773 Cancelling an order is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 844-844 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 11115-11115 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 418-418 Deposit is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2689-2689 Exercise an option is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. Economy.kif 2399-2399 Exporting is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4016-4016 External transfer is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2769-2769 Filling an order is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2096-2096 Financial default is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3867-3867 Financial request is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3871-3871 Financial response is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4029-4029 Internal transfer is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 459-459 Investing is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2019-2019 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 1890-1890 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 3769-3769 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 1910-1910 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 6846-6846 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 18243-18243 The number 2 argument of occupation is an instance of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1914-1914 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 7291-7291 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 849-849 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 11093-11093 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 3882-3882 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 640-640 The number 2 argument of minimum balance is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1915-1915 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 1083-1096
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1193-1201
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 987-995
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3456-3463
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3093-3108
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3483-3494
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1932-1951
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1964-1983
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1996-2015
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3850-3857
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3727-3741
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3704-3716
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3797-3804
No TPTP formula. May not be expressible in strict first order. Merge.kif 11083-11088

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7413-7419 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 3576-3583 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 1844-1848
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 1146-1161
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3530-3541
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3775-3785
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27682-27693
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2435-2445
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20380-20386
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20472-20486
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6721-6727


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