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
underlier
Sigma KEE - underlier
underlier
appearance as argument number 1
(
documentation
underlier
EnglishLanguage
"(
underlier
?Option ?Instrument) means that ?Instrument is a security which is subject to delivery upon exercise of ?Option.")
FinancialOntology.kif 2741-2743
(
domain
underlier
1
Agreement
)
FinancialOntology.kif 2739-2739
底层证券
的 1 数量 是
协议
的
instance
(
domain
underlier
2
FinancialInstrument
)
FinancialOntology.kif 2740-2740
底层证券
的 2 数量 是
金融工具
的
instance
(
instance
underlier
BinaryPredicate
)
FinancialOntology.kif 2737-2737
底层证券
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
underlier
"%2 %n 是 %1 的
underlier
")
domainEnglishFormat.kif 2563-2563
(
format
ChineseTraditionalLanguage
underlier
"%2 %n 是 %1 的
underlier
")
domainEnglishFormat.kif 2562-2562
(
format
EnglishLanguage
underlier
"%2 is %n an
underlier
of %1")
domainEnglishFormat.kif 2561-2561
(
termFormat
ChineseLanguage
underlier
"底层证券")
domainEnglishFormat.kif 59888-59888
(
termFormat
ChineseTraditionalLanguage
underlier
"底層證券")
domainEnglishFormat.kif 59887-59887
(
termFormat
EnglishLanguage
underlier
"underlier")
domainEnglishFormat.kif 59886-59886
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 和
另一个 实数
这样
协议
是
看涨期权
的
instance
和
那个 金融工具
是
那个 协议
的
underlier
和
那个 金融工具
是 对于
施事体
的
price
那个 金融工具
Price
测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 另外 实数
那个 测量单位
是
那个 协议
的
strike
价钱 和
那个 金融工具
Price 是
lessThan
那个 另外 实数
若且唯若
那个 施事体
是
那个 协议
的
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 和
另一个 实数
这样
协议
是
看涨期权
的
instance
和
那个 金融工具
是
那个 协议
的
underlier
和
那个 金融工具
是 对于
施事体
的
price
那个 金融工具
Price
测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 另外 实数
那个 测量单位
是
那个 协议
的
strike
价钱 和
那个 另外 实数
是
lessThan
那个 金融工具
Price 若且唯若
那个 施事体
是
那个 协议
的
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 和
另一个 货币测量
这样
协议
是
选项
的
instance
和
那个 金融工具
是
那个 协议
的
underlier
和
那个 金融工具
是 对于
施事体
的
price
那个 金融工具
Price 和
那个 另外 货币测量
是
那个 协议
的
strike
价钱 和
那个 金融工具
Price
equal
那个 另外 货币测量
若且唯若
那个 施事体
是
那个 协议
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 和
另一个 实数
这样
协议
是
放选项
的
instance
和
那个 金融工具
是
那个 协议
的
underlier
和
那个 金融工具
是 对于
施事体
的
price
那个 金融工具
Price
测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 另外 实数
那个 测量单位
是
那个 协议
的
strike
价钱 和
那个 金融工具
Price 是
lessThan
那个 另外 实数
若且唯若
那个 施事体
是
那个 协议
的
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 和
另一个 实数
这样
协议
是
放选项
的
instance
和
那个 金融工具
是
那个 协议
的
underlier
和
那个 金融工具
是 对于
施事体
的
price
那个 金融工具
Price
测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 另外 实数
那个 测量单位
是
那个 协议
的
strike
价钱 和
那个 另外 实数
是
lessThan
那个 金融工具
Price 若且唯若
那个 施事体
是
那个 协议
的
out
资兂短缺
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
patient
?Exercise ?Option)
(
property
?Option
CallOption
)
(
time
?Exercise ?Time)
(
underlier
?Option ?Stocks))
(
exists
(?Buy)
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
)))))
FinancialOntology.kif 2754-2766
如果
过程
是
执行一个选项
的
instance
和
协议
是
那个 过程
的
patient
和
那个 协议
有
看涨期权
的
attribute
和
那个 过程
在
时间位置
是 存在 和
金融工具
是
那个 协议
的
underlier
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
购买
的
instance
和
那个 金融工具
是
那个 另外 过程
的
patient
和
那个 另外 过程
在
那个 时间位置
是 存在 和
那个 金融工具
的
measure
是 100
ShareUnit
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
patient
?Exercise ?Option)
(
property
?Option
PutOption
)
(
time
?Exercise ?Time)
(
underlier
?Option ?Stocks))
(
exists
(?Sell)
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
)))))
FinancialOntology.kif 2768-2780
如果
过程
是
执行一个选项
的
instance
和
协议
是
那个 过程
的
patient
和
那个 协议
有
放选项
的
attribute
和
那个 过程
在
时间位置
是 存在 和
金融工具
是
那个 协议
的
underlier
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
出售
的
instance
和
那个 金融工具
是
那个 另外 过程
的
patient
和
那个 另外 过程
在
那个 时间位置
是 存在 和
那个 金融工具
的
measure
是 100
ShareUnit
(=>
(
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
如果
协议
有
选项
的
attribute
和
有认知的主事
holds
那个 协议
和
货币测量
是
那个 协议
的
strike
价钱 和
那个 协议
有
expiration
时距
和
金融工具
是 对于
施事体
的
price
那个 货币测量
和
那个 施事体
是
时距
的
instance
和
那个 施事体
的结束%n在
那个 时距
的开始
before
发生 和
那个 金融工具
是
那个 协议
的
underlier
,
然后
那个 有认知的主事
有权利去做
符号串
所描述的类别
(=>
(
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
如果
协议
有
选项
的
attribute
和
有认知的主事
holds
那个 协议
和
货币测量
是
那个 协议
的
strike
价钱 和
那个 协议
有
expiration
时距
和
金融工具
是
那个 协议
的
underlier
和
那个 金融工具
是 对于
施事体
的
price
那个 货币测量
和
那个 施事体
是
时距
的
instance
和
那个 施事体
的结束%n在
那个 时距
的开始
before
发生,
然后
那个 有认知的主事
有权利去做
符号串
所描述的类别
(=>
(
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
如果
协议
有
选项
的
attribute
和
有认知的主事
sells
那个 协议
和
货币测量
是
那个 协议
的
strike
价钱 和
那个 协议
有
expiration
时距
和
金融工具
是 对于
施事体
的
price
那个 货币测量
和
那个 施事体
是
时距
的
instance
和
那个 施事体
的结束%n在
那个 时距
的开始
before
发生 和
那个 金融工具
是
那个 协议
的
underlier
,
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
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
如果
协议
有
选项
的
attribute
和
有认知的主事
sells
那个 协议
和
货币测量
是
那个 协议
的
strike
价钱 和
那个 协议
有
expiration
时距
和
金融工具
是
那个 协议
的
underlier
和
那个 金融工具
是 对于
施事体
的
price
那个 货币测量
和
那个 施事体
是
时距
的
instance
和
那个 施事体
的结束%n在
那个 时距
的开始
before
发生,
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
and
(
property
?Option
StockOption
)
(
underlier
?Option ?Stock))
(
property
?Stock
CommonStock
))
FinancialOntology.kif 2712-2716
如果
协议
有
股票期权
的
attribute
和
金融工具
是
那个 协议
的
underlier
,
然后
那个 金融工具
有
普通股
的
attribute
(=>
(
underlier
?OPTION ?FI)
(
property
?OPTION
Option
))
FinancialOntology.kif 2745-2747
如果
金融工具
是
协议
的
underlier
,
然后
那个 协议
有
选项
的
attribute
consequent
(=>
(
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
如果
协议
有
选项
的
attribute
,
然后 有存在
属性
,
时点
,, ,
金融工具
, and 和
货币测量
这样
那个 属性
equal
看涨期权
或
那个 属性
equal
放选项
和
那个 协议
有
那个 属性
的
attribute
和
那个 协议
有
expiration
那个 时点
和
那个 货币测量
是
那个 协议
的
strike
价钱 和
那个 金融工具
是
那个 协议
的
underlier
和
那个 金融工具
的
measure
是 100
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