| appearance as argument number 1 |
|
| (documentation statementAccount EnglishLanguage "(statementAccount ?Statement ?Account) means that ?Account is the account of the BankStatement ?Statement.") | FinancialOntology.kif 4055-4056 | |
| (domain statementAccount 1 BankStatement) | FinancialOntology.kif 4053-4053 | 声明帐户 的 1 数量 是 银行对帐单 的 instance |
| (domain statementAccount 2 FinancialAccount) | FinancialOntology.kif 4054-4054 | 声明帐户 的 2 数量 是 金融账户 的 instance |
| (instance statementAccount BinaryPredicate) | FinancialOntology.kif 4052-4052 | 声明帐户 是 二元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage statementAccount "%2 %n 是 %1 的 statement 帐号") | domainEnglishFormat.kif 2351-2351 | |
| (format ChineseTraditionalLanguage statementAccount "%2 %n 是 %1 的 statement 帳號") | domainEnglishFormat.kif 2350-2350 | |
| (format EnglishLanguage statementAccount "%2 is %n a statement account of %1") | domainEnglishFormat.kif 2349-2349 | |
| (termFormat ChineseLanguage statementAccount "声明帐户") | domainEnglishFormat.kif 55128-55128 | |
| (termFormat ChineseTraditionalLanguage statementAccount "聲明帳戶") | domainEnglishFormat.kif 55127-55127 | |
| (termFormat EnglishLanguage statementAccount "statement account") | domainEnglishFormat.kif 55126-55126 |
| 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 3885-3895 | |
| (=> (and (statementInterest ?Statement ?Interest) (statementPeriod ?Statement ?Period) (statementAccount ?Statement ?Account)) (interestEarned ?Account ?Interest ?Period)) |
FinancialOntology.kif 4082-4087 |
|
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