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
outOfTheMoney
Sigma KEE - outOfTheMoney
outOfTheMoney
appearance as argument number 1
(
documentation
outOfTheMoney
EnglishLanguage
"A call option is out of the money if the stock price is below its strike price. A put option is out of the money if the stock price is above its strike price.")
FinancialOntology.kif 3047-3049
(
domain
outOfTheMoney
1
Option
)
FinancialOntology.kif 3045-3045
The number 1 argument of
out of the money
is an
instance
of
option
(
domain
outOfTheMoney
2
TimePosition
)
FinancialOntology.kif 3046-3046
The number 2 argument of
out of the money
is an
instance
of
time position
(
instance
outOfTheMoney
BinaryPredicate
)
FinancialOntology.kif 3044-3044
out of the money
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
outOfTheMoney
"%2 %n 是 %1 的 out 资兂短缺")
domainEnglishFormat.kif 1883-1883
(
format
ChineseTraditionalLanguage
outOfTheMoney
"%2 %n 是 %1 的 out 資兂短缺")
domainEnglishFormat.kif 1882-1882
(
format
EnglishLanguage
outOfTheMoney
"%2 is %n an out of the money of %1")
domainEnglishFormat.kif 1881-1881
(
termFormat
ChineseLanguage
outOfTheMoney
"没钱了")
domainEnglishFormat.kif 43706-43706
(
termFormat
ChineseTraditionalLanguage
outOfTheMoney
"沒錢了")
domainEnglishFormat.kif 43705-43705
(
termFormat
EnglishLanguage
outOfTheMoney
"out of the money")
domainEnglishFormat.kif 43704-43704
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
?StockPrice ?StrikePrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 3051-3062
There exist
a financial instrument
,
the financial instrument
Price and
another real number
such that
an agreement
is an
instance
of
call option
and
the financial instrument
is an
underlier
of
the agreement
and
the financial instrument
is
price
the financial instrument
Price
an unit of measure
(s) for
an agent
and
the unit of measure
is an
instance
of
unit of currency
and
the other real number
the unit of measure
(s) is a
strike
price of
the agreement
and
the financial instrument
Price is
less
than
the other real number
if and only if
the agent
is an
out
of the money of
the agreement
(<=>
(
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
There exist
a financial instrument
,
the financial instrument
Price and
another real number
such that
an agreement
is an
instance
of
put option
and
the financial instrument
is an
underlier
of
the agreement
and
the financial instrument
is
price
the financial instrument
Price
an unit of measure
(s) for
an agent
and
the unit of measure
is an
instance
of
unit of currency
and
the other real number
the unit of measure
(s) is a
strike
price of
the agreement
and
the other real number
is
less
than
the financial instrument
Price if and only if
the agent
is an
out
of the money of
the agreement
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