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
O argumento numero 1 de
interestEarned
e' uma
instancia
de
FinancialAccount
(
domain
interestEarned
2
Interest
)
FinancialOntology.kif 523-523
O argumento numero 2 de
interestEarned
e' uma
instancia
de
Interest
(
domain
interestEarned
3
TimeInterval
)
FinancialOntology.kif 524-524
O argumento numero 3 de
interestEarned
e' uma
instancia
de
Intervalo Temporal
(
instance
interestEarned
TernaryPredicate
)
FinancialOntology.kif 521-521
interestEarned
e' uma
instancia
de
Predicado Ternario
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
e' uma
sub
-relacao de
interestEarned
(
subrelation
simpleInterest
interestEarned
)
FinancialOntology.kif 530-530
simpleInterest
e' uma
sub
-relacao 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
Intervalo Temporal
Loan
e' uma
instancia
de
Loan
agreementPeriod
Loan
and
Intervalo Temporal
interestEarned
Loan
,
Interest
and
Intervalo Temporal
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
Agente Cognitivo
lender
Loan
and
Agente Cognitivo
agreementPeriod
Loan
and
Intervalo Temporal
interestEarned
Loan
,
Interest
and
Intervalo Temporal
Transacao Financeira
Transacao Financeira
tem como
origem
Agente Cognitivo
transactionAmount
Transacao Financeira
and
Interest
Transacao Financeira
termina
em
Agente Cognitivo
(=>
(
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
e' uma
instancia
de
CreditAccount
accountAt
FinancialAccount
and
FinancialOrganization
accountHolder
FinancialAccount
and
Agente Cognitivo
interestEarned
FinancialAccount
,
Interest
and
Intervalo Temporal
Transacao Financeira
Transacao Financeira
tem como
origem
Agente Cognitivo
transactionAmount
Transacao Financeira
and
Interest
Transacao Financeira
termina
em
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
e' uma
instancia
de
CreditAccount
accountHolder
FinancialAccount
and
Agente Cognitivo
principalAmount
FinancialAccount
and
Numero Real
agreementPeriod
FinancialAccount
and
Intervalo Temporal
interestEarned
FinancialAccount
,
Interest
and
Intervalo Temporal
Numero Real
e'
igual
a (
Numero Real
+
Interest
)
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
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
e' uma
instancia
de
Loan
borrower
Loan
and
Agente Cognitivo
principalAmount
Loan
and
Numero Real
agreementPeriod
Loan
and
Intervalo Temporal
interestEarned
Loan
,
Interest
and
Intervalo Temporal
Numero Real
e'
igual
a (
Numero Real
+
Interest
)
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
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
e' uma
instancia
de
SavingsAccount
accountHolder
FinancialAccount
and
Agente Cognitivo
interestEarned
FinancialAccount
,
Interest
and
Intervalo Temporal
Transacao Financeira
Transacao Financeira
termina
em
CurrencyFn
FinancialAccount
transactionAmount
Transacao Financeira
and
Interest
Transacao Financeira
termina
em
Agente Cognitivo
(=>
(
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
e' uma
instancia
de
ZeroCouponBond
maturityDate
AccountFn
FinancialAsset
and
Dia
FinancialAsset
Holder
possui
FinancialAsset
principalAmount
AccountFn
FinancialAsset
and
Numero Real
Unidade de Medida
(s)
agreementPeriod
AccountFn
FinancialAsset
and
Intervalo Temporal
interestEarned
AccountFn
FinancialAsset
,
Numero Real
Unidade de Medida
(s) and
Intervalo Temporal
Numero Real
e'
igual
a (
Numero Real
+
Numero Real
)
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Payment
Transacao Financeira
termina
em
FinancialAsset
Holder
Transacao Financeira
tem como
origem
AccountFn
FinancialAsset
transactionAmount
Transacao Financeira
and
Numero Real
Unidade de Medida
(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
e' uma
instancia
de
InterestOnlyLoan
agreementPeriod
FinancialAccount
and
Intervalo Temporal
principalAmount
FinancialAccount
and
Medida de Divisa
interestEarned
FinancialAccount
,
Interest
and
Intervalo Temporal
amountDue
FinancialAccount
,
Medida de Divisa
and o
fim
de
Intervalo Temporal
amountDue
FinancialAccount
,
Interest
and
Intervalo Temporal
o
fim
de
Intervalo Temporal
comeca
antes
de o
fim
de
Intervalo Temporal
consequent
(=>
(
and
(
loanFeeAmount
?Loan ?Amount)
(
agreementPeriod
?Loan ?Period))
(
interestEarned
?Loan ?Amount ?Period))
FinancialOntology.kif 4162-4166
loanFeeAmount
Loan
and
Interest
agreementPeriod
Loan
and
Intervalo Temporal
interestEarned
Loan
,
Interest
and
Intervalo Temporal
(=>
(
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
Intervalo Temporal
statementAccount
BankStatement
and
FinancialAccount
interestEarned
FinancialAccount
,
Interest
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