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
strikePrice
Sigma KEE - strikePrice
strikePrice
appearance as argument number 1
(
documentation
strikePrice
EnglishLanguage
"The specified price on an option contract at which the contract may be exercised, whereby a call option buyer can buy the underlier or a put option buyer can sell the underlier.")
FinancialOntology.kif 2611-2613
(
domain
strikePrice
1
FinancialInstrument
)
FinancialOntology.kif 2609-2609
Le nombre 1 argument de
strikePrice
est une
instance
de
FinancialInstrument
(
domain
strikePrice
2
CurrencyMeasure
)
FinancialOntology.kif 2610-2610
Le nombre 2 argument de
strikePrice
est une
instance
de
mesure de devise
(
instance
strikePrice
BinaryPredicate
)
FinancialOntology.kif 2608-2608
strikePrice
est une
instance
de
pr�dicat binaire
appearance as argument number 2
(
format
ChineseLanguage
strikePrice
"%2 %n 是 %1 的 strike 价钱")
domainEnglishFormat.kif 2383-2383
(
format
ChineseTraditionalLanguage
strikePrice
"%2 %n 是 %1 的 strike 價錢")
domainEnglishFormat.kif 2382-2382
(
format
EnglishLanguage
strikePrice
"%2 is %n a strike price of %1")
domainEnglishFormat.kif 2381-2381
(
termFormat
ChineseLanguage
strikePrice
"执行价格")
domainEnglishFormat.kif 55640-55640
(
termFormat
ChineseTraditionalLanguage
strikePrice
"執行價格")
domainEnglishFormat.kif 55639-55639
(
termFormat
EnglishLanguage
strikePrice
"strike price")
domainEnglishFormat.kif 55638-55638
antecedent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StockPrice ?StrikePrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 3051-3062
FinancialInstrument
FinancialInstrument
Price and
nombre r�el
Agreement
est une
instance
de
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
strikePrice
Agreement
and
nombre r�el
unit� de mesure
(s)
FinancialInstrument
Price est
moins
que
nombre r�el
outOfTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StrikePrice ?StockPrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 3002-3013
FinancialInstrument
FinancialInstrument
Price and
nombre r�el
Agreement
est une
instance
de
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
strikePrice
Agreement
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
que
FinancialInstrument
Price
inTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
Option
)
(
underlier
?Option ?Stock)
(
price
?Stock ?StockPrice ?Time)
(
strikePrice
?Option ?StrikePrice)
(
equal
?StockPrice ?StrikePrice)))
(
atTheMoney
?Option ?Time))
FinancialOntology.kif 3034-3042
FinancialInstrument
FinancialInstrument
Price and
mesure de devise
Agreement
est une
instance
de
Option
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price and
AutonomousAgent
strikePrice
Agreement
and
mesure de devise
FinancialInstrument
Price est
mesure de devise
atTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StockPrice ?StrikePrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 3015-3026
FinancialInstrument
FinancialInstrument
Price and
nombre r�el
Agreement
est une
instance
de
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
strikePrice
Agreement
and
nombre r�el
unit� de mesure
(s)
FinancialInstrument
Price est
moins
que
nombre r�el
inTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StrikePrice ?StockPrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 3064-3075
FinancialInstrument
FinancialInstrument
Price and
nombre r�el
Agreement
est une
instance
de
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
strikePrice
Agreement
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
que
FinancialInstrument
Price
outOfTheMoney
Agreement
and
AutonomousAgent
(=>
(
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
Agreement
a un
attribute
Option
optionHolder
Agreement
and
agent cognitif
strikePrice
Agreement
and
mesure de devise
agreementExpirationDate
Agreement
and
interval temporel
price
FinancialInstrument
,
mesure de devise
and
AutonomousAgent
AutonomousAgent
est une
instance
de
interval temporel
la
fin
de
AutonomousAgent
se produit
avant
le
d
�but de
interval temporel
underlier
Agreement
and
FinancialInstrument
agent cognitif
a le
droit
d'executer la
classe
d�crite par
cha�ne sympbolique
(=>
(
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
Agreement
a un
attribute
Option
optionHolder
Agreement
and
agent cognitif
strikePrice
Agreement
and
mesure de devise
agreementExpirationDate
Agreement
and
interval temporel
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
mesure de devise
and
AutonomousAgent
AutonomousAgent
est une
instance
de
interval temporel
la
fin
de
AutonomousAgent
se produit
avant
le
d
�but de
interval temporel
agent cognitif
a le
droit
d'executer la
classe
d�crite par
cha�ne sympbolique
(=>
(
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
Agreement
a un
attribute
Option
optionSeller
Agreement
and
agent cognitif
strikePrice
Agreement
and
mesure de devise
agreementExpirationDate
Agreement
and
interval temporel
price
FinancialInstrument
,
mesure de devise
and
AutonomousAgent
AutonomousAgent
est une
instance
de
interval temporel
la
fin
de
AutonomousAgent
se produit
avant
le
d
�but de
interval temporel
underlier
Agreement
and
FinancialInstrument
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
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
Agreement
a un
attribute
Option
optionSeller
Agreement
and
agent cognitif
strikePrice
Agreement
and
mesure de devise
agreementExpirationDate
Agreement
and
interval temporel
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
mesure de devise
and
AutonomousAgent
AutonomousAgent
est une
instance
de
interval temporel
la
fin
de
AutonomousAgent
se produit
avant
le
d
�but de
interval temporel
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
consequent
(=>
(
instance
?Spread
ButterflySpread
)
(
exists
(?Call1 ?Call2 ?Call3 ?Call4 ?Price1 ?Price2 ?Price3 ?Price4 ?U)
(
and
(
instance
?Call1
CallOption
)
(
instance
?Call2
CallOption
)
(
instance
?Call3
CallOption
)
(
instance
?Call4
CallOption
)
(
subProcess
?Call1 ?Spread)
(
subProcess
?Call2 ?Spread)
(
subProcess
?Call3 ?Spread)
(
subProcess
?Call4 ?Spread)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Call1
(
MeasureFn
?Price1 ?U))
(
strikePrice
?Call2
(
MeasureFn
?Price2 ?U))
(
strikePrice
?Call3
(
MeasureFn
?Price3 ?U))
(
strikePrice
?Call4
(
MeasureFn
?Price4 ?U))
(
lessThan
?Price1 ?Price2)
(
lessThan
?Price1 ?Price3)
(
greaterThan
?Price4 ?Price2)
(
greaterThan
?Price4 ?Price2))))
FinancialOntology.kif 3119-3143
Processus
est une
instance
de
ButterflySpread
FinancialInstrument
FinancialInstrument
,
FinancialInstrument
,
FinancialInstrument
,
nombre r�el
,
nombre r�el
,
nombre r�el
,
nombre r�el
and
unit� de mesure
FinancialInstrument
est une
instance
de
CallOption
FinancialInstrument
est une
instance
de
CallOption
FinancialInstrument
est une
instance
de
CallOption
FinancialInstrument
est une
instance
de
CallOption
FinancialInstrument
est un
sous
-processus de
processus
FinancialInstrument
est un
sous
-processus de
processus
FinancialInstrument
est un
sous
-processus de
processus
FinancialInstrument
est un
sous
-processus de
processus
unit� de mesure
est une
instance
de
UnitOfCurrency
strikePrice
FinancialInstrument
and
nombre r�el
unit� de mesure
(s)
strikePrice
FinancialInstrument
and
nombre r�el
unit� de mesure
(s)
strikePrice
FinancialInstrument
and
nombre r�el
unit� de mesure
(s)
strikePrice
FinancialInstrument
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
que
nombre r�el
nombre r�el
est
moins
que
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
Objet
est une
instance
de
Straddle
cha�ne sympbolique
mesure de devise
,
point temporel
,
nombre entier
and
cha�ne sympbolique
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est
nombre entier
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est
nombre entier
Agreement
Agreement
est une
instance
de
Option
Agreement
est une
partie
de
objet
agreementExpirationDate
Agreement
and
point temporel
strikePrice
Agreement
and
mesure de devise
(=>
(
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
Agreement
a un
attribute
Option
attribut
point temporel
,
FinancialInstrument
and
mesure de devise
attribut
est
CallOption
attribut
est
PutOption
Agreement
a un
attribute
attribut
agreementExpirationDate
Agreement
and
point temporel
strikePrice
Agreement
and
mesure de devise
underlier
Agreement
and
FinancialInstrument
la
mesure
de
FinancialInstrument
est 100
ShareUnit
(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