| appearance as argument number 1 |
|
| (documentation availableBalance EnglishLanguage "(availableBalance ?Account ?Day ?Amount) means that ?Amount is the balance which is available for withdrawal from the FinancialAccount ?Account.") | FinancialOntology.kif 3825-3827 | |
| (domain availableBalance 1 FinancialAccount) | FinancialOntology.kif 3821-3821 | |
| (domain availableBalance 2 Day) | FinancialOntology.kif 3822-3822 | |
| (domain availableBalance 3 CurrencyMeasure) | FinancialOntology.kif 3823-3823 | |
| (instance availableBalance TernaryPredicate) | FinancialOntology.kif 3824-3824 | |
| (subrelation availableBalance currentAccountBalance) | FinancialOntology.kif 3820-3820 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage availableBalance "%1 在 %2 的 available balance 是 %3 ") | domainEnglishFormat.kif 2854-2854 | |
| (format ChineseTraditionalLanguage availableBalance "%1 在 %2 的 available balance 是 %3 ") | domainEnglishFormat.kif 2853-2853 | |
| (format EnglishLanguage availableBalance "the available balance of %1 on %2 is %3") | domainEnglishFormat.kif 2852-2852 | |
| (subrelation availableCash availableBalance) | FinancialOntology.kif 3843-3843 | |
| (subrelation buyingPowerAmount availableBalance) | FinancialOntology.kif 4104-4104 | |
| (subrelation marginBalanceAmount availableBalance) | FinancialOntology.kif 4113-4113 | |
| (subrelation marketValueAmount availableBalance) | FinancialOntology.kif 4131-4131 | |
| (subrelation shortBalanceAmount availableBalance) | FinancialOntology.kif 4122-4122 | |
| (termFormat ChineseLanguage availableBalance "可用余额") | domainEnglishFormat.kif 9325-9325 | |
| (termFormat ChineseTraditionalLanguage availableBalance "可用餘額") | domainEnglishFormat.kif 9324-9324 | |
| (termFormat EnglishLanguage availableBalance "available balance") | domainEnglishFormat.kif 9323-9323 |
| consequent |
|
|
| (=> (and (instance ?Transaction FinancialTransaction) (origin ?Transaction ?Account) (transactionAmount ?Transaction (MeasureFn ?Amount1 ?U)) (instance ?U UnitOfCurrency) (date ?Transaction ?Day)) (exists (?Amount2) (and (availableBalance ?Account ?Day (MeasureFn ?Amount2 ?U)) (greaterThanOrEqualTo ?Amount1 ?Amount2)))) |
FinancialOntology.kif 3829-3841 |
|
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