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 11836-11838
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1866-1867
No TPTP formula. May not be expressible in strict first order. Merge.kif 11834-11834 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 20489-20489 The values returned by occupation are subclasses of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1799-1799 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 11884-11884 Betting is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. Merge.kif 11890-11890 Buying is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1424-1424 Call is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2833-2833 Cancelling an order is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 890-890 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 11872-11872 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 2749-2749 Exercise an option is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. Economy.kif 2396-2396 Exporting is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4125-4125 External transfer is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2829-2829 Filling an order is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2146-2146 Financial default is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3976-3976 Financial request is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3980-3980 Financial response is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4138-4138 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 2069-2069 Liquidation is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 284-284 Muakhar sadaq is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 304-304 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 1685-1685 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 3879-3879 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 1705-1705 The number 1 argument of e-commerce site is an instance of financial transaction
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7204-7204 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 1965-1965 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 7602-7602 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 895-895 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 11850-11850 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 3991-3991 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 20497-20497 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 1966-1966 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 1129-1142
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1239-1247
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1033-1041
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3516-3523
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2887-2903
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3543-3554
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1727-1746
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1759-1778
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1791-1810
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3959-3966
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3838-3852
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3815-3827
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3907-3914
No TPTP formula. May not be expressible in strict first order. Merge.kif 11840-11845

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7727-7733 An agent is a customer of a cognitive agent if and only if there exists a process such that the process is an instance of financial transaction and the agent is an agent of the process and the process ends up at the cognitive agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3635-3642 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 1637-1641
No TPTP formula. May not be expressible in strict first order. Merge.kif 10631-10643
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 1192-1207
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3590-3601
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3885-3895
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29474-29485
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3386-3393
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1974-1984
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22441-22447
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22560-22574
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7083-7089
No TPTP formula. May not be expressible in strict first order. Dining.kif 388-407


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