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
agreementPeriod
Sigma KEE - agreementPeriod
agreementPeriod
appearance as argument number 1
(
documentation
agreementPeriod
EnglishLanguage
"(
agreementPeriod
?AGREEMENT ?DURATION) holds if ?DURATION specifies a
TimeDuration
, which is the length of time that the ?AGREEMENT is
ActiveAgreement
.")
Mid-level-ontology.kif 14012-14014
(
domain
agreementPeriod
1
Agreement
)
Mid-level-ontology.kif 14010-14010
Le nombre 1 argument de
agreementPeriod
est une
instance
de
Agreement
(
domain
agreementPeriod
2
TimeInterval
)
Mid-level-ontology.kif 14011-14011
Le nombre 2 argument de
agreementPeriod
est une
instance
de
interval temporel
(
instance
agreementPeriod
BinaryPredicate
)
Mid-level-ontology.kif 14009-14009
agreementPeriod
est une
instance
de
pr�dicat binaire
appearance as argument number 2
(
format
ChineseLanguage
agreementPeriod
"%2 是 %1 的 agreement 週期")
domainEnglishFormat.kif 96-96
(
format
ChineseTraditionalLanguage
agreementPeriod
"%2 是 %1 的 agreement 週期")
domainEnglishFormat.kif 95-95
(
format
EnglishLanguage
agreementPeriod
"%2 is %n an agreement period of %1")
domainEnglishFormat.kif 94-94
(
termFormat
ChineseLanguage
agreementPeriod
"协议期限")
domainEnglishFormat.kif 5922-5922
(
termFormat
ChineseTraditionalLanguage
agreementPeriod
"協議期限")
domainEnglishFormat.kif 5921-5921
(
termFormat
EnglishLanguage
agreementPeriod
"agreement period")
domainEnglishFormat.kif 5920-5920
antecedent
(<=>
(
and
(
agreementPeriod
?Account ?Period)
(
finishes
?End ?Period))
(
maturityDate
?Account ?End))
FinancialOntology.kif 642-646
agreementPeriod
FinancialAccount
and
interval temporel
jour
finit
interval temporel
maturityDate
FinancialAccount
and
jour
(<=>
(
exists
(?Period)
(
and
(
instance
?Loan
Loan
)
(
agreementPeriod
?Loan ?Period)
(
interestEarned
?Loan ?Amount ?Period)))
(
loanInterest
?Loan ?Amount))
FinancialOntology.kif 3920-3926
Interval temporel
Loan
est une
instance
de
Loan
agreementPeriod
Loan
and
interval temporel
interestEarned
Loan
,
Interest
and
interval temporel
loanInterest
Loan
and
Interest
(=>
(
and
(
agreementPeriod
?AGREEMENT ?DURATION)
(
agreementEffectiveDate
?AGREEMENT ?STARTDATE))
(
holdsDuring
(
TimePeriodFn
?STARTDATE ?DURATION)
(
property
?AGREEMENT
ActiveAgreement
)))
Mid-level-ontology.kif 14016-14021
agreementPeriod
Agreement
and
interval temporel
agreementEffectiveDate
Agreement
and
point temporel
Agreement
a un
attribute
ActiveAgreement
pendant
TimePeriodFn
point temporel
and
interval temporel
(=>
(
and
(
attribute
?Order
FOKOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Fill ?Time1)
(
and
(
instance
?Fill
FillingAnOrder
)
(
patient
?Fill ?Order)
(
equal
(
WhenFn
?Fill) ?Time1)
(
starts
?Time1 ?Period)))
(
exists
(?Kill ?Time2)
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order)
(
equal
(
WhenFn
?Kill) ?Time2)
(
starts
?Time2 ?Period)))))
FinancialOntology.kif 2881-2897
FOKOrder
est un
attribut
de
Agreement
agreementPeriod
Agreement
and
interval temporel
processus
interval temporel
processus
est une
instance
de
FillingAnOrder
Agreement
est un
patient
de
processus
temps
d'existence de
processus
est
interval temporel
interval temporel
commence
interval temporel
processus
interval temporel
processus
est une
instance
de
CancellingAnOrder
Agreement
est un
patient
de
processus
temps
d'existence de
processus
est
interval temporel
interval temporel
commence
interval temporel
(=>
(
and
(
attribute
?Order
GTCOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Execute ?Time)
(
and
(
instance
?Execute
FillingAnOrder
)
(
patient
?Execute ?Order)
(
equal
(
WhenFn
?Execute) ?Time)
(
overlapsTemporally
?Time ?Period)))
(
exists
(?Cancel ?End)
(
and
(
instance
?Cancel
CancellingAnOrder
)
(
patient
?Cancel ?Order)
(
equal
(
WhenFn
?Cancel) ?End)
(
finishes
?End ?Period)))))
FinancialOntology.kif 2917-2933
GTCOrder
est un
attribut
de
Agreement
agreementPeriod
Agreement
and
interval temporel
processus
interval temporel
processus
est une
instance
de
FillingAnOrder
Agreement
est un
patient
de
processus
temps
d'existence de
processus
est
interval temporel
interval temporel
recouvre
interval temporel
processus
interval temporel
processus
est une
instance
de
CancellingAnOrder
Agreement
est un
patient
de
processus
temps
d'existence de
processus
est
interval temporel
interval temporel
finit
interval temporel
(=>
(
and
(
attribute
?Order
IOCOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Fill ?Time1)
(
and
(
instance
?Fill
FillingAnOrder
)
(
patient
?Fill ?Order)
(
equal
(
WhenFn
?Fill) ?Time1)
(
starts
?Time1 ?Period)))
(
exists
(?Kill ?Time2)
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order)
(
equal
(
WhenFn
?Kill) ?Time2)
(
starts
?Time2 ?Period)))))
FinancialOntology.kif 2854-2870
IOCOrder
est un
attribut
de
Agreement
agreementPeriod
Agreement
and
interval temporel
processus
interval temporel
processus
est une
instance
de
FillingAnOrder
Agreement
est un
patient
de
processus
temps
d'existence de
processus
est
interval temporel
interval temporel
commence
interval temporel
processus
interval temporel
processus
est une
instance
de
CancellingAnOrder
Agreement
est un
patient
de
processus
temps
d'existence de
processus
est
interval temporel
interval temporel
commence
interval temporel
(=>
(
and
(
borrower
?Loan ?Borrower)
(
lender
?Loan ?Lender)
(
agreementPeriod
?Loan ?Period)
(
interestEarned
?Loan ?Interest ?Period))
(
exists
(?Payment)
(
and
(
origin
?Payment ?Borrower)
(
transactionAmount
?Payment ?Interest)
(
destination
?Payment ?Lender))))
FinancialOntology.kif 1261-1271
borrower
Loan
and
agent cognitif
lender
Loan
and
agent cognitif
agreementPeriod
Loan
and
interval temporel
interestEarned
Loan
,
Interest
and
interval temporel
financial transaction
financial transaction
a pour
origine
agent cognitif
transactionAmount
financial transaction
and
Interest
financial transaction
aboutit
�
agent cognitif
(=>
(
and
(
instance
?Account
CreditAccount
)
(
accountHolder
?Account ?Agent)
(
principalAmount
?Account ?Principal)
(
agreementPeriod
?Account ?Period)
(
interestEarned
?Account ?Interest ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
holdsObligation
(
KappaFn
?Payment
(
transactionAmount
?Payment ?Total)) ?Agent))
FinancialOntology.kif 1224-1233
FinancialAccount
est une
instance
de
CreditAccount
accountHolder
FinancialAccount
and
agent cognitif
principalAmount
FinancialAccount
and
nombre r�el
agreementPeriod
FinancialAccount
and
interval temporel
interestEarned
FinancialAccount
,
Interest
and
interval temporel
nombre r�el
est
nombre r�el
+
Interest
)
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
and
(
instance
?Account
Loan
)
(
borrower
?Account ?Agent)
(
principalAmount
?Account ?Principal)
(
agreementPeriod
?Account ?Period)
(
interestEarned
?Account ?Interest ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
holdsObligation
(
KappaFn
?Payment
(
transactionAmount
?Payment ?Total)) ?Agent))
FinancialOntology.kif 1273-1282
Loan
est une
instance
de
Loan
borrower
Loan
and
agent cognitif
principalAmount
Loan
and
nombre r�el
agreementPeriod
Loan
and
interval temporel
interestEarned
Loan
,
Interest
and
interval temporel
nombre r�el
est
nombre r�el
+
Interest
)
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
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
est une
instance
de
ZeroCouponBond
maturityDate
AccountFn
FinancialAsset
and
jour
FinancialAsset
Holder
poss
�de
FinancialAsset
principalAmount
AccountFn
FinancialAsset
and
nombre r�el
unit� de mesure
(s)
agreementPeriod
AccountFn
FinancialAsset
and
interval temporel
interestEarned
AccountFn
FinancialAsset
,
nombre r�el
unit� de mesure
(s) and
interval temporel
nombre r�el
est
nombre r�el
+
nombre r�el
)
financial transaction
financial transaction
est une
instance
de
Payment
financial transaction
aboutit
�
FinancialAsset
Holder
financial transaction
a pour
origine
AccountFn
FinancialAsset
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(s)
(=>
(
and
(
instance
?Loan
BankTermLoan
)
(
agreementPeriod
?Loan ?Period)
(
duration
?Period
(
MeasureFn
?Duration
YearDuration
)))
(
greaterThanOrEqualTo
?Duration 1))
FinancialOntology.kif 1497-1502
Agreement
est une
instance
de
BankTermLoan
agreementPeriod
Agreement
and
interval temporel
la
dur
�� de
interval temporel
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal � 1
(=>
(
and
(
instance
?Loan
InterestOnlyLoan
)
(
agreementPeriod
?Loan ?Period)
(
principalAmount
?Loan ?Principal)
(
interestEarned
?Loan ?Interest ?Period))
(
and
(
amountDue
?Loan ?Principal
(
EndFn
?Period))
(
amountDue
?Loan ?Interest ?Date)
(
before
(
EndFn
?Date)
(
EndFn
?Period))))
FinancialOntology.kif 1615-1624
FinancialAccount
est une
instance
de
InterestOnlyLoan
agreementPeriod
FinancialAccount
and
interval temporel
principalAmount
FinancialAccount
and
mesure de devise
interestEarned
FinancialAccount
,
Interest
and
interval temporel
amountDue
FinancialAccount
,
mesure de devise
and la
fin
de
interval temporel
amountDue
FinancialAccount
,
Interest
and
interval temporel
la
fin
de
interval temporel
se produit
avant
la
fin
de
interval temporel
(=>
(
and
(
loanFeeAmount
?Loan ?Amount)
(
agreementPeriod
?Loan ?Period))
(
interestEarned
?Loan ?Amount ?Period))
FinancialOntology.kif 4162-4166
loanFeeAmount
Loan
and
Interest
agreementPeriod
Loan
and
interval temporel
interestEarned
Loan
,
Interest
and
interval temporel
consequent
(=>
(
and
(
instance
?Opening
OpeningAnAccount
)
(
eventLocated
?Opening ?Bank)
(
instance
?Bank
FinancialOrganization
)
(
agent
?Opening ?Agent)
(
equal
(
WhenFn
?Opening) ?OpeningTime))
(
exists
(?Account ?AccountPeriod)
(
and
(
agreementPeriod
?Account ?AccountPeriod)
(
meetsTemporally
?OpeningTime ?AccountPeriod)
(
instance
?Account
FinancialAccount
)
(
accountAt
?Account ?Bank)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 293-306
Processus
est une
instance
de
OpeningAnAccount
eventLocated
processus
and
FinancialOrganization
FinancialOrganization
est une
instance
de
FinancialOrganization
processus
est un
agent
de
agent cognitif
temps
d'existence de
processus
est
processus
Time
FinancialAccount
FinancialAccount
Period
agreementPeriod
FinancialAccount
and
FinancialAccount
Period
processus
Time
rencontre
FinancialAccount
Period
FinancialAccount
est une
instance
de
FinancialAccount
accountAt
FinancialAccount
and
FinancialOrganization
accountHolder
FinancialAccount
and
agent cognitif
(=>
(
instance
?Loan
DayLoan
)
(
and
(
agreementPeriod
?Loan ?Period)
(
duration
?Period
(
MeasureFn
1
DayDuration
))))
FinancialOntology.kif 1579-1583
Agreement
est une
instance
de
DayLoan
agreementPeriod
Agreement
and
interval temporel
la
dur
�� de
interval temporel
est 1
DayDuration
(s)
(=>
(
property
?Option
ConventionalOption
)
(
exists
(?Number ?Period)
(
and
(
agreementPeriod
?Option ?Period)
(
duration
?Period
(
MeasureFn
?Number
MonthDuration
))
(
lessThan
?Number 39))))
FinancialOntology.kif 2574-2580
Agreement
a un
attribute
ConventionalOption
nombre r�el
interval temporel
agreementPeriod
Agreement
and
interval temporel
la
dur
�� de
interval temporel
est
nombre r�el
MonthDuration
(s)
nombre r�el
est
moins
que 39
(=>
(
property
?Option
ConventionalOption
)
(
exists
(?Number ?Period)
(
and
(
agreementPeriod
?Option ?Period)
(
duration
?Period
(
MeasureFn
?Number
MonthDuration
))
(
lessThan
?Number 9))))
FinancialOntology.kif 2558-2564
Agreement
a un
attribute
ConventionalOption
nombre r�el
interval temporel
agreementPeriod
Agreement
and
interval temporel
la
dur
�� de
interval temporel
est
nombre r�el
MonthDuration
(s)
nombre r�el
est
moins
que 9
(=>
(
property
?Order
DayOrder
)
(
and
(
agreementPeriod
?Order ?Period)
(
duration
?Period
(
MeasureFn
1
DayDuration
))))
FinancialOntology.kif 2940-2944
Agreement
a un
attribute
DayOrder
agreementPeriod
Agreement
and
interval temporel
la
dur
�� de
interval temporel
est 1
DayDuration
(s)
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