| 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 3829-3831 | |
| (domain availableBalance 1 FinancialAccount) | FinancialOntology.kif 3825-3825 | |
| (domain availableBalance 2 Day) | FinancialOntology.kif 3826-3826 | |
| (domain availableBalance 3 CurrencyMeasure) | FinancialOntology.kif 3827-3827 | |
| (instance availableBalance TernaryPredicate) | FinancialOntology.kif 3828-3828 | |
| (subrelation availableBalance currentAccountBalance) | FinancialOntology.kif 3824-3824 |
| 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 3847-3847 | |
| (subrelation buyingPowerAmount availableBalance) | FinancialOntology.kif 4108-4108 | |
| (subrelation marginBalanceAmount availableBalance) | FinancialOntology.kif 4117-4117 | |
| (subrelation marketValueAmount availableBalance) | FinancialOntology.kif 4135-4135 | |
| (subrelation shortBalanceAmount availableBalance) | FinancialOntology.kif 4126-4126 | |
| (termFormat ChineseLanguage availableBalance "可用余额") | domainEnglishFormat.kif 9319-9319 | |
| (termFormat ChineseTraditionalLanguage availableBalance "可用餘額") | domainEnglishFormat.kif 9318-9318 | |
| (termFormat EnglishLanguage availableBalance "available balance") | domainEnglishFormat.kif 9317-9317 |
| 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 3833-3845 |
|
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