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
strikePrice
の数値 1 引数は
FinancialInstrument
の
instance
では %n
(
domain
strikePrice
2
CurrencyMeasure
)
FinancialOntology.kif 2610-2610
strikePrice
の数値 2 引数は
通貨測定
の
instance
では %n
(
instance
strikePrice
BinaryPredicate
)
FinancialOntology.kif 2608-2608
strikePrice
は
2進述語
の
instance
では %n
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
実数
Agreement
は
CallOption
の
instance
では %n
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price の
測定単位
(s) and
AutonomousAgent
測定単位
は
UnitOfCurrency
の
instance
では %n
strikePrice
Agreement
and
実数
の
測定単位
(s)
FinancialInstrument
Price は
実数
より
less
では %n
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
実数
Agreement
は
CallOption
の
instance
では %n
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price の
測定単位
(s) and
AutonomousAgent
測定単位
は
UnitOfCurrency
の
instance
では %n
strikePrice
Agreement
and
実数
の
測定単位
(s)
実数
は
FinancialInstrument
Price より
less
では %n
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
通貨測定
Agreement
は
Option
の
instance
では %n
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price and
AutonomousAgent
strikePrice
Agreement
and
通貨測定
FinancialInstrument
Price は
通貨測定
と
equal
では %n
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
実数
Agreement
は
PutOption
の
instance
では %n
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price の
測定単位
(s) and
AutonomousAgent
測定単位
は
UnitOfCurrency
の
instance
では %n
strikePrice
Agreement
and
実数
の
測定単位
(s)
FinancialInstrument
Price は
実数
より
less
では %n
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
実数
Agreement
は
PutOption
の
instance
では %n
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price の
測定単位
(s) and
AutonomousAgent
測定単位
は
UnitOfCurrency
の
instance
では %n
strikePrice
Agreement
and
実数
の
測定単位
(s)
実数
は
FinancialInstrument
Price より
less
では %n
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
には
attribute
Option
%n{ない}
optionHolder
Agreement
and
認識エージェント
strikePrice
Agreement
and
通貨測定
agreementExpirationDate
Agreement
and
時間間隔
price
FinancialInstrument
,
通貨測定
and
AutonomousAgent
AutonomousAgent
は
時間間隔
の
instance
では %n
AutonomousAgent
の
end
は
時間間隔
の
beginning
の
before
に happens %n{ない}
underlier
Agreement
and
FinancialInstrument
認識エージェント
は
エンティティー
class
を 実行する
right
を 持って %n{ない}
(=>
(
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
には
attribute
Option
%n{ない}
optionHolder
Agreement
and
認識エージェント
strikePrice
Agreement
and
通貨測定
agreementExpirationDate
Agreement
and
時間間隔
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
通貨測定
and
AutonomousAgent
AutonomousAgent
は
時間間隔
の
instance
では %n
AutonomousAgent
の
end
は
時間間隔
の
beginning
の
before
に happens %n{ない}
認識エージェント
は
エンティティー
class
を 実行する
right
を 持って %n{ない}
(=>
(
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
には
attribute
Option
%n{ない}
optionSeller
Agreement
and
認識エージェント
strikePrice
Agreement
and
通貨測定
agreementExpirationDate
Agreement
and
時間間隔
price
FinancialInstrument
,
通貨測定
and
AutonomousAgent
AutonomousAgent
は
時間間隔
の
instance
では %n
AutonomousAgent
の
end
は
時間間隔
の
beginning
の
before
に happens %n{ない}
underlier
Agreement
and
FinancialInstrument
認識エージェント
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
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
には
attribute
Option
%n{ない}
optionSeller
Agreement
and
認識エージェント
strikePrice
Agreement
and
通貨測定
agreementExpirationDate
Agreement
and
時間間隔
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
通貨測定
and
AutonomousAgent
AutonomousAgent
は
時間間隔
の
instance
では %n
AutonomousAgent
の
end
は
時間間隔
の
beginning
の
before
に happens %n{ない}
認識エージェント
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
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
工程
は
ButterflySpread
の
instance
では %n
FinancialInstrument
FinancialInstrument
,
FinancialInstrument
,
FinancialInstrument
,
実数
,
実数
,
実数
,
実数
and
測定単位
FinancialInstrument
は
CallOption
の
instance
では %n
FinancialInstrument
は
CallOption
の
instance
では %n
FinancialInstrument
は
CallOption
の
instance
では %n
FinancialInstrument
は
CallOption
の
instance
では %n
FinancialInstrument
は
工程
% の
subprocess
では %n
FinancialInstrument
は
工程
% の
subprocess
では %n
FinancialInstrument
は
工程
% の
subprocess
では %n
FinancialInstrument
は
工程
% の
subprocess
では %n
測定単位
は
UnitOfCurrency
の
instance
では %n
strikePrice
FinancialInstrument
and
実数
の
測定単位
(s)
strikePrice
FinancialInstrument
and
実数
の
測定単位
(s)
strikePrice
FinancialInstrument
and
実数
の
測定単位
(s)
strikePrice
FinancialInstrument
and
実数
の
測定単位
(s)
実数
は
実数
より
less
では %n
実数
は
実数
より
less
では %n
実数
は
実数
より
greater
では %n
実数
は
実数
より
greater
では %n
(=>
(
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
オブジェクト
は
Straddle
の
instance
では %n
記号文字列
通貨測定
,
時点
,
整数
and
記号文字列
記号文字列
で記述される
class
の
instances
の数 は
整数
と
equal
では %n
記号文字列
で記述される
class
の
instances
の数 は
整数
と
equal
では %n
Agreement
Agreement
は
Option
の
instance
では %n
Agreement
は
オブジェクト
の
part
では %n
agreementExpirationDate
Agreement
and
時点
strikePrice
Agreement
and
通貨測定
(=>
(
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
には
attribute
Option
%n{ない}
属性
時点
,
FinancialInstrument
and
通貨測定
属性
は
CallOption
と
equal
では %n
属性
は
PutOption
と
equal
では %n
Agreement
には
attribute
属性
%n{ない}
agreementExpirationDate
Agreement
and
時点
strikePrice
Agreement
and
通貨測定
underlier
Agreement
and
FinancialInstrument
FinancialInstrument
の
measure
は 100 の
ShareUnit
(s) では %n
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