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
inTheMoney
Sigma KEE - inTheMoney
inTheMoney
appearance as argument number 1
(
documentation
inTheMoney
EnglishLanguage
"A call option is in the money if the stock price is above the strike price. A put option is in the money if the stock price is below the strike price.")
FinancialOntology.kif 2998-3000
(
domain
inTheMoney
1
Option
)
FinancialOntology.kif 2996-2996
在钱
的 1 数量 是
选项
的
instance
(
domain
inTheMoney
2
TimePosition
)
FinancialOntology.kif 2997-2997
在钱
的 2 数量 是
时间位置
的
instance
(
instance
inTheMoney
BinaryPredicate
)
FinancialOntology.kif 2995-2995
在钱
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
inTheMoney
"%2 %n 是 %1 的 in 金钱")
domainEnglishFormat.kif 1377-1377
(
format
ChineseTraditionalLanguage
inTheMoney
"%2 %n 是 %1 的 in 金錢")
domainEnglishFormat.kif 1376-1376
(
format
EnglishLanguage
inTheMoney
"%2 is %n an in the money of %1")
domainEnglishFormat.kif 1375-1375
(
termFormat
ChineseLanguage
inTheMoney
"在钱")
domainEnglishFormat.kif 30781-30781
(
termFormat
ChineseTraditionalLanguage
inTheMoney
"在錢")
domainEnglishFormat.kif 30780-30780
(
termFormat
EnglishLanguage
inTheMoney
"in the money")
domainEnglishFormat.kif 30779-30779
consequent
(<=>
(
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
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
金钱
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