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
maturityDate
Sigma KEE - maturityDate
maturityDate
appearance as argument number 1
(
documentation
maturityDate
EnglishLanguage
"The date on which the principal amount of the account becomes due and payable.")
FinancialOntology.kif 633-634
(
domain
maturityDate
1
FinancialAccount
)
FinancialOntology.kif 631-631
成人礼
的 1 数量 是
金融账户
的
instance
(
domain
maturityDate
2
Day
)
FinancialOntology.kif 632-632
成人礼
的 2 数量 是
日
的
instance
(
instance
maturityDate
BinaryPredicate
)
FinancialOntology.kif 629-629
成人礼
是
二元谓语
的
instance
(
subrelation
maturityDate
agreementExpirationDate
)
FinancialOntology.kif 630-630
成人礼
是
截止日期
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
maturityDate
"%2 %n 是 %1 的 maturity 日期")
domainEnglishFormat.kif 1643-1643
(
format
ChineseTraditionalLanguage
maturityDate
"%2 %n 是 %1 的 maturity 日期")
domainEnglishFormat.kif 1642-1642
(
format
EnglishLanguage
maturityDate
"%2 is %n a maturity date of %1")
domainEnglishFormat.kif 1641-1641
(
termFormat
ChineseLanguage
maturityDate
"成人礼")
domainEnglishFormat.kif 36539-36539
(
termFormat
ChineseTraditionalLanguage
maturityDate
"成人禮")
domainEnglishFormat.kif 36538-36538
(
termFormat
EnglishLanguage
maturityDate
"maturity date")
domainEnglishFormat.kif 36537-36537
antecedent
(=>
(
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
?CD
CertificateOfDeposit
)
(
maturityDate
?CD ?MaturityDate)
(
instance
?Withdrawal
Withdrawal
)
(
origin
?Withdrawal
(
CurrencyFn
?CD))
(
date
?Withdrawal ?DateOfWithdrawal)
(
before
(
EndFn
?DateOfWithdrawal)
(
BeginFn
?MaturityDate)))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?CD))
(
causes
?Withdrawal ?Penalty))))
FinancialOntology.kif 1087-1099
如果
金融账户
是
存款证
的
instance
和
日
是
那个 金融账户
的
maturity
日期 和
过程
是
退出
的
instance
和
那个 金融账户
的
currency
是
那个 过程
的源头 和
那个 过程
的
date
是
另一个 日
和
那个 另外 日
的结束%n在
那个 日
的开始
before
发生,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
罚款
的
instance
和
那个 另外 过程
在
那个 金融账户
的
currency
结束 和
那个 过程
causes
那个 另外 过程
(=>
(
and
(
instance
?Loan
BalloonLoan
)
(
maturityDate
?Loan ?Date)
(
totalBalance
?Loan ?Amount)
(
borrower
?Loan ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
date
?Payment ?Date)
(
transactionAmount
?Payment ?Amount)
(
destination
?Payment
(
CurrencyFn
?Loan)))) ?Agent))
FinancialOntology.kif 1411-1421
如果
贷款
是
气球贷款
的
instance
和
日
是
那个 贷款
的
maturity
日期 和
货币测量
是
那个 贷款
的
total
存款 和
那个 贷款
是
有认知的主事
的
borrower
,
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
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
那个 货币测量
consequent
(<=>
(
and
(
agreementPeriod
?Account ?Period)
(
finishes
?End ?Period))
(
maturityDate
?Account ?End))
FinancialOntology.kif 642-646
时距
是
金融账户
的
agreement
週期 和
日
finishes
了才到
那个 时距
若且唯若
那个 日
是
那个 金融账户
的
maturity
日期
(=>
(
instance
?Account
TraditionalSavingsAccount
)
(
not
(
exists
(?Date)
(
maturityDate
?Account ?Date))))
FinancialOntology.kif 1109-1113
如果
金融账户
是
传统储蓄账户
的
instance
,
然后 不存在
日
这样
那个 日
是
那个 金融账户
的
maturity
日期
(=>
(
instance
?Bond
Bond
)
(
exists
(?Date)
(
maturityDate
?Bond ?Date)))
FinancialOntology.kif 2265-2268
如果
金融账户
是
键
的
instance
,
然后 有存在
日
这样
那个 日
是
那个 金融账户
的
maturity
日期
(=>
(
instance
?CD
CertificateOfDeposit
)
(
exists
(?Date)
(
maturityDate
?CD ?Date)))
FinancialOntology.kif 1082-1085
如果
金融账户
是
存款证
的
instance
,
然后 有存在
日
这样
那个 日
是
那个 金融账户
的
maturity
日期
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