marginBalanceAmount |
appearance as argument number 1 |
(documentation marginBalanceAmount EnglishLanguage "(marginBalanceAmount ?Account ?Day ?Amount) holds if ?Amount is the margin balance amount of the FinancialAccount ?Account on the Day ?Day.") | FinancialOntology.kif 4103-4105 | |
(domain marginBalanceAmount 1 FinancialAccount) | FinancialOntology.kif 4100-4100 | The number 1 argument of margin balance amount is an instance of financial account |
(domain marginBalanceAmount 2 Day) | FinancialOntology.kif 4101-4101 | The number 2 argument of margin balance amount is an instance of day |
(domain marginBalanceAmount 3 CurrencyMeasure) | FinancialOntology.kif 4102-4102 | The number 3 argument of margin balance amount is an instance of currency measure |
(instance marginBalanceAmount TernaryPredicate) | FinancialOntology.kif 4098-4098 | margin balance amount is an instance of ternary predicate |
(subrelation marginBalanceAmount availableBalance) | FinancialOntology.kif 4099-4099 | margin balance amount is a subrelation of available balance |
appearance as argument number 2 |
(format ChineseLanguage marginBalanceAmount "%1 %n 是 对于 %3 的 margin 余额") | domainEnglishFormat.kif 1611-1611 | |
(format ChineseTraditionalLanguage marginBalanceAmount "%1 %n 是 對於 %3 的 margin 餘額") | domainEnglishFormat.kif 1610-1610 | |
(format EnglishLanguage marginBalanceAmount "%1 is %n{isn't} margin balance amount %2 for %3") | domainEnglishFormat.kif 1609-1609 | |
(termFormat ChineseLanguage marginBalanceAmount "余额幅度") | domainEnglishFormat.kif 36137-36137 | |
(termFormat ChineseTraditionalLanguage marginBalanceAmount "餘額幅度") | domainEnglishFormat.kif 36136-36136 | |
(termFormat EnglishLanguage marginBalanceAmount "margin balance amount") | domainEnglishFormat.kif 36135-36135 |