| 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 4094-4096 | |
| (domain buyingPowerAmount 1 FinancialAccount) | FinancialOntology.kif 4091-4091 | The number 1 argument of buying power amount is an instance of financial account |
| (domain buyingPowerAmount 2 Day) | FinancialOntology.kif 4092-4092 | The number 2 argument of buying power amount is an instance of day |
| (domain buyingPowerAmount 3 CurrencyMeasure) | FinancialOntology.kif 4093-4093 | The number 3 argument of buying power amount is an instance of currency measure |
| (instance buyingPowerAmount TernaryPredicate) | FinancialOntology.kif 4089-4089 | buying power amount is an instance of ternary predicate |
| (subrelation buyingPowerAmount availableBalance) | FinancialOntology.kif 4090-4090 | buying power amount is a subrelation of available balance |
| 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 12545-12545 | |
| (termFormat ChineseTraditionalLanguage buyingPowerAmount "購買電量") | domainEnglishFormat.kif 12544-12544 | |
| (termFormat EnglishLanguage buyingPowerAmount "buying power amount") | domainEnglishFormat.kif 12543-12543 |
|
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