| 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 3658-3660 | |
| (domain availableBalance 1 FinancialAccount) | FinancialOntology.kif 3654-3654 | |
| (domain availableBalance 2 Day) | FinancialOntology.kif 3655-3655 | |
| (domain availableBalance 3 CurrencyMeasure) | FinancialOntology.kif 3656-3656 | |
| (instance availableBalance TernaryPredicate) | FinancialOntology.kif 3657-3657 | |
| (subrelation availableBalance currentAccountBalance) | FinancialOntology.kif 3653-3653 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage availableBalance "%1 在 %2 的 available balance 是 %3 ") | domainEnglishFormat.kif 2859-2859 | |
| (format ChineseTraditionalLanguage availableBalance "%1 在 %2 的 available balance 是 %3 ") | domainEnglishFormat.kif 2858-2858 | |
| (format EnglishLanguage availableBalance "the available balance of %1 on %2 is %3") | domainEnglishFormat.kif 2857-2857 | |
| (subrelation availableCash availableBalance) | FinancialOntology.kif 3673-3673 | |
| (subrelation buyingPowerAmount availableBalance) | FinancialOntology.kif 3933-3933 | |
| (subrelation marginBalanceAmount availableBalance) | FinancialOntology.kif 3942-3942 | |
| (subrelation marketValueAmount availableBalance) | FinancialOntology.kif 3960-3960 | |
| (subrelation shortBalanceAmount availableBalance) | FinancialOntology.kif 3951-3951 | |
| (termFormat ChineseLanguage availableBalance "可用余额") | domainEnglishFormat.kif 9335-9335 | |
| (termFormat ChineseTraditionalLanguage availableBalance "可用餘額") | domainEnglishFormat.kif 9334-9334 | |
| (termFormat EnglishLanguage availableBalance "available balance") | domainEnglishFormat.kif 9333-9333 |
| consequent |
|
|
| (=> (and (instance ?Transaction FinancialTransaction) (origin ?Transaction ?Account) (transactionAmount ?Transaction ?Amount1) (date ?Transaction ?Day)) (exists (?Amount2) (and (availableBalance ?Account ?Day ?Amount2) (greaterThanOrEqualTo ?Amount1 ?Amount2)))) |
FinancialOntology.kif 3662-3671 |
|
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