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
Il numero 1 argomenti di
strikePrice
è un
istanza
di
FinancialInstrument
(
domain
strikePrice
2
CurrencyMeasure
)
FinancialOntology.kif 2610-2610
Il numero 2 argomenti di
strikePrice
è un
istanza
di
MisuraMonetaria
(
instance
strikePrice
BinaryPredicate
)
FinancialOntology.kif 2608-2608
strikePrice
è un'
istanza
di
PredicatoBinario
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
NumeroReale
Agreement
è un'
istanza
di
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
strikePrice
Agreement
and
NumeroReale
Unit�DiMisura
(s
FinancialInstrument
Price è
meno
di
NumeroReale
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
NumeroReale
Agreement
è un'
istanza
di
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
strikePrice
Agreement
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di
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
MisuraMonetaria
Agreement
è un'
istanza
di
Option
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price and
AutonomousAgent
strikePrice
Agreement
and
MisuraMonetaria
FinancialInstrument
Price is
uguale
a
MisuraMonetaria
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
NumeroReale
Agreement
è un'
istanza
di
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
strikePrice
Agreement
and
NumeroReale
Unit�DiMisura
(s
FinancialInstrument
Price è
meno
di
NumeroReale
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
NumeroReale
Agreement
è un'
istanza
di
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
strikePrice
Agreement
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di
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
ha un
attributo
Option
optionHolder
Agreement
and
AgenteCognitivo
strikePrice
Agreement
and
MisuraMonetaria
agreementExpirationDate
Agreement
and
IntervalloTemporale
price
FinancialInstrument
,
MisuraMonetaria
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
IntervalloTemporale
la
fine
di
AutonomousAgent
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
underlier
Agreement
and
FinancialInstrument
AgenteCognitivo
ha il
diritto
di compiere la
classe
descritta da
Stringa
(=>
(
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
ha un
attributo
Option
optionHolder
Agreement
and
AgenteCognitivo
strikePrice
Agreement
and
MisuraMonetaria
agreementExpirationDate
Agreement
and
IntervalloTemporale
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
MisuraMonetaria
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
IntervalloTemporale
la
fine
di
AutonomousAgent
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
AgenteCognitivo
ha il
diritto
di compiere la
classe
descritta da
Stringa
(=>
(
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
ha un
attributo
Option
optionSeller
Agreement
and
AgenteCognitivo
strikePrice
Agreement
and
MisuraMonetaria
agreementExpirationDate
Agreement
and
IntervalloTemporale
price
FinancialInstrument
,
MisuraMonetaria
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
IntervalloTemporale
la
fine
di
AutonomousAgent
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
underlier
Agreement
and
FinancialInstrument
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
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
ha un
attributo
Option
optionSeller
Agreement
and
AgenteCognitivo
strikePrice
Agreement
and
MisuraMonetaria
agreementExpirationDate
Agreement
and
IntervalloTemporale
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
MisuraMonetaria
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
IntervalloTemporale
la
fine
di
AutonomousAgent
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
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
Processo
è un'
istanza
di
ButterflySpread
FinancialInstrument
FinancialInstrument
,
FinancialInstrument
,
FinancialInstrument
,
NumeroReale
,
NumeroReale
,
NumeroReale
,
NumeroReale
and
Unit�DiMisura
FinancialInstrument
è un'
istanza
di
CallOption
FinancialInstrument
è un'
istanza
di
CallOption
FinancialInstrument
è un'
istanza
di
CallOption
FinancialInstrument
è un'
istanza
di
CallOption
FinancialInstrument
è un
sottoprocesso
di
Processo
FinancialInstrument
è un
sottoprocesso
di
Processo
FinancialInstrument
è un
sottoprocesso
di
Processo
FinancialInstrument
è un
sottoprocesso
di
Processo
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
strikePrice
FinancialInstrument
and
NumeroReale
Unit�DiMisura
(s
strikePrice
FinancialInstrument
and
NumeroReale
Unit�DiMisura
(s
strikePrice
FinancialInstrument
and
NumeroReale
Unit�DiMisura
(s
strikePrice
FinancialInstrument
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di
NumeroReale
NumeroReale
è
meno
di
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
Oggetto
è un'
istanza
di
Straddle
Stringa
MisuraMonetaria
,
PuntoTemporale
,
NumeroIntero
and
Stringa
il numero di
istanzia
in la
classe
descritta da
Stringa
is
uguale
a
NumeroIntero
il numero di
istanzia
in la
classe
descritta da
Stringa
is
uguale
a
NumeroIntero
Agreement
Agreement
è un'
istanza
di
Option
Agreement
è una
parte
di
Oggetto
agreementExpirationDate
Agreement
and
PuntoTemporale
strikePrice
Agreement
and
MisuraMonetaria
(=>
(
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
ha un
attributo
Option
Attributo
PuntoTemporale
,
FinancialInstrument
and
MisuraMonetaria
Attributo
is
uguale
a
CallOption
Attributo
is
uguale
a
PutOption
Agreement
ha un
attributo
Attributo
agreementExpirationDate
Agreement
and
PuntoTemporale
strikePrice
Agreement
and
MisuraMonetaria
underlier
Agreement
and
FinancialInstrument
la
misura
FinancialInstrument
è 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