Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
simpleInterest
Sigma KEE - simpleInterest
simpleInterest
appearance as argument number 1
(
documentation
simpleInterest
EnglishLanguage
"(
simpleInterest
?Account ?Amount ?Time) means that ?Amount is the interest calculated on a principal sum, not compounded on earned interest, for the duration ?Time.")
FinancialOntology.kif 534-536
(
domain
simpleInterest
1
FinancialAccount
)
FinancialOntology.kif 531-531
域
單純的興趣
, 1 and
金融賬戶
(
domain
simpleInterest
2
Interest
)
FinancialOntology.kif 532-532
域
單純的興趣
, 2 and
利益
(
domain
simpleInterest
3
TimeInterval
)
FinancialOntology.kif 533-533
域
單純的興趣
, 3 and
TimeInterval
(
instance
simpleInterest
TernaryPredicate
)
FinancialOntology.kif 529-529
例
單純的興趣
and
TernaryPredicate
(
subrelation
simpleInterest
interestEarned
)
FinancialOntology.kif 530-530
子關係
單純的興趣
and
利息收入
appearance as argument number 2
(
format
ChineseLanguage
simpleInterest
"%1 %n 是 对于 %3 的 simple 利息 %2 ")
domainEnglishFormat.kif 2303-2303
(
format
ChineseTraditionalLanguage
simpleInterest
"%1 %n 是 對於 %3 的 simple 利息 %2 ")
domainEnglishFormat.kif 2302-2302
(
format
EnglishLanguage
simpleInterest
"%1 is %n simple interest %2 for %3")
domainEnglishFormat.kif 2301-2301
(
termFormat
ChineseLanguage
simpleInterest
"单纯的兴趣")
domainEnglishFormat.kif 53128-53128
(
termFormat
ChineseTraditionalLanguage
simpleInterest
"單純的興趣")
domainEnglishFormat.kif 53127-53127
(
termFormat
EnglishLanguage
simpleInterest
"simple interest")
domainEnglishFormat.kif 53126-53126
antecedent
(=>
(
and
(
principalAmount
?Account
(
MeasureFn
?Balance ?CUNIT))
(
fixedInterestRate
?Account ?Rate)
(
simpleInterest
?Account
(
MeasureFn
?Amount ?CUNIT) ?Period)
(
equal
?Rate-Decimal
(
DivisionFn
?Rate 100)))
(
equal
?Amount
(
MultiplicationFn
?Balance ?Rate-Decimal)))
FinancialOntology.kif 538-548
測量
RealNumber
and
UnitOfMeasure
是
金融賬戶
的
principal
總額
RealNumber
是
金融賬戶
的
fixed
固定利息
金融賬戶
是 對於
TimeInterval
的
simple
利息
測量
RealNumber
and
UnitOfMeasure
等於
RealNumber
-Decimal and
部
RealNumber
and 100
等於
RealNumber
and
乘法
RealNumber
and
RealNumber
-Decimal
(=>
(
and
(
simpleInterest
?Account
(
MeasureFn
?Interest ?CUNIT) ?Period)
(
principalAmount
?Account
(
MeasureFn
?Principal ?CUNIT))
(
equal
?Rate-Decimal
(
DivisionFn
?Interest ?Principal))
(
equal
?Rate
(
MultiplicationFn
?Rate-Decimal 100.0)))
(
interestRatePerPeriod
?Account ?Rate ?Period))
FinancialOntology.kif 587-597
金融賬戶
是 對於
TimeInterval
的
simple
利息
測量
RealNumber
and
UnitOfMeasure
測量
RealNumber
and
UnitOfMeasure
是
金融賬戶
的
principal
總額
等於
RealNumber
-Decimal and
部
RealNumber
and
RealNumber
等於
RealNumber
and
乘法
RealNumber
-Decimal and 100.0
金融賬戶
是 對於
TimeInterval
每周期
RealNumber
的
interest
速率
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