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 11064-11066
No TPTP formula. May not be expressible in strict first order. Merge.kif 11062-11062 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 1735-1735 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 11112-11112 Betting is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. Merge.kif 11118-11118 Buying is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1365-1365 Call is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2754-2754 Cancelling an order is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 834-834 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 11100-11100 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 2670-2670 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 3968-3968 External transfer is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2750-2750 Filling an order is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2077-2077 Financial default is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3819-3819 Financial request is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3823-3823 Financial response is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3981-3981 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 2000-2000 Liquidation is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 271-271 Muakhar sadaq is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 291-291 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 3721-3721 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 1901-1901 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 839-839 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 11078-11078 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 3834-3834 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 639-639 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 1902-1902 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 1073-1086
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1180-1188
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 977-985
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3414-3421
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 3441-3452
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 3802-3809
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3682-3693
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3662-3671
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3749-3756
No TPTP formula. May not be expressible in strict first order. Merge.kif 11068-11073

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 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
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 1136-1148
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3488-3499
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3727-3737
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