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...

VerbNet: future_having-13.3|advance, force-59|bribe, force-59|bribe, get-13.5.1|cash, get-13.5.1|cash, get-13.5.1|rent, cost-54.2|net, judgment-33|recompense, force-59|bribe, hire-13.5.3|take, give-13.1|refund, force-59|bribe, get-13.5.1|rent, get-13.5.1|rent, give-13.1|lease, cost-54.2|net, judgment-33|recompense, obtain-13.5.2|recoup, give-13.1|refund, contribute-13.2|reimburse, ensure-99|reinsure, contribute-13.2|remit, equip-13.4.2|compensate, get-13.5.1|rent, judgment-33|recompense, give-13.1|refund, give-13.1|refund,


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 11044-11046
No TPTP formula. May not be expressible in strict first order. Merge.kif 11042-11042 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 18230-18230 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 11092-11092 Betting is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. Merge.kif 11098-11098 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 11080-11080 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 1888-1888 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 1908-1908 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 6845-6845 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 18238-18238 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 7289-7289 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 11058-11058 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 3091-3106
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 1930-1949
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1962-1981
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1994-2013
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 11048-11053

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7411-7417 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 1842-1846
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 27674-27685
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 20374-20380
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20466-20480
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