TreeView Knowledge Base Browser - CreditAccount

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CreditAccount

CreditAccount

appearance as argument number 1

(documentation CreditAccount EnglishLanguage "Credit extended by a business to a customer")	FinancialOntology.kif 1210-1210
(subclass CreditAccount LiabilityAccount)	FinancialOntology.kif 1209-1209	CreditAccount は LiabilityAccount の subclass では %n

appearance as argument number 2

(subclass CreditCardAccount CreditAccount)	FinancialOntology.kif 1235-1235	CreditCardAccount は CreditAccount の subclass では %n
(termFormat ChineseLanguage CreditAccount "信用账户")	domainEnglishFormat.kif 17736-17736
(termFormat ChineseTraditionalLanguage CreditAccount "信用賬戶")	domainEnglishFormat.kif 17735-17735
(termFormat EnglishLanguage CreditAccount "credit account")	domainEnglishFormat.kif 17734-17734

appearance as argument number 3

(domain creditLimit 1 CreditAccount)

FinancialOntology.kif 791-791

creditLimit の数値 1 引数は CreditAccount の instance では %n

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 1212-1222	FinancialAccount は CreditAccount の instance では %n accountAt FinancialAccount and FinancialOrganization accountHolder FinancialAccount and 認識エージェント interestEarned FinancialAccount, Interest and 時間間隔金融取引金融取引は認識エージェントから originates %n{ない} transactionAmount 金融取引 and Interest 金融取引は FinancialOrganization に ends %n{ない}
(=> (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 1224-1233	FinancialAccount は CreditAccount の instance では %n accountHolder FinancialAccount and 認識エージェント principalAmount FinancialAccount and 実数 agreementPeriod FinancialAccount and 時間間隔 interestEarned FinancialAccount, Interest and 時間間隔実数は ( 実数 + Interest) と equal では %n 認識エージェントはタイプエンティティー class のタスクを実行する obliged %n

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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