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



KB Term:  Term intersection
English Word: 

  WearingFrictionSurface

Sigma KEE - buyingPowerAmount
buyingPowerAmount

appearance as argument number 1
-------------------------


(instance buyingPowerAmount TernaryPredicate) FinancialOntology.kif 4147-4147 buying power amount is an instance of ternary predicate
(subrelation buyingPowerAmount availableBalance) FinancialOntology.kif 4148-4148 buying power amount is a subrelation of available balance
(domain buyingPowerAmount 1 FinancialAccount) FinancialOntology.kif 4149-4149 The number 1 argument of buying power amount is an instance of financial account
(domain buyingPowerAmount 2 Day) FinancialOntology.kif 4150-4150 The number 2 argument of buying power amount is an instance of day
(domain buyingPowerAmount 3 CurrencyMeasure) FinancialOntology.kif 4151-4151 The number 3 argument of buying power amount is an instance of currency measure
(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 4152-4154 The number 3 argument of buying power amount is an instance of currency measure

appearance as argument number 2
-------------------------


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


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners