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
Il numero 1 argomenti di
principalAmount
è un
istanza
di
FinancialAccount
(
domain
principalAmount
2
CurrencyMeasure
)
FinancialOntology.kif 730-730
Il numero 2 argomenti di
principalAmount
è un
istanza
di
MisuraMonetaria
(
instance
principalAmount
BinaryPredicate
)
FinancialOntology.kif 728-728
principalAmount
è un'
istanza
di
PredicatoBinario
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
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
?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
(=>
(
and
(
instance
?Loan
SinglePaymentLoan
)
(
principalAmount
?Loan ?Principal)
(
maturityDate
?Loan ?Maturity))
(
amountDue
?Loan ?Principal ?Maturity))
FinancialOntology.kif 1596-1601
FinancialAccount
è un'
istanza
di
SinglePaymentLoan
principalAmount
FinancialAccount
and
MisuraMonetaria
maturityDate
FinancialAccount
and
Giorno
amountDue
FinancialAccount
,
MisuraMonetaria
and
Giorno
(=>
(
and
(
maturityDate
?Account ?Date)
(
principalAmount
?Account ?Principal))
(
amountDue
?Account ?Principal ?Date))
FinancialOntology.kif 636-640
maturityDate
FinancialAccount
and
Giorno
principalAmount
FinancialAccount
and
MisuraMonetaria
amountDue
FinancialAccount
,
MisuraMonetaria
and
Giorno
(=>
(
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
principalAmount
FinancialAccount
and
NumeroReale
Unit�DiMisura
(s
fixedInterestRate
FinancialAccount
and
NumeroReale
simpleInterest
FinancialAccount
,
NumeroReale
Unit�DiMisura
(s and
IntervalloTemporale
NumeroReale
-Decimal is
uguale
a
NumeroReale
+ 100
NumeroReale
is
uguale
a
NumeroReale
+
NumeroReale
-Decimal
(=>
(
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
simpleInterest
FinancialAccount
,
NumeroReale
Unit�DiMisura
(s and
IntervalloTemporale
principalAmount
FinancialAccount
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
-Decimal is
uguale
a
NumeroReale
+
NumeroReale
NumeroReale
is
uguale
a
NumeroReale
-Decimal + 100.0
interestRatePerPeriod
FinancialAccount
,
NumeroReale
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