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
Le nombre 1 argument de
principalAmount
est une
instance
de
FinancialAccount
(
domain
principalAmount
2
CurrencyMeasure
)
FinancialOntology.kif 730-730
Le nombre 2 argument de
principalAmount
est une
instance
de
mesure de devise
(
instance
principalAmount
BinaryPredicate
)
FinancialOntology.kif 728-728
principalAmount
est une
instance
de
pr�dicat binaire
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
est une
instance
de
CreditAccount
accountHolder
FinancialAccount
and
agent cognitif
principalAmount
FinancialAccount
and
nombre r�el
agreementPeriod
FinancialAccount
and
interval temporel
interestEarned
FinancialAccount
,
Interest
and
interval temporel
nombre r�el
est
nombre r�el
+
Interest
)
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
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
est une
instance
de
Loan
borrower
Loan
and
agent cognitif
principalAmount
Loan
and
nombre r�el
agreementPeriod
Loan
and
interval temporel
interestEarned
Loan
,
Interest
and
interval temporel
nombre r�el
est
nombre r�el
+
Interest
)
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
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
est une
instance
de
ZeroCouponBond
maturityDate
AccountFn
FinancialAsset
and
jour
FinancialAsset
Holder
poss
�de
FinancialAsset
principalAmount
AccountFn
FinancialAsset
and
nombre r�el
unit� de mesure
(s)
agreementPeriod
AccountFn
FinancialAsset
and
interval temporel
interestEarned
AccountFn
FinancialAsset
,
nombre r�el
unit� de mesure
(s) and
interval temporel
nombre r�el
est
nombre r�el
+
nombre r�el
)
financial transaction
financial transaction
est une
instance
de
Payment
financial transaction
aboutit
�
FinancialAsset
Holder
financial transaction
a pour
origine
AccountFn
FinancialAsset
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(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
est une
instance
de
InterestOnlyLoan
agreementPeriod
FinancialAccount
and
interval temporel
principalAmount
FinancialAccount
and
mesure de devise
interestEarned
FinancialAccount
,
Interest
and
interval temporel
amountDue
FinancialAccount
,
mesure de devise
and la
fin
de
interval temporel
amountDue
FinancialAccount
,
Interest
and
interval temporel
la
fin
de
interval temporel
se produit
avant
la
fin
de
interval temporel
(=>
(
and
(
instance
?Loan
SinglePaymentLoan
)
(
principalAmount
?Loan ?Principal)
(
maturityDate
?Loan ?Maturity))
(
amountDue
?Loan ?Principal ?Maturity))
FinancialOntology.kif 1596-1601
FinancialAccount
est une
instance
de
SinglePaymentLoan
principalAmount
FinancialAccount
and
mesure de devise
maturityDate
FinancialAccount
and
jour
amountDue
FinancialAccount
,
mesure de devise
and
jour
(=>
(
and
(
maturityDate
?Account ?Date)
(
principalAmount
?Account ?Principal))
(
amountDue
?Account ?Principal ?Date))
FinancialOntology.kif 636-640
maturityDate
FinancialAccount
and
jour
principalAmount
FinancialAccount
and
mesure de devise
amountDue
FinancialAccount
,
mesure de devise
and
jour
(=>
(
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
nombre r�el
unit� de mesure
(s)
fixedInterestRate
FinancialAccount
and
nombre r�el
simpleInterest
FinancialAccount
,
nombre r�el
unit� de mesure
(s) and
interval temporel
nombre r�el
-Decimal est
nombre r�el
+ 100
nombre r�el
est
nombre r�el
+
nombre r�el
-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
,
nombre r�el
unit� de mesure
(s) and
interval temporel
principalAmount
FinancialAccount
and
nombre r�el
unit� de mesure
(s)
nombre r�el
-Decimal est
nombre r�el
+
nombre r�el
nombre r�el
est
nombre r�el
-Decimal + 100.0
interestRatePerPeriod
FinancialAccount
,
nombre r�el
and
interval temporel
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