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
Il numero 1 argomenti di
simpleInterest
è un
istanza
di
FinancialAccount
(
domain
simpleInterest
2
Interest
)
FinancialOntology.kif 532-532
Il numero 2 argomenti di
simpleInterest
è un
istanza
di
Interest
(
domain
simpleInterest
3
TimeInterval
)
FinancialOntology.kif 533-533
Il numero 3 argomenti di
simpleInterest
è un
istanza
di
IntervalloTemporale
(
instance
simpleInterest
TernaryPredicate
)
FinancialOntology.kif 529-529
simpleInterest
è un'
istanza
di
PredicatoTernario
(
subrelation
simpleInterest
interestEarned
)
FinancialOntology.kif 530-530
simpleInterest
è una
sottorelazione
di
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 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
principalAmount
FinancialAccount
and
NumeroReale
Unit�DiMisura
(s
fixedInterestRate
FinancialAccount
and
NumeroReale
simpleInterest
FinancialAccount
,
NumeroReale
Unit�DiMisura
(s and
IntervalloTemporale
NumeroReale
-Decimal is
uguale
a
NumeroReale
+ 100
NumeroReale
is
uguale
a
NumeroReale
+
NumeroReale
-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
,
NumeroReale
Unit�DiMisura
(s and
IntervalloTemporale
principalAmount
FinancialAccount
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
-Decimal is
uguale
a
NumeroReale
+
NumeroReale
NumeroReale
is
uguale
a
NumeroReale
-Decimal + 100.0
interestRatePerPeriod
FinancialAccount
,
NumeroReale
and
IntervalloTemporale
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