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
Die Zahl 1 Argument von
agreementPeriod
ist ein
fall
von
Agreement
%n{nicht}
(
domain
agreementPeriod
2
TimeInterval
)
Mid-level-ontology.kif 14011-14011
Die Zahl 2 Argument von
agreementPeriod
ist ein
fall
von
TimeInterval
%n{nicht}
(
instance
agreementPeriod
BinaryPredicate
)
Mid-level-ontology.kif 14009-14009
agreementPeriod
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
TimeInterval
und
Day
beendet
** TimeInterval
%n{nicht} genau dann wenn
maturityDate
** FinancialAccount
and
** Day
(<=>
(
exists
(?Period)
(
and
(
instance
?Loan
Loan
)
(
agreementPeriod
?Loan ?Period)
(
interestEarned
?Loan ?Amount ?Period)))
(
loanInterest
?Loan ?Amount))
FinancialOntology.kif 3920-3926
Es gibt
TimeInterval
um
Loan
ist ein
fall
von
Loan
%n{nicht} und
agreementPeriod
** Loan
and
** TimeInterval
und
interestEarned
** Loan
,
Interest
and
** TimeInterval
genau dann wenn
loanInterest
** Loan
and
** Interest
(=>
(
and
(
agreementPeriod
?AGREEMENT ?DURATION)
(
agreementEffectiveDate
?AGREEMENT ?STARTDATE))
(
holdsDuring
(
TimePeriodFn
?STARTDATE ?DURATION)
(
property
?AGREEMENT
ActiveAgreement
)))
Mid-level-ontology.kif 14016-14021
Wenn
agreementPeriod
Agreement
and
TimeInterval
und
agreementEffectiveDate
** Agreement
and
TimePoint
,
dann
** Agreement
hat ein
attribut
ActiveAgreement
%n{nicht} haelt
waehrend
TimePeriodFn
** TimePoint
and
** TimeInterval
%n{nicht}
(=>
(
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
Wenn
FOKOrder
ist ein
attribut
von
Agreement
%n{nicht} und
agreementPeriod
** Agreement
and
TimeInterval
,
dann es gibt
Process
und
** TimeInterval
um
** Process
ist ein
fall
von
FillingAnOrder
%n{nicht} und
** Agreement
ist ein
patient
von
** Process
%n{nicht} und die
zeit
des Bestehens von
** Process
ist gleich
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht} oder es gibt
** Process
und
** TimeInterval
um
** ** Process
ist ein
fall
von
CancellingAnOrder
%n{nicht} und
** Agreement
ist ein
patient
von
** ** Process
%n{nicht} und die
zeit
des Bestehens von
** ** Process
ist gleich
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht}
(=>
(
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
Wenn
GTCOrder
ist ein
attribut
von
Agreement
%n{nicht} und
agreementPeriod
** Agreement
and
TimeInterval
,
dann es gibt
Process
und
** TimeInterval
um
** Process
ist ein
fall
von
FillingAnOrder
%n{nicht} und
** Agreement
ist ein
patient
von
** Process
%n{nicht} und die
zeit
des Bestehens von
** Process
ist gleich
** ** TimeInterval
%n{nicht} und
** TimeInterval
deckt
sich mit
** ** TimeInterval
%n{nicht} oder es gibt
** Process
und
** TimeInterval
um
** ** Process
ist ein
fall
von
CancellingAnOrder
%n{nicht} und
** Agreement
ist ein
patient
von
** ** Process
%n{nicht} und die
zeit
des Bestehens von
** ** Process
ist gleich
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beendet
** TimeInterval
%n{nicht}
(=>
(
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
Wenn
IOCOrder
ist ein
attribut
von
Agreement
%n{nicht} und
agreementPeriod
** Agreement
and
TimeInterval
,
dann es gibt
Process
und
** TimeInterval
um
** Process
ist ein
fall
von
FillingAnOrder
%n{nicht} und
** Agreement
ist ein
patient
von
** Process
%n{nicht} und die
zeit
des Bestehens von
** Process
ist gleich
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht} oder es gibt
** Process
und
** TimeInterval
um
** ** Process
ist ein
fall
von
CancellingAnOrder
%n{nicht} und
** Agreement
ist ein
patient
von
** ** Process
%n{nicht} und die
zeit
des Bestehens von
** ** Process
ist gleich
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht}
(=>
(
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
Wenn
borrower
Loan
and
CognitiveAgent
und
lender
** Loan
and
** CognitiveAgent
und
agreementPeriod
** Loan
and
TimeInterval
und
interestEarned
** Loan
,
Interest
and
** TimeInterval
,
dann es gibt
FinancialTransaction
um
** FinancialTransaction
beginnet an
** CognitiveAgent
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** Interest
und
** FinancialTransaction
endet an
** ** CognitiveAgent
%n{nicht}
(=>
(
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
Wenn
FinancialAccount
ist ein
fall
von
CreditAccount
%n{nicht} und
accountHolder
** FinancialAccount
and
CognitiveAgent
und
principalAmount
** FinancialAccount
and
RealNumber
und
agreementPeriod
** FinancialAccount
and
TimeInterval
und
interestEarned
** FinancialAccount
,
Interest
and
** TimeInterval
und
** RealNumber
ist gleich (
** RealNumber
und
** Interest
) %n{nicht},
dann
** CognitiveAgent
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
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
Wenn
Loan
ist ein
fall
von
Loan
%n{nicht} und
borrower
** Loan
and
CognitiveAgent
und
principalAmount
** Loan
and
RealNumber
und
agreementPeriod
** Loan
and
TimeInterval
und
interestEarned
** Loan
,
Interest
and
** TimeInterval
und
** RealNumber
ist gleich (
** RealNumber
und
** Interest
) %n{nicht},
dann
** CognitiveAgent
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
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
?Loan
BankTermLoan
)
(
agreementPeriod
?Loan ?Period)
(
duration
?Period
(
MeasureFn
?Duration
YearDuration
)))
(
greaterThanOrEqualTo
?Duration 1))
FinancialOntology.kif 1497-1502
Wenn
Agreement
ist ein
fall
von
BankTermLoan
%n{nicht} und
agreementPeriod
** Agreement
and
TimeInterval
und
dauer
von
** TimeInterval
ist
RealNumber
YearDuration
(s) %n{nicht},
dann
** RealNumber
ist
groesserAlsOderGleich
1 %n{nicht}
(=>
(
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
Wenn
FinancialAccount
ist ein
fall
von
InterestOnlyLoan
%n{nicht} und
agreementPeriod
** FinancialAccount
and
TimeInterval
und
principalAmount
** FinancialAccount
and
CurrencyMeasure
und
interestEarned
** FinancialAccount
,
Interest
and
** TimeInterval
,
dann
amountDue
** FinancialAccount
,
** CurrencyMeasure
and das
ende
von
** TimeInterval
und
amountDue
** FinancialAccount
,
** Interest
and
** TimeInterval
und das
ende
von
** ** TimeInterval
geschieht
vor
das
ende
von
** TimeInterval
%n{nicht}
(=>
(
and
(
loanFeeAmount
?Loan ?Amount)
(
agreementPeriod
?Loan ?Period))
(
interestEarned
?Loan ?Amount ?Period))
FinancialOntology.kif 4162-4166
Wenn
loanFeeAmount
Loan
and
Interest
und
agreementPeriod
** Loan
and
TimeInterval
,
dann
interestEarned
** Loan
,
** Interest
and
** TimeInterval
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
Wenn
Process
ist ein
fall
von
OpeningAnAccount
%n{nicht} und
eventLocated
** Process
and
FinancialOrganization
und
** FinancialOrganization
ist ein
fall
von
FinancialOrganization
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht} und die
zeit
des Bestehens von
** Process
ist gleich
** Process
Time %n{nicht},
dann es gibt
FinancialAccount
und
** FinancialAccount
Period um
agreementPeriod
** FinancialAccount
and
** FinancialAccount
Period und
** Process
Time
schliesst
** FinancialAccount
Period zeitlich an und
** FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
accountAt
** FinancialAccount
and
** FinancialOrganization
und
accountHolder
** FinancialAccount
and
** CognitiveAgent
(=>
(
instance
?Loan
DayLoan
)
(
and
(
agreementPeriod
?Loan ?Period)
(
duration
?Period
(
MeasureFn
1
DayDuration
))))
FinancialOntology.kif 1579-1583
Wenn
Agreement
ist ein
fall
von
DayLoan
%n{nicht},
dann
agreementPeriod
** Agreement
and
TimeInterval
und
dauer
von
** TimeInterval
ist 1
DayDuration
(s) %n{nicht}
(=>
(
property
?Option
ConventionalOption
)
(
exists
(?Number ?Period)
(
and
(
agreementPeriod
?Option ?Period)
(
duration
?Period
(
MeasureFn
?Number
MonthDuration
))
(
lessThan
?Number 39))))
FinancialOntology.kif 2574-2580
Wenn
Agreement
hat ein
attribut
ConventionalOption
%n{nicht},
dann es gibt
RealNumber
und
TimeInterval
um
agreementPeriod
** Agreement
and
** TimeInterval
und
dauer
von
** TimeInterval
ist
** RealNumber
MonthDuration
(s) %n{nicht} und
** RealNumber
ist
kleinerAls
39 %n{nicht}
(=>
(
property
?Option
ConventionalOption
)
(
exists
(?Number ?Period)
(
and
(
agreementPeriod
?Option ?Period)
(
duration
?Period
(
MeasureFn
?Number
MonthDuration
))
(
lessThan
?Number 9))))
FinancialOntology.kif 2558-2564
Wenn
Agreement
hat ein
attribut
ConventionalOption
%n{nicht},
dann es gibt
RealNumber
und
TimeInterval
um
agreementPeriod
** Agreement
and
** TimeInterval
und
dauer
von
** TimeInterval
ist
** RealNumber
MonthDuration
(s) %n{nicht} und
** RealNumber
ist
kleinerAls
9 %n{nicht}
(=>
(
property
?Order
DayOrder
)
(
and
(
agreementPeriod
?Order ?Period)
(
duration
?Period
(
MeasureFn
1
DayDuration
))))
FinancialOntology.kif 2940-2944
Wenn
Agreement
hat ein
attribut
DayOrder
%n{nicht},
dann
agreementPeriod
** Agreement
and
TimeInterval
und
dauer
von
** TimeInterval
ist 1
DayDuration
(s) %n{nicht}
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