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

Formal Language: 



KB Term:  Term intersection
English Word: 

  shortBalanceAmount

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 O argumento numero 1 de shortBalanceAmount e' uma instancia de FinancialAccount
(domain shortBalanceAmount 2 Day) FinancialOntology.kif 4110-4110 O argumento numero 2 de shortBalanceAmount e' uma instancia de Dia
(domain shortBalanceAmount 3 CurrencyMeasure) FinancialOntology.kif 4111-4111 O argumento numero 3 de shortBalanceAmount e' uma instancia de Medida de Divisa
(instance shortBalanceAmount TernaryPredicate) FinancialOntology.kif 4107-4107 shortBalanceAmount e' uma instancia de Predicado Ternario
(subrelation shortBalanceAmount availableBalance) FinancialOntology.kif 4108-4108 shortBalanceAmount e' uma sub-relacao de availableBalance

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 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