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
Il numero 1 argomenti di
interestEarned
è un
istanza
di
FinancialAccount
(
domain
interestEarned
2
Interest
)
FinancialOntology.kif 523-523
Il numero 2 argomenti di
interestEarned
è un
istanza
di
Interest
(
domain
interestEarned
3
TimeInterval
)
FinancialOntology.kif 524-524
Il numero 3 argomenti di
interestEarned
è un
istanza
di
IntervalloTemporale
(
instance
interestEarned
TernaryPredicate
)
FinancialOntology.kif 521-521
interestEarned
è un'
istanza
di
PredicatoTernario
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
è una
sottorelazione
di
interestEarned
(
subrelation
simpleInterest
interestEarned
)
FinancialOntology.kif 530-530
simpleInterest
è una
sottorelazione
di
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
IntervalloTemporale
Loan
è un'
istanza
di
Loan
agreementPeriod
Loan
and
IntervalloTemporale
interestEarned
Loan
,
Interest
and
IntervalloTemporale
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
AgenteCognitivo
lender
Loan
and
AgenteCognitivo
agreementPeriod
Loan
and
IntervalloTemporale
interestEarned
Loan
,
Interest
and
IntervalloTemporale
ScambioFinanziario
ScambioFinanziario
si
originas in
AgenteCognitivo
transactionAmount
ScambioFinanziario
and
Interest
ScambioFinanziario
fine
s in
AgenteCognitivo
(=>
(
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
è un'
istanza
di
CreditAccount
accountAt
FinancialAccount
and
FinancialOrganization
accountHolder
FinancialAccount
and
AgenteCognitivo
interestEarned
FinancialAccount
,
Interest
and
IntervalloTemporale
ScambioFinanziario
ScambioFinanziario
si
originas in
AgenteCognitivo
transactionAmount
ScambioFinanziario
and
Interest
ScambioFinanziario
fine
s in
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
è un'
istanza
di
CreditAccount
accountHolder
FinancialAccount
and
AgenteCognitivo
principalAmount
FinancialAccount
and
NumeroReale
agreementPeriod
FinancialAccount
and
IntervalloTemporale
interestEarned
FinancialAccount
,
Interest
and
IntervalloTemporale
NumeroReale
is
uguale
a (
NumeroReale
+
Interest
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
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
è un'
istanza
di
Loan
borrower
Loan
and
AgenteCognitivo
principalAmount
Loan
and
NumeroReale
agreementPeriod
Loan
and
IntervalloTemporale
interestEarned
Loan
,
Interest
and
IntervalloTemporale
NumeroReale
is
uguale
a (
NumeroReale
+
Interest
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
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
è un'
istanza
di
SavingsAccount
accountHolder
FinancialAccount
and
AgenteCognitivo
interestEarned
FinancialAccount
,
Interest
and
IntervalloTemporale
ScambioFinanziario
ScambioFinanziario
fine
s in
CurrencyFn
FinancialAccount
transactionAmount
ScambioFinanziario
and
Interest
ScambioFinanziario
fine
s in
AgenteCognitivo
(=>
(
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
è un'
istanza
di
ZeroCouponBond
maturityDate
AccountFn
FinancialAsset
and
Giorno
FinancialAsset
Holder
possiede
es
FinancialAsset
principalAmount
AccountFn
FinancialAsset
and
NumeroReale
Unit�DiMisura
(s
agreementPeriod
AccountFn
FinancialAsset
and
IntervalloTemporale
interestEarned
AccountFn
FinancialAsset
,
NumeroReale
Unit�DiMisura
(s and
IntervalloTemporale
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Payment
ScambioFinanziario
fine
s in
FinancialAsset
Holder
ScambioFinanziario
si
originas in
AccountFn
FinancialAsset
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(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
è un'
istanza
di
InterestOnlyLoan
agreementPeriod
FinancialAccount
and
IntervalloTemporale
principalAmount
FinancialAccount
and
MisuraMonetaria
interestEarned
FinancialAccount
,
Interest
and
IntervalloTemporale
amountDue
FinancialAccount
,
MisuraMonetaria
and la
fine
di
IntervalloTemporale
amountDue
FinancialAccount
,
Interest
and
IntervalloTemporale
la
fine
di
IntervalloTemporale
succede%{s}
prima
di la
fine
di
IntervalloTemporale
consequent
(=>
(
and
(
loanFeeAmount
?Loan ?Amount)
(
agreementPeriod
?Loan ?Period))
(
interestEarned
?Loan ?Amount ?Period))
FinancialOntology.kif 4162-4166
loanFeeAmount
Loan
and
Interest
agreementPeriod
Loan
and
IntervalloTemporale
interestEarned
Loan
,
Interest
and
IntervalloTemporale
(=>
(
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
IntervalloTemporale
statementAccount
BankStatement
and
FinancialAccount
interestEarned
FinancialAccount
,
Interest
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