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
Il numero 1 argomenti di
maturityDate
è un
istanza
di
FinancialAccount
(
domain
maturityDate
2
Day
)
FinancialOntology.kif 632-632
Il numero 2 argomenti di
maturityDate
è un
istanza
di
Giorno
(
instance
maturityDate
BinaryPredicate
)
FinancialOntology.kif 629-629
maturityDate
è un'
istanza
di
PredicatoBinario
(
subrelation
maturityDate
agreementExpirationDate
)
FinancialOntology.kif 630-630
maturityDate
è una
sottorelazione
di
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
FinancialAsset
è un'
istanza
di
ZeroCouponBond
maturityDate
AccountFn
FinancialAsset
and
Giorno
FinancialAsset
Holder
possiede
es
FinancialAsset
principalAmount
AccountFn
FinancialAsset
and
NumeroReale
Unit�DiMisura
(s
agreementPeriod
AccountFn
FinancialAsset
and
IntervalloTemporale
interestEarned
AccountFn
FinancialAsset
,
NumeroReale
Unit�DiMisura
(s and
IntervalloTemporale
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Payment
ScambioFinanziario
fine
s in
FinancialAsset
Holder
ScambioFinanziario
si
originas in
AccountFn
FinancialAsset
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(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
FinancialAccount
è un'
istanza
di
CertificateOfDeposit
maturityDate
FinancialAccount
and
Giorno
Processo
è un'
istanza
di
Withdrawal
Processo
si
originas in
CurrencyFn
FinancialAccount
data
di
Processo
è
Giorno
la
fine
di
Giorno
succede%{s}
prima
di l'
inizio
di
Giorno
Processo
Processo
è un'
istanza
di
Penalty
Processo
fine
s in
CurrencyFn
FinancialAccount
Processo
causa
s
Processo
(=>
(
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
Loan
è un'
istanza
di
BalloonLoan
maturityDate
Loan
and
Giorno
totalBalance
Loan
and
MisuraMonetaria
borrower
Loan
and
AgenteCognitivo
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
and
(
instance
?Loan
SinglePaymentLoan
)
(
principalAmount
?Loan ?Principal)
(
maturityDate
?Loan ?Maturity))
(
amountDue
?Loan ?Principal ?Maturity))
FinancialOntology.kif 1596-1601
FinancialAccount
è un'
istanza
di
SinglePaymentLoan
principalAmount
FinancialAccount
and
MisuraMonetaria
maturityDate
FinancialAccount
and
Giorno
amountDue
FinancialAccount
,
MisuraMonetaria
and
Giorno
(=>
(
and
(
maturityDate
?Account ?Date)
(
principalAmount
?Account ?Principal))
(
amountDue
?Account ?Principal ?Date))
FinancialOntology.kif 636-640
maturityDate
FinancialAccount
and
Giorno
principalAmount
FinancialAccount
and
MisuraMonetaria
amountDue
FinancialAccount
,
MisuraMonetaria
and
Giorno
consequent
(<=>
(
and
(
agreementPeriod
?Account ?Period)
(
finishes
?End ?Period))
(
maturityDate
?Account ?End))
FinancialOntology.kif 642-646
agreementPeriod
FinancialAccount
and
IntervalloTemporale
Giorno
finisce
es
IntervalloTemporale
maturityDate
FinancialAccount
and
Giorno
(=>
(
instance
?Account
TraditionalSavingsAccount
)
(
not
(
exists
(?Date)
(
maturityDate
?Account ?Date))))
FinancialOntology.kif 1109-1113
FinancialAccount
è un'
istanza
di
TraditionalSavingsAccount
Giorno
maturityDate
FinancialAccount
and
Giorno
(=>
(
instance
?Bond
Bond
)
(
exists
(?Date)
(
maturityDate
?Bond ?Date)))
FinancialOntology.kif 2265-2268
FinancialAccount
è un'
istanza
di
Bond
Giorno
maturityDate
FinancialAccount
and
Giorno
(=>
(
instance
?CD
CertificateOfDeposit
)
(
exists
(?Date)
(
maturityDate
?CD ?Date)))
FinancialOntology.kif 1082-1085
FinancialAccount
è un'
istanza
di
CertificateOfDeposit
Giorno
maturityDate
FinancialAccount
and
Giorno
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