statementAccount - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - statementAccount

statementAccount

appearance as argument number 1

(documentation statementAccount EnglishLanguage "(statementAccount ?Statement ?Account) means that ?Account is the account of the BankStatement ?Statement.")	FinancialOntology.kif 4073-4074
(domain statementAccount 1 BankStatement)	FinancialOntology.kif 4071-4071	The number 1 argument of statement account is an instance of bank statement
(domain statementAccount 2 FinancialAccount)	FinancialOntology.kif 4072-4072	The number 2 argument of statement account is an instance of financial account
(instance statementAccount BinaryPredicate)	FinancialOntology.kif 4070-4070	statement account is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage statementAccount "%2 %n 是 %1 的 statement 帐号")	domainEnglishFormat.kif 2355-2355
(format ChineseTraditionalLanguage statementAccount "%2 %n 是 %1 的 statement 帳號")	domainEnglishFormat.kif 2354-2354
(format EnglishLanguage statementAccount "%2 is %n a statement account of %1")	domainEnglishFormat.kif 2353-2353
(termFormat ChineseLanguage statementAccount "声明帐户")	domainEnglishFormat.kif 55161-55161
(termFormat ChineseTraditionalLanguage statementAccount "聲明帳戶")	domainEnglishFormat.kif 55160-55160
(termFormat EnglishLanguage statementAccount "statement account")	domainEnglishFormat.kif 55159-55159

antecedent

(=> (and (instance ?Statement BankStatement) (statementAccount ?Statement ?Account)) (exists (?Transaction) (and (instance ?Transaction FinancialTransaction) (or (origin ?Transaction (CurrencyFn ?Account)) (destination ?Transaction (CurrencyFn ?Account))) (realization ?Statement ?Transaction))))	FinancialOntology.kif 3903-3913	If a bank statement is an instance of bank statement and a financial account is a statement account of the bank statement, then there exists a process such that the process is an instance of financial transaction and the process originates at the currency of the financial account or the process ends up at the currency of the financial account and the bank statement expresses the content of the process
(=> (and (statementInterest ?Statement ?Interest) (statementPeriod ?Statement ?Period) (statementAccount ?Statement ?Account)) (interestEarned ?Account ?Interest ?Period))	FinancialOntology.kif 4100-4105	If an interest is a statement interest of a bank statement and a time interval is a statement period of the bank statement and a financial account is a statement account of the bank statement, then the financial account is interest earned the interest for the time interval

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