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 4064-4066
(domain shortBalanceAmount 1 FinancialAccount) FinancialOntology.kif 4061-4061 短期金额 的 1 数量 是 金融账户instance
(domain shortBalanceAmount 2 Day) FinancialOntology.kif 4062-4062 短期金额 的 2 数量 是 instance
(domain shortBalanceAmount 3 CurrencyMeasure) FinancialOntology.kif 4063-4063 短期金额 的 3 数量 是 货币测量instance
(instance shortBalanceAmount TernaryPredicate) FinancialOntology.kif 4059-4059 短期金额三元谓语instance
(subrelation shortBalanceAmount availableBalance) FinancialOntology.kif 4060-4060 短期金额可用余额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 52786-52786
(termFormat ChineseTraditionalLanguage shortBalanceAmount "短期金額") domainEnglishFormat.kif 52785-52785
(termFormat EnglishLanguage shortBalanceAmount "short balance amount") domainEnglishFormat.kif 52784-52784


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