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 短期金额 的 1 数量 是 金融账户instance
(domain shortBalanceAmount 2 Day) FinancialOntology.kif 4110-4110 短期金额 的 2 数量 是 instance
(domain shortBalanceAmount 3 CurrencyMeasure) FinancialOntology.kif 4111-4111 短期金额 的 3 数量 是 货币测量instance
(instance shortBalanceAmount TernaryPredicate) FinancialOntology.kif 4107-4107 短期金额三元谓语instance
(subrelation shortBalanceAmount availableBalance) FinancialOntology.kif 4108-4108 短期金额可用余额subrelation

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 52803-52803
(termFormat ChineseTraditionalLanguage shortBalanceAmount "短期金額") domainEnglishFormat.kif 52802-52802
(termFormat EnglishLanguage shortBalanceAmount "short balance amount") domainEnglishFormat.kif 52801-52801


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