Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
|
Editor
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
measuringListInterval
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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