CreditAccount - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - CreditAccount

CreditAccount(credit account)

advance, cash_advance, charge_account, charge_account_credit, check_overdraft_credit, commercial_credit, credit_account, export_credit, import_credit, open-end_credit, open_account, overdraft_credit, revolving_charge_account, revolving_credit

appearance as argument number 1

(documentation CreditAccount EnglishLanguage "Credit extended by a business to a customer")	FinancialOntology.kif 1224-1224
(subclass CreditAccount LiabilityAccount)	FinancialOntology.kif 1223-1223	Credit account is a subclass of liability account

appearance as argument number 2

(subclass CreditCardAccount CreditAccount)	FinancialOntology.kif 1249-1249	Credit card account is a subclass of credit account
(termFormat ChineseLanguage CreditAccount "信用账户")	domainEnglishFormat.kif 17751-17751	Credit card account is a subclass of credit account
(termFormat ChineseTraditionalLanguage CreditAccount "信用賬戶")	domainEnglishFormat.kif 17750-17750	Credit card account is a subclass of credit account
(termFormat EnglishLanguage CreditAccount "credit account")	domainEnglishFormat.kif 17749-17749	Credit card account is a subclass of credit account

appearance as argument number 3

(domain creditLimit 1 CreditAccount)

FinancialOntology.kif 791-791

The number 1 argument of credit limit is an instance of credit account

antecedent

(=> (and (instance ?Account CreditAccount) (accountAt ?Account ?Organization) (accountHolder ?Account ?Agent) (interestEarned ?Account ?Interest ?Period)) (exists (?Payment) (and (origin ?Payment ?Agent) (transactionAmount ?Payment ?Interest) (destination ?Payment ?Organization))))	FinancialOntology.kif 1226-1236	If a financial account is an instance of credit account and the financial account is held by a financial organization and a cognitive agent holds account the financial account and the financial account is interest earned an interest for a time interval, then there exists a financial transaction such that the financial transaction originates at the cognitive agent and the interest is a transaction amount of the financial transaction and the financial transaction ends up at the financial organization
(=> (and (instance ?Account CreditAccount) (accountHolder ?Account ?Agent) (principalAmount ?Account ?Principal) (agreementPeriod ?Account ?Period) (interestEarned ?Account ?Interest ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (holdsObligation (KappaFn ?Payment (transactionAmount ?Payment ?Total)) ?Agent))	FinancialOntology.kif 1238-1247	If a financial account is an instance of credit account and a cognitive agent holds account the financial account and a real number is a principal amount of the financial account and a time interval is an agreement period of the financial account and the financial account is interest earned an interest for the time interval and another real number is equal to (the real number and the interest), then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string

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