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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - buyingPowerAmount

appearance as argument number 1

(documentation buyingPowerAmount EnglishLanguage "(buyingPowerAmount ?Account ?Day ?Amount) holds if ?Amount is the buying power amount of the FinancialAccount ?Account on the Day ?Day.") FinancialOntology.kif 4046-4048
(domain buyingPowerAmount 1 FinancialAccount) FinancialOntology.kif 4043-4043 购买电量 的 1 数量 是 金融账户instance
(domain buyingPowerAmount 2 Day) FinancialOntology.kif 4044-4044 购买电量 的 2 数量 是 instance
(domain buyingPowerAmount 3 CurrencyMeasure) FinancialOntology.kif 4045-4045 购买电量 的 3 数量 是 货币测量instance
(instance buyingPowerAmount TernaryPredicate) FinancialOntology.kif 4041-4041 购买电量三元谓语instance
(subrelation buyingPowerAmount availableBalance) FinancialOntology.kif 4042-4042 购买电量可用余额subrelation

appearance as argument number 2

(format ChineseLanguage buyingPowerAmount "%1 %n{不是} 对于 %3 的 buying 能原量 %2 ") domainEnglishFormat.kif 328-328
(format ChineseTraditionalLanguage buyingPowerAmount "%1 %n{不是} 對於 %3 的 buying 能原量 %2 ") domainEnglishFormat.kif 327-327
(format EnglishLanguage buyingPowerAmount "%1 %n{doesn't} buying power amount %2 for %3") domainEnglishFormat.kif 326-326
(termFormat ChineseLanguage buyingPowerAmount "购买电量") domainEnglishFormat.kif 12532-12532
(termFormat ChineseTraditionalLanguage buyingPowerAmount "購買電量") domainEnglishFormat.kif 12531-12531
(termFormat EnglishLanguage buyingPowerAmount "buying power amount") domainEnglishFormat.kif 12530-12530

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