| 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 36171-36171 | |
| (termFormat ChineseTraditionalLanguage marginBalanceAmount "餘額幅度") | domainEnglishFormat.kif 36170-36170 | |
| (termFormat EnglishLanguage marginBalanceAmount "margin balance amount") | domainEnglishFormat.kif 36169-36169 |
|
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