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
Die Zahl 1 Argument von
maturityDate
ist ein
fall
von
FinancialAccount
%n{nicht}
(
domain
maturityDate
2
Day
)
FinancialOntology.kif 632-632
Die Zahl 2 Argument von
maturityDate
ist ein
fall
von
Day
%n{nicht}
(
instance
maturityDate
BinaryPredicate
)
FinancialOntology.kif 629-629
maturityDate
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
maturityDate
agreementExpirationDate
)
FinancialOntology.kif 630-630
maturityDate
ist eine
teilrelation
von
agreementExpirationDate
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
Wenn
FinancialAsset
ist ein
fall
von
ZeroCouponBond
%n{nicht} und
maturityDate
AccountFn
** FinancialAsset
and
Day
und
** FinancialAsset
Holder besitzt
** FinancialAsset
%n{nicht} und
principalAmount
AccountFn
** FinancialAsset
and
RealNumber
UnitOfMeasure
(s) und
agreementPeriod
AccountFn
** FinancialAsset
and
TimeInterval
und
interestEarned
AccountFn
** FinancialAsset
,
** RealNumber
** UnitOfMeasure
(s) and
** TimeInterval
und
** RealNumber
ist gleich (
** RealNumber
und
** ** RealNumber
) %n{nicht},
dann es gibt
FinancialTransaction
um
** FinancialTransaction
ist ein
fall
von
Payment
%n{nicht} und
** FinancialTransaction
endet an
** FinancialAsset
Holder %n{nicht} und
** FinancialTransaction
beginnet an
AccountFn
** FinancialAsset
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** ** RealNumber
** UnitOfMeasure
(s)
(=>
(
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
Wenn
FinancialAccount
ist ein
fall
von
CertificateOfDeposit
%n{nicht} und
maturityDate
** FinancialAccount
and
Day
und
Process
ist ein
fall
von
Withdrawal
%n{nicht} und
** Process
beginnet an
CurrencyFn
** FinancialAccount
%n{nicht} und
datum
von
** Process
ist
** Day
%n{nicht} und das
ende
von
** ** Day
geschieht
vor
der
anfang
von
** Day
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Penalty
%n{nicht} und
** ** Process
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
** Process
verursacht
** ** Process
%n{nicht}
(=>
(
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
Wenn
Loan
ist ein
fall
von
BalloonLoan
%n{nicht} und
maturityDate
** Loan
and
Day
und
totalBalance
** Loan
and
CurrencyMeasure
und
borrower
** Loan
and
CognitiveAgent
,
dann
** CognitiveAgent
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
and
(
instance
?Loan
SinglePaymentLoan
)
(
principalAmount
?Loan ?Principal)
(
maturityDate
?Loan ?Maturity))
(
amountDue
?Loan ?Principal ?Maturity))
FinancialOntology.kif 1596-1601
Wenn
FinancialAccount
ist ein
fall
von
SinglePaymentLoan
%n{nicht} und
principalAmount
** FinancialAccount
and
CurrencyMeasure
und
maturityDate
** FinancialAccount
and
Day
,
dann
amountDue
** FinancialAccount
,
** CurrencyMeasure
and
** Day
(=>
(
and
(
maturityDate
?Account ?Date)
(
principalAmount
?Account ?Principal))
(
amountDue
?Account ?Principal ?Date))
FinancialOntology.kif 636-640
Wenn
maturityDate
FinancialAccount
and
Day
und
principalAmount
** FinancialAccount
and
CurrencyMeasure
,
dann
amountDue
** FinancialAccount
,
** CurrencyMeasure
and
** Day
consequent
(<=>
(
and
(
agreementPeriod
?Account ?Period)
(
finishes
?End ?Period))
(
maturityDate
?Account ?End))
FinancialOntology.kif 642-646
agreementPeriod
FinancialAccount
and
TimeInterval
und
Day
beendet
** TimeInterval
%n{nicht} genau dann wenn
maturityDate
** FinancialAccount
and
** Day
(=>
(
instance
?Account
TraditionalSavingsAccount
)
(
not
(
exists
(?Date)
(
maturityDate
?Account ?Date))))
FinancialOntology.kif 1109-1113
Wenn
FinancialAccount
ist ein
fall
von
TraditionalSavingsAccount
%n{nicht},
dann es gibt nicht
Day
um
maturityDate
** FinancialAccount
and
** Day
(=>
(
instance
?Bond
Bond
)
(
exists
(?Date)
(
maturityDate
?Bond ?Date)))
FinancialOntology.kif 2265-2268
Wenn
FinancialAccount
ist ein
fall
von
Bond
%n{nicht},
dann es gibt
Day
um
maturityDate
** FinancialAccount
and
** Day
(=>
(
instance
?CD
CertificateOfDeposit
)
(
exists
(?Date)
(
maturityDate
?CD ?Date)))
FinancialOntology.kif 1082-1085
Wenn
FinancialAccount
ist ein
fall
von
CertificateOfDeposit
%n{nicht},
dann es gibt
Day
um
maturityDate
** FinancialAccount
and
** Day
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