Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
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 2596-2597
(
domain
optionHolder
1
Agreement
)
FinancialOntology.kif 2594-2594
The number 1 argument of
option holder
is an
instance
of
agreement
(
domain
optionHolder
2
CognitiveAgent
)
FinancialOntology.kif 2595-2595
The number 2 argument of
option holder
is an
instance
of
cognitive agent
(
instance
optionHolder
BinaryPredicate
)
FinancialOntology.kif 2592-2592
option holder
is an
instance
of
binary predicate
(
subrelation
optionHolder
partyToAgreement
)
FinancialOntology.kif 2591-2591
option holder
is a
subrelation
of
party to agreement
appearance as argument number 2
(
format
ChineseLanguage
optionHolder
"%2 holds %1 ")
domainEnglishFormat.kif 4035-4035
(
format
ChineseTraditionalLanguage
optionHolder
"%2 holds %1 ")
domainEnglishFormat.kif 4034-4034
(
format
EnglishLanguage
optionHolder
"%2 holds %1")
domainEnglishFormat.kif 4033-4033
(
termFormat
ChineseLanguage
optionHolder
"期权持有人")
domainEnglishFormat.kif 42337-42337
(
termFormat
ChineseTraditionalLanguage
optionHolder
"期權持有人")
domainEnglishFormat.kif 42336-42336
(
termFormat
EnglishLanguage
optionHolder
"option holder")
domainEnglishFormat.kif 42335-42335
antecedent
(=>
(
and
(
premium
?Option ?Premium)
(
optionHolder
?Option ?Agent))
(
potentialLoss
?Agent ?Option ?Premium))
FinancialOntology.kif 2737-2741
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 2795-2807
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 2677-2693
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 2631-2647
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 2599-2601
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 3.0 is
open source software
produced by
Articulate Software
and its partners
