Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 4055-4057
(domain marginBalanceAmount 1 FinancialAccount) FinancialOntology.kif 4052-4052 余额幅度 的 1 数量 是 金融账户instance
(domain marginBalanceAmount 2 Day) FinancialOntology.kif 4053-4053 余额幅度 的 2 数量 是 instance
(domain marginBalanceAmount 3 CurrencyMeasure) FinancialOntology.kif 4054-4054 余额幅度 的 3 数量 是 货币测量instance
(instance marginBalanceAmount TernaryPredicate) FinancialOntology.kif 4050-4050 余额幅度三元谓语instance
(subrelation marginBalanceAmount availableBalance) FinancialOntology.kif 4051-4051 余额幅度可用余额subrelation

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

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