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 数量 是
金融账户
的
instance
(
domain
simpleInterest
2
Interest
)
FinancialOntology.kif 532-532
单纯的兴趣
的 2 数量 是
利益
的
instance
(
domain
simpleInterest
3
TimeInterval
)
FinancialOntology.kif 533-533
单纯的兴趣
的 3 数量 是
时距
的
instance
(
instance
simpleInterest
TernaryPredicate
)
FinancialOntology.kif 529-529
单纯的兴趣
是
三元谓语
的
instance
(
subrelation
simpleInterest
interestEarned
)
FinancialOntology.kif 530-530
单纯的兴趣
是
利息收入
的
subrelation
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 53126-53126
(
termFormat
ChineseTraditionalLanguage
simpleInterest
"單純的興趣")
domainEnglishFormat.kif 53125-53125
(
termFormat
EnglishLanguage
simpleInterest
"simple interest")
domainEnglishFormat.kif 53124-53124
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
如果
实数
测量单位
是
金融账户
的
principal
总额 和
另一个 实数
是
那个 金融账户
的
fixed
固定利息 和
那个 金融账户
是 对于
时距
的
simple
利息
第三 实数
那个 测量单位
和
那个 另外 实数
-Decimal
equal
那个 另外 实数
和 100,
然后
那个 第三 实数
equal
那个 实数
和
那个 另外 实数
-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
如果
金融账户
是 对于
时距
的
simple
利息
实数
测量单位
和
另一个 实数
那个 测量单位
是
那个 金融账户
的
principal
总额 和
第三 实数
-Decimal
equal
那个 实数
和
那个 另外 实数
和
那个 第三 实数
equal
那个 第三 实数
-Decimal 和 100.0,
然后
那个 金融账户
是 对于
那个 时距
每周期
那个 第三 实数
的
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