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
O argumento numero 1 de
simpleInterest
e' uma
instancia
de
FinancialAccount
(
domain
simpleInterest
2
Interest
)
FinancialOntology.kif 532-532
O argumento numero 2 de
simpleInterest
e' uma
instancia
de
Interest
(
domain
simpleInterest
3
TimeInterval
)
FinancialOntology.kif 533-533
O argumento numero 3 de
simpleInterest
e' uma
instancia
de
Intervalo Temporal
(
instance
simpleInterest
TernaryPredicate
)
FinancialOntology.kif 529-529
simpleInterest
e' uma
instancia
de
Predicado Ternario
(
subrelation
simpleInterest
interestEarned
)
FinancialOntology.kif 530-530
simpleInterest
e' uma
sub
-relacao de
interestEarned
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
principalAmount
FinancialAccount
and
Numero Real
Unidade de Medida
(s)
fixedInterestRate
FinancialAccount
and
Numero Real
simpleInterest
FinancialAccount
,
Numero Real
Unidade de Medida
(s) and
Intervalo Temporal
Numero Real
-Decimal e'
igual
a
Numero Real
+ 100
Numero Real
e'
igual
a
Numero Real
+
Numero Real
-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
simpleInterest
FinancialAccount
,
Numero Real
Unidade de Medida
(s) and
Intervalo Temporal
principalAmount
FinancialAccount
and
Numero Real
Unidade de Medida
(s)
Numero Real
-Decimal e'
igual
a
Numero Real
+
Numero Real
Numero Real
e'
igual
a
Numero Real
-Decimal + 100.0
interestRatePerPeriod
FinancialAccount
,
Numero Real
and
Intervalo Temporal
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