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
principalAmount
Sigma KEE - principalAmount
principalAmount
appearance as argument number 1
(
documentation
principalAmount
EnglishLanguage
"(
principalAmount
?ACCOUNT ?BALANCE) means that ?BALANCE is the amount borrowed, or the part of the amount borrowed which remains unpaid (excluding interest).")
FinancialOntology.kif 731-733
(
domain
principalAmount
1
FinancialAccount
)
FinancialOntology.kif 729-729
Die Zahl 1 Argument von
principalAmount
ist ein
fall
von
FinancialAccount
%n{nicht}
(
domain
principalAmount
2
CurrencyMeasure
)
FinancialOntology.kif 730-730
Die Zahl 2 Argument von
principalAmount
ist ein
fall
von
CurrencyMeasure
%n{nicht}
(
instance
principalAmount
BinaryPredicate
)
FinancialOntology.kif 728-728
principalAmount
ist ein
fall
von
BinaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
principalAmount
"%2 %n 是 %1 的 principal 总额")
domainEnglishFormat.kif 2055-2055
(
format
ChineseTraditionalLanguage
principalAmount
"%2 %n 是 %1 的 principal 總額")
domainEnglishFormat.kif 2054-2054
(
format
EnglishLanguage
principalAmount
"%2 is %n a principal amount of %1")
domainEnglishFormat.kif 2053-2053
(
termFormat
ChineseLanguage
principalAmount
"本金")
domainEnglishFormat.kif 47348-47348
(
termFormat
ChineseTraditionalLanguage
principalAmount
"本金")
domainEnglishFormat.kif 47347-47347
(
termFormat
EnglishLanguage
principalAmount
"principal amount")
domainEnglishFormat.kif 47346-47346
antecedent
(=>
(
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
?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}
(=>
(
and
(
instance
?Loan
SinglePaymentLoan
)
(
principalAmount
?Loan ?Principal)
(
maturityDate
?Loan ?Maturity))
(
amountDue
?Loan ?Principal ?Maturity))
FinancialOntology.kif 1596-1601
Wenn
FinancialAccount
ist ein
fall
von
SinglePaymentLoan
%n{nicht} und
principalAmount
** FinancialAccount
and
CurrencyMeasure
und
maturityDate
** FinancialAccount
and
Day
,
dann
amountDue
** FinancialAccount
,
** CurrencyMeasure
and
** Day
(=>
(
and
(
maturityDate
?Account ?Date)
(
principalAmount
?Account ?Principal))
(
amountDue
?Account ?Principal ?Date))
FinancialOntology.kif 636-640
Wenn
maturityDate
FinancialAccount
and
Day
und
principalAmount
** FinancialAccount
and
CurrencyMeasure
,
dann
amountDue
** FinancialAccount
,
** CurrencyMeasure
and
** Day
(=>
(
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
Wenn
principalAmount
FinancialAccount
and
RealNumber
UnitOfMeasure
(s) und
fixedInterestRate
** FinancialAccount
and
** RealNumber
und
simpleInterest
** FinancialAccount
,
** RealNumber
** UnitOfMeasure
(s) and
TimeInterval
und
** ** RealNumber
-Decimal ist gleich
** ** RealNumber
und 100 %n{nicht},
dann
** ** RealNumber
ist gleich
** RealNumber
und
** ** RealNumber
-Decimal %n{nicht}
(=>
(
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
Wenn
simpleInterest
FinancialAccount
,
RealNumber
UnitOfMeasure
(s) and
TimeInterval
und
principalAmount
** FinancialAccount
and
** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
-Decimal ist gleich
** RealNumber
und
** ** RealNumber
%n{nicht} und
** ** RealNumber
ist gleich
** ** RealNumber
-Decimal und 100.0 %n{nicht},
dann
interestRatePerPeriod
** FinancialAccount
,
** ** RealNumber
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