Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
optionHolder
Sigma KEE - optionHolder
optionHolder
appearance as argument number 1
(
documentation
optionHolder
EnglishLanguage
"(
optionHolder
?Option ?Agent) means that ?Agent is the holder of the option.")
FinancialOntology.kif 2510-2511
(
domain
optionHolder
1
Agreement
)
FinancialOntology.kif 2508-2508
The number 1 argument of
option holder
is an
instance
of
agreement
(
domain
optionHolder
2
CognitiveAgent
)
FinancialOntology.kif 2509-2509
The number 2 argument of
option holder
is an
instance
of
cognitive agent
(
instance
optionHolder
BinaryPredicate
)
FinancialOntology.kif 2506-2506
option holder
is an
instance
of
binary predicate
(
subrelation
optionHolder
partyToAgreement
)
FinancialOntology.kif 2505-2505
option holder
is a
subrelation
of
party to agreement
appearance as argument number 2
(
format
ChineseLanguage
optionHolder
"%2 holds %1 ")
domainEnglishFormat.kif 4031-4031
(
format
ChineseTraditionalLanguage
optionHolder
"%2 holds %1 ")
domainEnglishFormat.kif 4030-4030
(
format
EnglishLanguage
optionHolder
"%2 holds %1")
domainEnglishFormat.kif 4029-4029
(
termFormat
ChineseLanguage
optionHolder
"期权持有人")
domainEnglishFormat.kif 42247-42247
(
termFormat
ChineseTraditionalLanguage
optionHolder
"期權持有人")
domainEnglishFormat.kif 42246-42246
(
termFormat
EnglishLanguage
optionHolder
"option holder")
domainEnglishFormat.kif 42245-42245
antecedent
(=>
(
and
(
premium
?Option ?Premium)
(
optionHolder
?Option ?Agent))
(
potentialLoss
?Agent ?Option ?Premium))
FinancialOntology.kif 2651-2655
If
a currency measure
is a
premium
of
an agreement
and
a cognitive agent
holds
the agreement
,
then
the cognitive agent
is
potential
loss
the agreement
for
the currency measure
(=>
(
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 2709-2721
If
an agreement
the
attribute
american style option
and
a cognitive agent
holds
the agreement
and
the agreement
has
expiration
a time point
,
then
the cognitive agent
has the
right
to perform there exists
an entity
such that
the entity
is an
instance
of
exercise an option
and
the agreement
is a
patient
of
the entity
and the
end
of the
time
of existence of
the entity
happens
before
the
end
of
the time point
(=>
(
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 2591-2607
If
an agreement
the
attribute
option
and
a cognitive agent
holds
the agreement
and
a currency measure
is a
strike
price of
the agreement
and
the agreement
has
expiration
a time interval
and
a financial instrument
is
price
the currency measure
for
an agent
and
the agent
is an
instance
of
time interval
and the
end
of
the agent
happens
before
the
beginning
of
the time interval
and
the financial instrument
is an
underlier
of
the agreement
,
then
the cognitive agent
has the
right
to perform the
class
described by
a symbolic string
(=>
(
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 2545-2561
If
an agreement
the
attribute
option
and
a cognitive agent
holds
the agreement
and
a currency measure
is a
strike
price of
the agreement
and
the agreement
has
expiration
a time interval
and
a financial instrument
is an
underlier
of
the agreement
and
the financial instrument
is
price
the currency measure
for
an agent
and
the agent
is an
instance
of
time interval
and the
end
of
the agent
happens
before
the
beginning
of
the time interval
,
then
the cognitive agent
has the
right
to perform the
class
described by
a symbolic string
(=>
(
optionHolder
?OPTION ?AGENT)
(
property
?OPTION
Option
))
FinancialOntology.kif 2513-2515
If
a cognitive agent
holds
an agreement
,
then
the agreement
the
attribute
option
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 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners
