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
interestEarned
Sigma KEE - interestEarned
interestEarned
appearance as argument number 1
(
documentation
interestEarned
EnglishLanguage
"(
interestEarned
?Account ?Interest ?Period) means that ?Interest is the amount earned on the
FinancialAccount
?Account, for the duration ?Period.")
FinancialOntology.kif 525-527
(
domain
interestEarned
1
FinancialAccount
)
FinancialOntology.kif 522-522
Le nombre 1 argument de
interestEarned
est une
instance
de
FinancialAccount
(
domain
interestEarned
2
Interest
)
FinancialOntology.kif 523-523
Le nombre 2 argument de
interestEarned
est une
instance
de
Interest
(
domain
interestEarned
3
TimeInterval
)
FinancialOntology.kif 524-524
Le nombre 3 argument de
interestEarned
est une
instance
de
interval temporel
(
instance
interestEarned
TernaryPredicate
)
FinancialOntology.kif 521-521
interestEarned
est une
instance
de
pr�dicat ternaire
appearance as argument number 2
(
format
ChineseLanguage
interestEarned
"%1 %n 是 对于 %3 的赚取 interest ")
domainEnglishFormat.kif 1361-1361
(
format
ChineseTraditionalLanguage
interestEarned
"%1 %n 是 對於 %3 的賺取 interest ")
domainEnglishFormat.kif 1360-1360
(
format
EnglishLanguage
interestEarned
"%1 is %n interest earned %2 for %3")
domainEnglishFormat.kif 1359-1359
(
subrelation
compoundInterest
interestEarned
)
FinancialOntology.kif 551-551
compoundInterest
est une
sous
-relation de
interestEarned
(
subrelation
simpleInterest
interestEarned
)
FinancialOntology.kif 530-530
simpleInterest
est une
sous
-relation de
interestEarned
(
termFormat
ChineseLanguage
interestEarned
"利息收入")
domainEnglishFormat.kif 30409-30409
(
termFormat
ChineseTraditionalLanguage
interestEarned
"利息收入")
domainEnglishFormat.kif 30408-30408
(
termFormat
EnglishLanguage
interestEarned
"interest earned")
domainEnglishFormat.kif 30407-30407
antecedent
(<=>
(
exists
(?Period)
(
and
(
instance
?Loan
Loan
)
(
agreementPeriod
?Loan ?Period)
(
interestEarned
?Loan ?Amount ?Period)))
(
loanInterest
?Loan ?Amount))
FinancialOntology.kif 3920-3926
Interval temporel
Loan
est une
instance
de
Loan
agreementPeriod
Loan
and
interval temporel
interestEarned
Loan
,
Interest
and
interval temporel
loanInterest
Loan
and
Interest
(=>
(
and
(
borrower
?Loan ?Borrower)
(
lender
?Loan ?Lender)
(
agreementPeriod
?Loan ?Period)
(
interestEarned
?Loan ?Interest ?Period))
(
exists
(?Payment)
(
and
(
origin
?Payment ?Borrower)
(
transactionAmount
?Payment ?Interest)
(
destination
?Payment ?Lender))))
FinancialOntology.kif 1261-1271
borrower
Loan
and
agent cognitif
lender
Loan
and
agent cognitif
agreementPeriod
Loan
and
interval temporel
interestEarned
Loan
,
Interest
and
interval temporel
financial transaction
financial transaction
a pour
origine
agent cognitif
transactionAmount
financial transaction
and
Interest
financial transaction
aboutit
�
agent cognitif
(=>
(
and
(
instance
?Account
CreditAccount
)
(
accountAt
?Account ?Organization)
(
accountHolder
?Account ?Agent)
(
interestEarned
?Account ?Interest ?Period))
(
exists
(?Payment)
(
and
(
origin
?Payment ?Agent)
(
transactionAmount
?Payment ?Interest)
(
destination
?Payment ?Organization))))
FinancialOntology.kif 1212-1222
FinancialAccount
est une
instance
de
CreditAccount
accountAt
FinancialAccount
and
FinancialOrganization
accountHolder
FinancialAccount
and
agent cognitif
interestEarned
FinancialAccount
,
Interest
and
interval temporel
financial transaction
financial transaction
a pour
origine
agent cognitif
transactionAmount
financial transaction
and
Interest
financial transaction
aboutit
�
FinancialOrganization
(=>
(
and
(
instance
?Account
CreditAccount
)
(
accountHolder
?Account ?Agent)
(
principalAmount
?Account ?Principal)
(
agreementPeriod
?Account ?Period)
(
interestEarned
?Account ?Interest ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
holdsObligation
(
KappaFn
?Payment
(
transactionAmount
?Payment ?Total)) ?Agent))
FinancialOntology.kif 1224-1233
FinancialAccount
est une
instance
de
CreditAccount
accountHolder
FinancialAccount
and
agent cognitif
principalAmount
FinancialAccount
and
nombre r�el
agreementPeriod
FinancialAccount
and
interval temporel
interestEarned
FinancialAccount
,
Interest
and
interval temporel
nombre r�el
est
nombre r�el
+
Interest
)
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
and
(
instance
?Account
Loan
)
(
borrower
?Account ?Agent)
(
principalAmount
?Account ?Principal)
(
agreementPeriod
?Account ?Period)
(
interestEarned
?Account ?Interest ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
holdsObligation
(
KappaFn
?Payment
(
transactionAmount
?Payment ?Total)) ?Agent))
FinancialOntology.kif 1273-1282
Loan
est une
instance
de
Loan
borrower
Loan
and
agent cognitif
principalAmount
Loan
and
nombre r�el
agreementPeriod
Loan
and
interval temporel
interestEarned
Loan
,
Interest
and
interval temporel
nombre r�el
est
nombre r�el
+
Interest
)
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
and
(
instance
?Account
SavingsAccount
)
(
accountHolder
?Account ?Agent)
(
interestEarned
?Account ?Interest ?Period))
(
exists
(?Payment)
(
and
(
destination
?Payment
(
CurrencyFn
?Account))
(
transactionAmount
?Payment ?Interest)
(
destination
?Payment ?Agent))))
FinancialOntology.kif 1043-1052
FinancialAccount
est une
instance
de
SavingsAccount
accountHolder
FinancialAccount
and
agent cognitif
interestEarned
FinancialAccount
,
Interest
and
interval temporel
financial transaction
financial transaction
aboutit
�
CurrencyFn
FinancialAccount
transactionAmount
financial transaction
and
Interest
financial transaction
aboutit
�
agent cognitif
(=>
(
and
(
instance
?Bond
ZeroCouponBond
)
(
maturityDate
(
AccountFn
?Bond) ?Date)
(
possesses
?BondHolder ?Bond)
(
principalAmount
(
AccountFn
?Bond)
(
MeasureFn
?Principal ?CUNIT))
(
agreementPeriod
(
AccountFn
?Bond) ?Period)
(
interestEarned
(
AccountFn
?Bond)
(
MeasureFn
?Interest ?CUNIT) ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
exists
(?Payment)
(
and
(
instance
?Payment
Payment
)
(
destination
?Payment ?BondHolder)
(
origin
?Payment
(
AccountFn
?Bond))
(
transactionAmount
?Payment
(
MeasureFn
?Total ?CUNIT)))))
FinancialOntology.kif 2333-2355
FinancialAsset
est une
instance
de
ZeroCouponBond
maturityDate
AccountFn
FinancialAsset
and
jour
FinancialAsset
Holder
poss
�de
FinancialAsset
principalAmount
AccountFn
FinancialAsset
and
nombre r�el
unit� de mesure
(s)
agreementPeriod
AccountFn
FinancialAsset
and
interval temporel
interestEarned
AccountFn
FinancialAsset
,
nombre r�el
unit� de mesure
(s) and
interval temporel
nombre r�el
est
nombre r�el
+
nombre r�el
)
financial transaction
financial transaction
est une
instance
de
Payment
financial transaction
aboutit
�
FinancialAsset
Holder
financial transaction
a pour
origine
AccountFn
FinancialAsset
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(s)
(=>
(
and
(
instance
?Loan
InterestOnlyLoan
)
(
agreementPeriod
?Loan ?Period)
(
principalAmount
?Loan ?Principal)
(
interestEarned
?Loan ?Interest ?Period))
(
and
(
amountDue
?Loan ?Principal
(
EndFn
?Period))
(
amountDue
?Loan ?Interest ?Date)
(
before
(
EndFn
?Date)
(
EndFn
?Period))))
FinancialOntology.kif 1615-1624
FinancialAccount
est une
instance
de
InterestOnlyLoan
agreementPeriod
FinancialAccount
and
interval temporel
principalAmount
FinancialAccount
and
mesure de devise
interestEarned
FinancialAccount
,
Interest
and
interval temporel
amountDue
FinancialAccount
,
mesure de devise
and la
fin
de
interval temporel
amountDue
FinancialAccount
,
Interest
and
interval temporel
la
fin
de
interval temporel
se produit
avant
la
fin
de
interval temporel
consequent
(=>
(
and
(
loanFeeAmount
?Loan ?Amount)
(
agreementPeriod
?Loan ?Period))
(
interestEarned
?Loan ?Amount ?Period))
FinancialOntology.kif 4162-4166
loanFeeAmount
Loan
and
Interest
agreementPeriod
Loan
and
interval temporel
interestEarned
Loan
,
Interest
and
interval temporel
(=>
(
and
(
statementInterest
?Statement ?Interest)
(
statementPeriod
?Statement ?Period)
(
statementAccount
?Statement ?Account))
(
interestEarned
?Account ?Interest ?Period))
FinancialOntology.kif 4082-4087
statementInterest
BankStatement
and
Interest
statementPeriod
BankStatement
and
interval temporel
statementAccount
BankStatement
and
FinancialAccount
interestEarned
FinancialAccount
,
Interest
and
interval temporel
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