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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - shortBalanceAmount
shortBalanceAmount

appearance as argument number 1
-------------------------


(documentation shortBalanceAmount EnglishLanguage "(shortBalanceAmount ?Account ?Day ?Amount) holds if ?Amount is the short balance amount of the FinancialAccount ?Account on the Day ?Day.") FinancialOntology.kif 4112-4114
(domain shortBalanceAmount 1 FinancialAccount) FinancialOntology.kif 4109-4109
(domain shortBalanceAmount 2 Day) FinancialOntology.kif 4110-4110
(domain shortBalanceAmount 3 CurrencyMeasure) FinancialOntology.kif 4111-4111
(instance shortBalanceAmount TernaryPredicate) FinancialOntology.kif 4107-4107
(subrelation shortBalanceAmount availableBalance) FinancialOntology.kif 4108-4108

appearance as argument number 2
-------------------------


(format ChineseLanguage shortBalanceAmount "%1 %n 是 对于 %3 的 short 总余额") domainEnglishFormat.kif 2283-2283
(format ChineseTraditionalLanguage shortBalanceAmount "%1 %n 是 對於 %3 的 short 總餘額") domainEnglishFormat.kif 2282-2282
(format EnglishLanguage shortBalanceAmount "%1 is %n short balance amount %2 for %3") domainEnglishFormat.kif 2281-2281
(termFormat ChineseLanguage shortBalanceAmount "短期金额") domainEnglishFormat.kif 52805-52805
(termFormat ChineseTraditionalLanguage shortBalanceAmount "短期金額") domainEnglishFormat.kif 52804-52804
(termFormat EnglishLanguage shortBalanceAmount "short balance amount") domainEnglishFormat.kif 52803-52803


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