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
agreementExpirationDate
Sigma KEE - agreementExpirationDate
agreementExpirationDate
appearance as argument number 1
(
documentation
agreementExpirationDate
EnglishLanguage
"(
agreementExpirationDate
?AGREEMENT ?ENDDATE) means that ?ENDDATE is the date on which ?AGREEMENT is no longer
ActiveAgreement
.")
Mid-level-ontology.kif 14051-14053
(
domain
agreementExpirationDate
1
Agreement
)
Mid-level-ontology.kif 14049-14049
Die Zahl 1 Argument von
agreementExpirationDate
ist ein
fall
von
Agreement
%n{nicht}
(
domain
agreementExpirationDate
2
TimePoint
)
Mid-level-ontology.kif 14050-14050
Die Zahl 2 Argument von
agreementExpirationDate
ist ein
fall
von
TimePoint
%n{nicht}
(
instance
agreementExpirationDate
BinaryPredicate
)
Mid-level-ontology.kif 14048-14048
agreementExpirationDate
ist ein
fall
von
BinaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
agreementExpirationDate
"%1 有 expiration %2 ")
domainEnglishFormat.kif 2730-2730
(
format
ChineseTraditionalLanguage
agreementExpirationDate
"%1 有 expiration %2 ")
domainEnglishFormat.kif 2729-2729
(
format
EnglishLanguage
agreementExpirationDate
"%1 has expiration %2")
domainEnglishFormat.kif 2728-2728
(
subrelation
maturityDate
agreementExpirationDate
)
FinancialOntology.kif 630-630
maturityDate
ist eine
teilrelation
von
agreementExpirationDate
(
termFormat
ChineseLanguage
agreementExpirationDate
"截止日期")
domainEnglishFormat.kif 22822-22822
(
termFormat
ChineseTraditionalLanguage
agreementExpirationDate
"截止日期")
domainEnglishFormat.kif 22821-22821
(
termFormat
EnglishLanguage
agreementExpirationDate
"expiration date")
domainEnglishFormat.kif 22820-22820
antecedent
(=>
(
agreementExpirationDate
?AGREEMENT ?ENDDATE)
(
holdsDuring
(
FutureFn
?ENDDATE)
(
not
(
property
?AGREEMENT
ActiveAgreement
))))
Mid-level-ontology.kif 14055-14058
Wenn
agreementExpirationDate
Agreement
and
TimePoint
,
dann
** Agreement
hat ein
attribut
ActiveAgreement
nicht haelt
waehrend
nach
** TimePoint
%n{nicht}
(=>
(
and
(
property
?Option
AmericanStyleOption
)
(
optionHolder
?Option ?Agent)
(
agreementExpirationDate
?Option ?Day))
(
holdsRight
(
exists
(?Exercise)
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
patient
?Exercise ?Option)
(
before
(
EndFn
(
WhenFn
?Exercise))
(
EndFn
?Day)))) ?Agent))
FinancialOntology.kif 2788-2800
Wenn
Agreement
hat ein
attribut
AmericanStyleOption
%n{nicht} und
optionHolder
** Agreement
and
CognitiveAgent
und
agreementExpirationDate
** Agreement
and
TimePoint
,
dann
** CognitiveAgent
hat das
Recht
, es gibt
entity
um
** entity
ist ein
fall
von
ExerciseAnOption
%n{nicht} und
** Agreement
ist ein
patient
von
** entity
%n{nicht} und das
ende
von die
zeit
des Bestehens von
** entity
geschieht
vor
das
ende
von
** TimePoint
%n{nicht} durchzufuehren %n{nicht}
(=>
(
and
(
property
?Option
EuropeanStyleOption
)
(
agreementExpirationDate
?Option ?Date))
(
exists
(?Period ?Time ?Exercise)
(
and
(
instance
?Period
TimeInterval
)
(
equal
(
EndFn
?Period) ?Date)
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
equal
(
WhenFn
?Exercise) ?Time))
(
temporalPart
?Time ?Period)))))
FinancialOntology.kif 2808-2820
Wenn
Agreement
hat ein
attribut
EuropeanStyleOption
%n{nicht} und
agreementExpirationDate
** Agreement
and
TimePoint
,
dann es gibt
TimeInterval
,
** TimeInterval
, and und
Physical
um
** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und das
ende
von
** TimeInterval
ist gleich
** TimePoint
%n{nicht} und
wenn
** Physical
ist ein
fall
von
ExerciseAnOption
%n{nicht} und die
zeit
des Bestehens von
** Physical
ist gleich
** ** TimeInterval
%n{nicht},
dann
** ** TimeInterval
ist ein
teil
von
** TimeInterval
%n{nicht}
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsRight
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Agent))
FinancialOntology.kif 2669-2685
Wenn
Agreement
hat ein
attribut
Option
%n{nicht} und
optionHolder
** Agreement
and
CognitiveAgent
und
strikePrice
** Agreement
and
CurrencyMeasure
und
agreementExpirationDate
** Agreement
and
TimeInterval
und
price
FinancialInstrument
,
** CurrencyMeasure
and
AutonomousAgent
und
** AutonomousAgent
ist ein
fall
von
TimeInterval
%n{nicht} und das
ende
von
** AutonomousAgent
geschieht
vor
der
anfang
von
** TimeInterval
%n{nicht} und
underlier
** Agreement
and
** FinancialInstrument
,
dann
** CognitiveAgent
hat das
Recht
, die
kategorie
die
SymbolicString
beschreibt durchzufuehren %n{nicht}
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsRight
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2623-2639
Wenn
Agreement
hat ein
attribut
Option
%n{nicht} und
optionHolder
** Agreement
and
CognitiveAgent
und
strikePrice
** Agreement
and
CurrencyMeasure
und
agreementExpirationDate
** Agreement
and
TimeInterval
und
underlier
** Agreement
and
FinancialInstrument
und
price
** FinancialInstrument
,
** CurrencyMeasure
and
AutonomousAgent
und
** AutonomousAgent
ist ein
fall
von
TimeInterval
%n{nicht} und das
ende
von
** AutonomousAgent
geschieht
vor
der
anfang
von
** TimeInterval
%n{nicht},
dann
** CognitiveAgent
hat das
Recht
, die
kategorie
die
SymbolicString
beschreibt durchzufuehren %n{nicht}
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2687-2703
Wenn
Agreement
hat ein
attribut
Option
%n{nicht} und
optionSeller
** Agreement
and
CognitiveAgent
und
strikePrice
** Agreement
and
CurrencyMeasure
und
agreementExpirationDate
** Agreement
and
TimeInterval
und
price
FinancialInstrument
,
** CurrencyMeasure
and
AutonomousAgent
und
** AutonomousAgent
ist ein
fall
von
TimeInterval
%n{nicht} und das
ende
von
** AutonomousAgent
geschieht
vor
der
anfang
von
** TimeInterval
%n{nicht} und
underlier
** Agreement
and
** FinancialInstrument
,
dann
** CognitiveAgent
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Seller)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Seller))
FinancialOntology.kif 2641-2659
Wenn
Agreement
hat ein
attribut
Option
%n{nicht} und
optionSeller
** Agreement
and
CognitiveAgent
und
strikePrice
** Agreement
and
CurrencyMeasure
und
agreementExpirationDate
** Agreement
and
TimeInterval
und
underlier
** Agreement
and
FinancialInstrument
und
price
** FinancialInstrument
,
** CurrencyMeasure
and
AutonomousAgent
und
** AutonomousAgent
ist ein
fall
von
TimeInterval
%n{nicht} und das
ende
von
** AutonomousAgent
geschieht
vor
der
anfang
von
** TimeInterval
%n{nicht},
dann
** CognitiveAgent
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
consequent
(=>
(
instance
?Straddle
Straddle
)
(
exists
(?Call ?Price ?Date ?Number ?Put)
(
and
(
equal
(
CardinalityFn
(
KappaFn
?Call
(
and
(
instance
?Call
CallOption
)
(
part
?Call ?Straddle)))) ?Number)
(
equal
(
CardinalityFn
(
KappaFn
?Put
(
and
(
instance
?Put
PutOption
)
(
part
?Put ?Straddle)))) ?Number)
(
forall
(?Option)
(=>
(
and
(
instance
?Option
Option
)
(
part
?Option ?Straddle))
(
and
(
agreementExpirationDate
?Option ?Date)
(
strikePrice
?Option ?Price)))))))
FinancialOntology.kif 3149-3173
Wenn
Object
ist ein
fall
von
Straddle
%n{nicht},
dann es gibt
SymbolicString
,
CurrencyMeasure
,, ,
TimePoint
,, ,
Integer
, and und
** SymbolicString
um die Zahl
Faellen
in die
kategorie
die
** SymbolicString
beschreibt ist gleich
** Integer
%n{nicht} und die Zahl
Faellen
in die
kategorie
die
** ** SymbolicString
beschreibt ist gleich
** Integer
%n{nicht} und fuer alle
Agreement
wenn
** Agreement
ist ein
fall
von
Option
%n{nicht} und
** Agreement
ist ein
teil
von
** Object
%n{nicht},
dann
agreementExpirationDate
** Agreement
and
** TimePoint
und
strikePrice
** Agreement
and
** CurrencyMeasure
(=>
(
property
?Option
Option
)
(
exists
(?Type ?Date ?Stock ?Price)
(
and
(
or
(
equal
?Type
CallOption
)
(
equal
?Type
PutOption
))
(
property
?Option ?Type)
(
agreementExpirationDate
?Option ?Date)
(
strikePrice
?Option ?Price)
(
underlier
?Option ?Stock)
(
measure
?Stock
(
MeasureFn
100
ShareUnit
)))))
FinancialOntology.kif 2540-2551
Wenn
Agreement
hat ein
attribut
Option
%n{nicht},
dann es gibt
Attribute
,
TimePoint
,, ,
FinancialInstrument
, and und
CurrencyMeasure
um
** Attribute
ist gleich
CallOption
%n{nicht} oder
** Attribute
ist gleich
PutOption
%n{nicht} und
** Agreement
hat ein
attribut
** Attribute
%n{nicht} und
agreementExpirationDate
** Agreement
and
** TimePoint
und
strikePrice
** Agreement
and
** CurrencyMeasure
und
underlier
** Agreement
and
** FinancialInstrument
und das
mass
von
** FinancialInstrument
ist 100
ShareUnit
(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