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
域
本金
, 1 and
金融賬戶
(
domain
principalAmount
2
CurrencyMeasure
)
FinancialOntology.kif 730-730
域
本金
, 2 and
CurrencyMeasure
(
instance
principalAmount
BinaryPredicate
)
FinancialOntology.kif 728-728
例
本金
and
BinaryPredicate
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
例
金融賬戶
and
信用賬戶
CognitiveAgent
持有
account
金融賬戶
RealNumber
是
金融賬戶
的
principal
總額
TimeInterval
是
金融賬戶
的
agreement
週期
金融賬戶
是 對於 %3 的賺取
interest
等於
RealNumber
and
加成
RealNumber
and
利益
持有義務
卡帕
SymbolicString
and
RealNumber
是
SymbolicString
的
transaction
總額 and
CognitiveAgent
(=>
(
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
例
貸款
and
貸款
貸款
是
CognitiveAgent
的
borrower
RealNumber
是
貸款
的
principal
總額
TimeInterval
是
貸款
的
agreement
週期
貸款
是 對於 %3 的賺取
interest
等於
RealNumber
and
加成
RealNumber
and
利益
持有義務
卡帕
SymbolicString
and
RealNumber
是
SymbolicString
的
transaction
總額 and
CognitiveAgent
(=>
(
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
例
金融資產
and
零息債券
Day
是
金融資產
的帳號 的
maturity
日期
擁有
金融資產
Holder and
金融資產
測量
RealNumber
and
UnitOfMeasure
是
金融資產
的帳號 的
principal
總額
TimeInterval
是
金融資產
的帳號 的
agreement
週期
金融資產
的帳號 是 對於 %3 的賺取
interest
等於
RealNumber
and
加成
RealNumber
and
RealNumber
FinancialTransaction
例
FinancialTransaction
and
付款
目的地
FinancialTransaction
and
金融資產
Holder
起源
FinancialTransaction
and
金融資產
的帳號
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
transaction
總額
(=>
(
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
例
金融賬戶
and
僅利息貸款
TimeInterval
是
金融賬戶
的
agreement
週期
CurrencyMeasure
是
金融賬戶
的
principal
總額
金融賬戶
是 對於 %3 的賺取
interest
金融賬戶
對於
結束
TimeInterval
到期的
amount
CurrencyMeasure
金融賬戶
對於
TimeInterval
到期的
amount
利益
之前
結束
TimeInterval
and
結束
TimeInterval
(=>
(
and
(
instance
?Loan
SinglePaymentLoan
)
(
principalAmount
?Loan ?Principal)
(
maturityDate
?Loan ?Maturity))
(
amountDue
?Loan ?Principal ?Maturity))
FinancialOntology.kif 1596-1601
例
金融賬戶
and
單筆付款貸款
CurrencyMeasure
是
金融賬戶
的
principal
總額
Day
是
金融賬戶
的
maturity
日期
金融賬戶
對於
Day
到期的
amount
CurrencyMeasure
(=>
(
and
(
maturityDate
?Account ?Date)
(
principalAmount
?Account ?Principal))
(
amountDue
?Account ?Principal ?Date))
FinancialOntology.kif 636-640
Day
是
金融賬戶
的
maturity
日期
CurrencyMeasure
是
金融賬戶
的
principal
總額
金融賬戶
對於
Day
到期的
amount
CurrencyMeasure
(=>
(
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
測量
RealNumber
and
UnitOfMeasure
是
金融賬戶
的
principal
總額
RealNumber
是
金融賬戶
的
fixed
固定利息
金融賬戶
是 對於
TimeInterval
的
simple
利息
測量
RealNumber
and
UnitOfMeasure
等於
RealNumber
-Decimal and
部
RealNumber
and 100
等於
RealNumber
and
乘法
RealNumber
and
RealNumber
-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
金融賬戶
是 對於
TimeInterval
的
simple
利息
測量
RealNumber
and
UnitOfMeasure
測量
RealNumber
and
UnitOfMeasure
是
金融賬戶
的
principal
總額
等於
RealNumber
-Decimal and
部
RealNumber
and
RealNumber
等於
RealNumber
and
乘法
RealNumber
-Decimal and 100.0
金融賬戶
是 對於
TimeInterval
每周期
RealNumber
的
interest
速率
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