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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FinancialAccount
FinancialAccount(financial account)
Totten_trust, account, active_trust, blind_trust, business_relationship, charitable_trust, constructive_trust, direct_trust, discretionary_trust, express_trust, fixed_investment_trust, implied_trust, inter_vivos_trust, involuntary_trust, living_trust, nondiscretionary_trust, passive_trust, public_trust, resulting_trust, savings_account_trust, savings_bank_trust, spendthrift_trust, testamentary_trust, trust, trust_account, trust_fund, trustee_account

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 59-61
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10026-10026
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4539-4539 Financial account is a subclass of account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 58-58 Financial account is a subclass of agreement

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2331-2331 The range of account is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1013-1013 Corporate account is a subclass of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1024-1024 Deposit account is a subclass of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 968-968 Interest bearing account is a subclass of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1159-1159 Liability account is a subclass of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1173-1173 Pension plan is a subclass of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 992-992 Personal account is a subclass of financial account
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23726-23726
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23725-23725
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23724-23724

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 283-283 The number 1 argument of currency is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 230-230 The number 1 argument of account at is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 249-249 The number 1 argument of account holder is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3452-3452 The number 1 argument of account number is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4010-4010 The number 1 argument of account status is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4024-4024 The number 1 argument of administrator is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 649-649 The number 1 argument of amount due is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3818-3818 The number 1 argument of available balance is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3841-3841 The number 1 argument of available cash is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4102-4102 The number 1 argument of buying power amount is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 237-237 The number 2 argument of card account is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 243-243 The number 2 argument of check account is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 552-552 The number 1 argument of compound interest is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3882-3882 The number 1 argument of credits per period is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 672-672 The number 1 argument of current account balance is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 614-614 The number 1 argument of current interest rate is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4001-4001 The number 1 argument of daily limit is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3812-3812 The number 1 argument of financial account is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 621-621 The number 1 argument of fixed interest rate is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 522-522 The number 1 argument of interest earned is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 580-580 The number 1 argument of interest rate per period is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3909-3909 The number 1 argument of last statement is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4050-4050 The number 1 argument of last statement balance is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1827-1827 The number 1 argument of liquidity is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4111-4111 The number 1 argument of margin balance amount is an instance of financial account

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2335-2340 A financial account is an instance of financial account and a cognitive agent possesses a financial asset and the financial account is equal to the account of the financial asset if and only if the cognitive agent holds account the financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1832-1842 A process is an instance of withdrawal and a financial account is an instance of financial account and the process originates at the currency of the financial account and there doesn't exist another process such that the other process is an instance of penalty and the other process ends up at the currency of the financial account and the process causes the other process if and only if the liqudity of the financial account is high liquidity
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 76-84
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 686-699
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 701-714
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 436-453
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 408-424
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 466-481
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 120-135
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 834-842
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 63-67
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 69-74

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 188-196
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 391-401
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 293-306
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 459-464
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3914-3916


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