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 and
金融賬戶
(
domain
maturityDate
2
Day
)
FinancialOntology.kif 632-632
域
成人禮
, 2 and
Day
(
instance
maturityDate
BinaryPredicate
)
FinancialOntology.kif 629-629
例
成人禮
and
BinaryPredicate
(
subrelation
maturityDate
agreementExpirationDate
)
FinancialOntology.kif 630-630
子關係
成人禮
and
截止日期
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
例
金融資產
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
?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
例
金融賬戶
and
存款證
Day
是
金融賬戶
的
maturity
日期
例
Process
and
退出
起源
Process
and
金融賬戶
的
currency
日期
Process
and
Day
之前
結束
Day
and
開始
Day
Process
例
Process
and
罰款
目的地
Process
and
金融賬戶
的
currency
原因
Process
and
Process
(=>
(
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
例
貸款
and
氣球貸款
Day
是
貸款
的
maturity
日期
CurrencyMeasure
是
貸款
的
total
存款
貸款
是
CognitiveAgent
的
borrower
持有義務
卡帕
SymbolicString
and
日期
SymbolicString
and
Day
CurrencyMeasure
是
SymbolicString
的
transaction
總額
目的地
SymbolicString
and
貸款
的
currency
and
CognitiveAgent
(=>
(
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
consequent
(<=>
(
and
(
agreementPeriod
?Account ?Period)
(
finishes
?End ?Period))
(
maturityDate
?Account ?End))
FinancialOntology.kif 642-646
TimeInterval
是
金融賬戶
的
agreement
週期
飾面
Day
and
TimeInterval
Day
是
金融賬戶
的
maturity
日期
(=>
(
instance
?Account
TraditionalSavingsAccount
)
(
not
(
exists
(?Date)
(
maturityDate
?Account ?Date))))
FinancialOntology.kif 1109-1113
例
金融賬戶
and
傳統儲蓄賬戶
Day
Day
是
金融賬戶
的
maturity
日期
(=>
(
instance
?Bond
Bond
)
(
exists
(?Date)
(
maturityDate
?Bond ?Date)))
FinancialOntology.kif 2265-2268
例
金融賬戶
and
鍵
Day
Day
是
金融賬戶
的
maturity
日期
(=>
(
instance
?CD
CertificateOfDeposit
)
(
exists
(?Date)
(
maturityDate
?CD ?Date)))
FinancialOntology.kif 1082-1085
例
金融賬戶
and
存款證
Day
Day
是
金融賬戶
的
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