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 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
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. Merge.kif 11673-11678

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
No TPTP formula. May not be expressible in strict first order. Merge.kif 10519-10531
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. Mid-level-ontology.kif 28862-28873
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1929-1939
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21897-21903
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21982-21996
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6743-6749


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