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 4015-4017
(domain marginBalanceAmount 1 FinancialAccount) FinancialOntology.kif 4012-4012
(domain marginBalanceAmount 2 Day) FinancialOntology.kif 4013-4013
(domain marginBalanceAmount 3 CurrencyMeasure) FinancialOntology.kif 4014-4014
(instance marginBalanceAmount TernaryPredicate) FinancialOntology.kif 4010-4010
(subrelation marginBalanceAmount availableBalance) FinancialOntology.kif 4011-4011

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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