| 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 4117-4119 | |
| (domain marginBalanceAmount 1 FinancialAccount) | FinancialOntology.kif 4114-4114 | The number 1 argument of margin balance amount is an instance of financial account |
| (domain marginBalanceAmount 2 Day) | FinancialOntology.kif 4115-4115 | The number 2 argument of margin balance amount is an instance of day |
| (domain marginBalanceAmount 3 CurrencyMeasure) | FinancialOntology.kif 4116-4116 | The number 3 argument of margin balance amount is an instance of currency measure |
| (instance marginBalanceAmount TernaryPredicate) | FinancialOntology.kif 4112-4112 | margin balance amount is an instance of ternary predicate |
| (subrelation marginBalanceAmount availableBalance) | FinancialOntology.kif 4113-4113 | margin balance amount is a subrelation of available balance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage marginBalanceAmount "%1 %n 是 对于 %3 的 margin 余额") | domainEnglishFormat.kif 1615-1615 | |
| (format ChineseTraditionalLanguage marginBalanceAmount "%1 %n 是 對於 %3 的 margin 餘額") | domainEnglishFormat.kif 1614-1614 | |
| (format EnglishLanguage marginBalanceAmount "%1 is %n{isn't} margin balance amount %2 for %3") | domainEnglishFormat.kif 1613-1613 | |
| (termFormat ChineseLanguage marginBalanceAmount "余额幅度") | domainEnglishFormat.kif 36163-36163 | |
| (termFormat ChineseTraditionalLanguage marginBalanceAmount "餘額幅度") | domainEnglishFormat.kif 36162-36162 | |
| (termFormat EnglishLanguage marginBalanceAmount "margin balance amount") | domainEnglishFormat.kif 36161-36161 |
|
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