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
O argumento numero 1 de
principalAmount
e' uma
instancia
de
FinancialAccount
(
domain
principalAmount
2
CurrencyMeasure
)
FinancialOntology.kif 730-730
O argumento numero 2 de
principalAmount
e' uma
instancia
de
Medida de Divisa
(
instance
principalAmount
BinaryPredicate
)
FinancialOntology.kif 728-728
principalAmount
e' uma
instancia
de
Predicado Binario
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
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
?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
(=>
(
and
(
instance
?Loan
SinglePaymentLoan
)
(
principalAmount
?Loan ?Principal)
(
maturityDate
?Loan ?Maturity))
(
amountDue
?Loan ?Principal ?Maturity))
FinancialOntology.kif 1596-1601
FinancialAccount
e' uma
instancia
de
SinglePaymentLoan
principalAmount
FinancialAccount
and
Medida de Divisa
maturityDate
FinancialAccount
and
Dia
amountDue
FinancialAccount
,
Medida de Divisa
and
Dia
(=>
(
and
(
maturityDate
?Account ?Date)
(
principalAmount
?Account ?Principal))
(
amountDue
?Account ?Principal ?Date))
FinancialOntology.kif 636-640
maturityDate
FinancialAccount
and
Dia
principalAmount
FinancialAccount
and
Medida de Divisa
amountDue
FinancialAccount
,
Medida de Divisa
and
Dia
(=>
(
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
Numero Real
Unidade de Medida
(s)
fixedInterestRate
FinancialAccount
and
Numero Real
simpleInterest
FinancialAccount
,
Numero Real
Unidade de Medida
(s) and
Intervalo Temporal
Numero Real
-Decimal e'
igual
a
Numero Real
+ 100
Numero Real
e'
igual
a
Numero Real
+
Numero Real
-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
,
Numero Real
Unidade de Medida
(s) and
Intervalo Temporal
principalAmount
FinancialAccount
and
Numero Real
Unidade de Medida
(s)
Numero Real
-Decimal e'
igual
a
Numero Real
+
Numero Real
Numero Real
e'
igual
a
Numero Real
-Decimal + 100.0
interestRatePerPeriod
FinancialAccount
,
Numero Real
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