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
Shortening
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
Die Zahl 1 Argument von
interestEarned
ist ein
fall
von
FinancialAccount
%n{nicht}
(
domain
interestEarned
2
Interest
)
FinancialOntology.kif 523-523
Die Zahl 2 Argument von
interestEarned
ist ein
fall
von
Interest
%n{nicht}
(
domain
interestEarned
3
TimeInterval
)
FinancialOntology.kif 524-524
Die Zahl 3 Argument von
interestEarned
ist ein
fall
von
TimeInterval
%n{nicht}
(
instance
interestEarned
TernaryPredicate
)
FinancialOntology.kif 521-521
interestEarned
ist ein
fall
von
TernaryPredicate
%n{nicht}
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
ist eine
teilrelation
von
interestEarned
(
subrelation
simpleInterest
interestEarned
)
FinancialOntology.kif 530-530
simpleInterest
ist eine
teilrelation
von
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
Es gibt
TimeInterval
um
Loan
ist ein
fall
von
Loan
%n{nicht} und
agreementPeriod
** Loan
and
** TimeInterval
und
interestEarned
** Loan
,
Interest
and
** TimeInterval
genau dann wenn
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
Wenn
borrower
Loan
and
CognitiveAgent
und
lender
** Loan
and
** CognitiveAgent
und
agreementPeriod
** Loan
and
TimeInterval
und
interestEarned
** Loan
,
Interest
and
** TimeInterval
,
dann es gibt
FinancialTransaction
um
** FinancialTransaction
beginnet an
** CognitiveAgent
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** Interest
und
** FinancialTransaction
endet an
** ** CognitiveAgent
%n{nicht}
(=>
(
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
Wenn
FinancialAccount
ist ein
fall
von
CreditAccount
%n{nicht} und
accountAt
** FinancialAccount
and
FinancialOrganization
und
accountHolder
** FinancialAccount
and
CognitiveAgent
und
interestEarned
** FinancialAccount
,
Interest
and
TimeInterval
,
dann es gibt
FinancialTransaction
um
** FinancialTransaction
beginnet an
** CognitiveAgent
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** Interest
und
** FinancialTransaction
endet an
** FinancialOrganization
%n{nicht}
(=>
(
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
Wenn
FinancialAccount
ist ein
fall
von
CreditAccount
%n{nicht} und
accountHolder
** FinancialAccount
and
CognitiveAgent
und
principalAmount
** FinancialAccount
and
RealNumber
und
agreementPeriod
** FinancialAccount
and
TimeInterval
und
interestEarned
** FinancialAccount
,
Interest
and
** TimeInterval
und
** RealNumber
ist gleich (
** RealNumber
und
** Interest
) %n{nicht},
dann
** CognitiveAgent
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
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
Wenn
Loan
ist ein
fall
von
Loan
%n{nicht} und
borrower
** Loan
and
CognitiveAgent
und
principalAmount
** Loan
and
RealNumber
und
agreementPeriod
** Loan
and
TimeInterval
und
interestEarned
** Loan
,
Interest
and
** TimeInterval
und
** RealNumber
ist gleich (
** RealNumber
und
** Interest
) %n{nicht},
dann
** CognitiveAgent
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
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
Wenn
FinancialAccount
ist ein
fall
von
SavingsAccount
%n{nicht} und
accountHolder
** FinancialAccount
and
CognitiveAgent
und
interestEarned
** FinancialAccount
,
Interest
and
TimeInterval
,
dann es gibt
FinancialTransaction
um
** FinancialTransaction
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** Interest
und
** FinancialTransaction
endet an
** CognitiveAgent
%n{nicht}
(=>
(
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
Wenn
FinancialAsset
ist ein
fall
von
ZeroCouponBond
%n{nicht} und
maturityDate
AccountFn
** FinancialAsset
and
Day
und
** FinancialAsset
Holder besitzt
** FinancialAsset
%n{nicht} und
principalAmount
AccountFn
** FinancialAsset
and
RealNumber
UnitOfMeasure
(s) und
agreementPeriod
AccountFn
** FinancialAsset
and
TimeInterval
und
interestEarned
AccountFn
** FinancialAsset
,
** RealNumber
** UnitOfMeasure
(s) and
** TimeInterval
und
** RealNumber
ist gleich (
** RealNumber
und
** ** RealNumber
) %n{nicht},
dann es gibt
FinancialTransaction
um
** FinancialTransaction
ist ein
fall
von
Payment
%n{nicht} und
** FinancialTransaction
endet an
** FinancialAsset
Holder %n{nicht} und
** FinancialTransaction
beginnet an
AccountFn
** FinancialAsset
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** ** RealNumber
** UnitOfMeasure
(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
Wenn
FinancialAccount
ist ein
fall
von
InterestOnlyLoan
%n{nicht} und
agreementPeriod
** FinancialAccount
and
TimeInterval
und
principalAmount
** FinancialAccount
and
CurrencyMeasure
und
interestEarned
** FinancialAccount
,
Interest
and
** TimeInterval
,
dann
amountDue
** FinancialAccount
,
** CurrencyMeasure
and das
ende
von
** TimeInterval
und
amountDue
** FinancialAccount
,
** Interest
and
** TimeInterval
und das
ende
von
** ** TimeInterval
geschieht
vor
das
ende
von
** TimeInterval
%n{nicht}
consequent
(=>
(
and
(
loanFeeAmount
?Loan ?Amount)
(
agreementPeriod
?Loan ?Period))
(
interestEarned
?Loan ?Amount ?Period))
FinancialOntology.kif 4162-4166
Wenn
loanFeeAmount
Loan
and
Interest
und
agreementPeriod
** Loan
and
TimeInterval
,
dann
interestEarned
** Loan
,
** Interest
and
** TimeInterval
(=>
(
and
(
statementInterest
?Statement ?Interest)
(
statementPeriod
?Statement ?Period)
(
statementAccount
?Statement ?Account))
(
interestEarned
?Account ?Interest ?Period))
FinancialOntology.kif 4082-4087
Wenn
statementInterest
BankStatement
and
Interest
und
statementPeriod
** BankStatement
and
TimeInterval
und
statementAccount
** BankStatement
and
FinancialAccount
,
dann
interestEarned
** FinancialAccount
,
** Interest
and
** TimeInterval
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