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
域
執行價格
, 1 and
金融工具
(
domain
strikePrice
2
CurrencyMeasure
)
FinancialOntology.kif 2610-2610
域
執行價格
, 2 and
CurrencyMeasure
(
instance
strikePrice
BinaryPredicate
)
FinancialOntology.kif 2608-2608
例
執行價格
and
BinaryPredicate
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
金融工具
金融工具
Price and
RealNumber
例
協議
and
看漲期權
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
測量
金融工具
Price and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
測量
RealNumber
and
UnitOfMeasure
是
協議
的
strike
價錢
少於
金融工具
Price and
RealNumber
AutonomousAgent
是
協議
的
out
資兂短缺
(<=>
(
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
金融工具
金融工具
Price and
RealNumber
例
協議
and
看漲期權
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
測量
金融工具
Price and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
測量
RealNumber
and
UnitOfMeasure
是
協議
的
strike
價錢
少於
RealNumber
and
金融工具
Price
AutonomousAgent
是
協議
的
in
金錢
(<=>
(
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
金融工具
金融工具
Price and
CurrencyMeasure
例
協議
and
選項
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
金融工具
Price
CurrencyMeasure
是
協議
的
strike
價錢
等於
金融工具
Price and
CurrencyMeasure
AutonomousAgent
是
協議
at
的錢
(<=>
(
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
金融工具
金融工具
Price and
RealNumber
例
協議
and
放選項
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
測量
金融工具
Price and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
測量
RealNumber
and
UnitOfMeasure
是
協議
的
strike
價錢
少於
金融工具
Price and
RealNumber
AutonomousAgent
是
協議
的
in
金錢
(<=>
(
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
金融工具
金融工具
Price and
RealNumber
例
協議
and
放選項
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
測量
金融工具
Price and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
測量
RealNumber
and
UnitOfMeasure
是
協議
的
strike
價錢
少於
RealNumber
and
金融工具
Price
AutonomousAgent
是
協議
的
out
資兂短缺
(=>
(
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
屬性
協議
and
選項
CognitiveAgent
holds
協議
CurrencyMeasure
是
協議
的
strike
價錢
協議
有
expiration
TimeInterval
金融工具
是 對於
AutonomousAgent
的
price
CurrencyMeasure
例
AutonomousAgent
and
TimeInterval
之前
結束
AutonomousAgent
and
開始
TimeInterval
金融工具
是
協議
的
underlier
堅持正確
卡帕
SymbolicString
and
例
SymbolicString
and
Selling
患者
SymbolicString
and
金融工具
時間
SymbolicString
and
AutonomousAgent
測量
金融工具
and
測量
100 and
ShareUnit
agent
SymbolicString
and
CognitiveAgent
and
CognitiveAgent
(=>
(
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
屬性
協議
and
選項
CognitiveAgent
holds
協議
CurrencyMeasure
是
協議
的
strike
價錢
協議
有
expiration
TimeInterval
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
CurrencyMeasure
例
AutonomousAgent
and
TimeInterval
之前
結束
AutonomousAgent
and
開始
TimeInterval
堅持正確
卡帕
SymbolicString
and
例
SymbolicString
and
Buying
患者
SymbolicString
and
金融工具
時間
SymbolicString
and
AutonomousAgent
測量
金融工具
and
測量
100 and
ShareUnit
agent
SymbolicString
and
CognitiveAgent
and
CognitiveAgent
(=>
(
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
屬性
協議
and
選項
CognitiveAgent
sells
協議
CurrencyMeasure
是
協議
的
strike
價錢
協議
有
expiration
TimeInterval
金融工具
是 對於
AutonomousAgent
的
price
CurrencyMeasure
例
AutonomousAgent
and
TimeInterval
之前
結束
AutonomousAgent
and
開始
TimeInterval
金融工具
是
協議
的
underlier
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
Buying
患者
SymbolicString
and
金融工具
時間
SymbolicString
and
AutonomousAgent
測量
金融工具
and
測量
100 and
ShareUnit
agent
SymbolicString
and
CognitiveAgent
and
CognitiveAgent
(=>
(
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
屬性
協議
and
選項
CognitiveAgent
sells
協議
CurrencyMeasure
是
協議
的
strike
價錢
協議
有
expiration
TimeInterval
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
CurrencyMeasure
例
AutonomousAgent
and
TimeInterval
之前
結束
AutonomousAgent
and
開始
TimeInterval
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
Selling
患者
SymbolicString
and
金融工具
時間
SymbolicString
and
AutonomousAgent
測量
金融工具
and
測量
100 and
ShareUnit
agent
SymbolicString
and
entity
and
CognitiveAgent
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
例
Process
and
蝴蝶傳播
金融工具
金融工具
,
金融工具
,
金融工具
,
RealNumber
,
RealNumber
,
RealNumber
,
RealNumber
and
UnitOfMeasure
例
金融工具
and
看漲期權
例
金融工具
and
看漲期權
例
金融工具
and
看漲期權
例
金融工具
and
看漲期權
子過程
金融工具
and
Process
子過程
金融工具
and
Process
子過程
金融工具
and
Process
子過程
金融工具
and
Process
例
UnitOfMeasure
and
UnitOfCurrency
測量
RealNumber
and
UnitOfMeasure
是
金融工具
的
strike
價錢
測量
RealNumber
and
UnitOfMeasure
是
金融工具
的
strike
價錢
測量
RealNumber
and
UnitOfMeasure
是
金融工具
的
strike
價錢
測量
RealNumber
and
UnitOfMeasure
是
金融工具
的
strike
價錢
少於
RealNumber
and
RealNumber
少於
RealNumber
and
RealNumber
比較多
RealNumber
and
RealNumber
比較多
RealNumber
and
RealNumber
(=>
(
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
例
Object
and
跨
SymbolicString
CurrencyMeasure
,
TimePoint
,
Integer
and
SymbolicString
等於
基數
卡帕
SymbolicString
and
例
SymbolicString
and
看漲期權
部分
SymbolicString
and
Object
and
Integer
等於
基數
卡帕
SymbolicString
and
例
SymbolicString
and
放選項
部分
SymbolicString
and
Object
and
Integer
協議
例
協議
and
選項
部分
協議
and
Object
協議
有
expiration
TimePoint
CurrencyMeasure
是
協議
的
strike
價錢
(=>
(
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
屬性
協議
and
選項
Attribute
TimePoint
,
金融工具
and
CurrencyMeasure
等於
Attribute
and
看漲期權
等於
Attribute
and
放選項
屬性
協議
and
Attribute
協議
有
expiration
TimePoint
CurrencyMeasure
是
協議
的
strike
價錢
金融工具
是
協議
的
underlier
測量
金融工具
and
測量
100 and
ShareUnit
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