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
The number 1 argument of
maturity date
is an
instance
of
financial account
(
domain
maturityDate
2
Day
)
FinancialOntology.kif 632-632
The number 2 argument of
maturity date
is an
instance
of
day
(
instance
maturityDate
BinaryPredicate
)
FinancialOntology.kif 629-629
maturity date
is an
instance
of
binary predicate
(
subrelation
maturityDate
agreementExpirationDate
)
FinancialOntology.kif 630-630
maturity date
is a
subrelation
of
expiration date
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
If
a financial asset
is an
instance
of
zero coupon bond
and
a day
is a
maturity
date of the
account
of
the financial asset
and
the financial asset
Holder
possess
es
the financial asset
and
a real number
an unit of measure
(s) is a
principal
amount of the
account
of
the financial asset
and
a time interval
is an
agreement
period of the
account
of
the financial asset
and the
account
of
the financial asset
is
interest
earned
another real number
the unit of measure
(s) for
the time interval
and
a third real number
is
equal
to (
the real number
and
the other real number
),
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
payment
and
the financial transaction
end
s up at
the financial asset
Holder and
the financial transaction
originate
s at the
account
of
the financial asset
and
the third real number
the unit of measure
(s) is a
transaction
amount of
the financial 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
If
a financial account
is an
instance
of
certificate of deposit
and
a day
is a
maturity
date of
the financial account
and
a process
is an
instance
of
withdrawal
and
the process
originate
s at the
currency
of
the financial account
and
date
of
the process
is
another day
and the
end
of
the other day
happens
before
the
beginning
of
the day
,
then there exists
another process
such that
the other process
is an
instance
of
penalty
and
the other process
end
s up at the
currency
of
the financial account
and
the process
cause
s
the other 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
If
a loan
is an
instance
of
balloon loan
and
a day
is a
maturity
date of
the loan
and
a currency measure
is a
total
balance of
the loan
and
the loan
is the
borrower
of
a cognitive agent
,
then
the cognitive agent
is
obliged
to perform tasks of type the
class
described by
a symbolic string
(=>
(
and
(
instance
?Loan
SinglePaymentLoan
)
(
principalAmount
?Loan ?Principal)
(
maturityDate
?Loan ?Maturity))
(
amountDue
?Loan ?Principal ?Maturity))
FinancialOntology.kif 1596-1601
If
a financial account
is an
instance
of
single payment loan
and
a currency measure
is a
principal
amount of
the financial account
and
a day
is a
maturity
date of
the financial account
,
then
the financial account
amount
due
the currency measure
for
the day
(=>
(
and
(
maturityDate
?Account ?Date)
(
principalAmount
?Account ?Principal))
(
amountDue
?Account ?Principal ?Date))
FinancialOntology.kif 636-640
If
a day
is a
maturity
date of
a financial account
and
a currency measure
is a
principal
amount of
the financial account
,
then
the financial account
amount
due
the currency measure
for
the day
consequent
(<=>
(
and
(
agreementPeriod
?Account ?Period)
(
finishes
?End ?Period))
(
maturityDate
?Account ?End))
FinancialOntology.kif 642-646
A time interval
is an
agreement
period of
a financial account
and
a day
finish
es
the time interval
if and only if
the day
is a
maturity
date of
the financial account
(=>
(
instance
?Account
TraditionalSavingsAccount
)
(
not
(
exists
(?Date)
(
maturityDate
?Account ?Date))))
FinancialOntology.kif 1109-1113
If
a financial account
is an
instance
of
traditional savings account
,
then there doesn't exist
a day
such that
the day
is a
maturity
date of
the financial account
(=>
(
instance
?Bond
Bond
)
(
exists
(?Date)
(
maturityDate
?Bond ?Date)))
FinancialOntology.kif 2265-2268
If
a financial account
is an
instance
of
bond
,
then there exists
a day
such that
the day
is a
maturity
date of
the financial account
(=>
(
instance
?CD
CertificateOfDeposit
)
(
exists
(?Date)
(
maturityDate
?CD ?Date)))
FinancialOntology.kif 1082-1085
If
a financial account
is an
instance
of
certificate of deposit
,
then there exists
a day
such that
the day
is a
maturity
date of
the financial account
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