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 数量 是
金融账户
的
instance
(
domain
principalAmount
2
CurrencyMeasure
)
FinancialOntology.kif 730-730
本金
的 2 数量 是
货币测量
的
instance
(
instance
principalAmount
BinaryPredicate
)
FinancialOntology.kif 728-728
本金
是
二元谓语
的
instance
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
如果
金融账户
是
信用账户
的
instance
和
有认知的主事
持有
account
那个 金融账户
和
实数
是
那个 金融账户
的
principal
总额 和
时距
是
那个 金融账户
的
agreement
週期 和
那个 金融账户
是 对于 %3 的赚取
interest
和
另一个 实数
equal
(
那个 实数
和
利益
),
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
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
如果
贷款
是
贷款
的
instance
和
那个 贷款
是
有认知的主事
的
borrower
和
实数
是
那个 贷款
的
principal
总额 和
时距
是
那个 贷款
的
agreement
週期 和
那个 贷款
是 对于 %3 的赚取
interest
和
另一个 实数
equal
(
那个 实数
和
利益
),
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
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
如果
金融资产
是
零息债券
的
instance
和
日
是
那个 金融资产
的帐号 的
maturity
日期 和
那个 金融资产
Holder
possesses
那个 金融资产
和
实数
测量单位
是
那个 金融资产
的帐号 的
principal
总额 和
时距
是
那个 金融资产
的帐号 的
agreement
週期 和
那个 金融资产
的帐号 是 对于 %3 的赚取
interest
和
另一个 实数
equal
(
那个 实数
和
第三 实数
),
然后 有存在
金融交易
这样
那个 金融交易
是
付款
的
instance
和
那个 金融交易
在
那个 金融资产
Holder 结束 和
那个 金融资产
的帐号 是
那个 金融交易
的源头 和
那个 另外 实数
那个 测量单位
是
那个 金融交易
的
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
如果
金融账户
是
仅利息贷款
的
instance
和
时距
是
那个 金融账户
的
agreement
週期 和
货币测量
是
那个 金融账户
的
principal
总额 和
那个 金融账户
是 对于 %3 的赚取
interest
,
然后
那个 金融账户
对于
那个 时距
的结束 到期的
amount
那个 货币测量
和
那个 金融账户
对于
另一个 时距
到期的
amount
利益
和
那个 另外 时距
的结束%n在
那个 时距
的结束
before
发生
(=>
(
and
(
instance
?Loan
SinglePaymentLoan
)
(
principalAmount
?Loan ?Principal)
(
maturityDate
?Loan ?Maturity))
(
amountDue
?Loan ?Principal ?Maturity))
FinancialOntology.kif 1596-1601
如果
金融账户
是
单笔付款贷款
的
instance
和
货币测量
是
那个 金融账户
的
principal
总额 和
日
是
那个 金融账户
的
maturity
日期,
然后
那个 金融账户
对于
那个 日
到期的
amount
那个 货币测量
(=>
(
and
(
maturityDate
?Account ?Date)
(
principalAmount
?Account ?Principal))
(
amountDue
?Account ?Principal ?Date))
FinancialOntology.kif 636-640
如果
日
是
金融账户
的
maturity
日期 和
货币测量
是
那个 金融账户
的
principal
总额,
然后
那个 金融账户
对于
那个 日
到期的
amount
那个 货币测量
(=>
(
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
如果
实数
测量单位
是
金融账户
的
principal
总额 和
另一个 实数
是
那个 金融账户
的
fixed
固定利息 和
那个 金融账户
是 对于
时距
的
simple
利息
第三 实数
那个 测量单位
和
那个 另外 实数
-Decimal
equal
那个 另外 实数
和 100,
然后
那个 第三 实数
equal
那个 实数
和
那个 另外 实数
-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
如果
金融账户
是 对于
时距
的
simple
利息
实数
测量单位
和
另一个 实数
那个 测量单位
是
那个 金融账户
的
principal
总额 和
第三 实数
-Decimal
equal
那个 实数
和
那个 另外 实数
和
那个 第三 实数
equal
那个 第三 实数
-Decimal 和 100.0,
然后
那个 金融账户
是 对于
那个 时距
每周期
那个 第三 实数
的
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