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
Die Zahl 1 Argument von
inTheMoney
ist ein
fall
von
Option
%n{nicht}
(
domain
inTheMoney
2
TimePosition
)
FinancialOntology.kif 2997-2997
Die Zahl 2 Argument von
inTheMoney
ist ein
fall
von
TimePosition
%n{nicht}
(
instance
inTheMoney
BinaryPredicate
)
FinancialOntology.kif 2995-2995
inTheMoney
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Es gibt
FinancialInstrument
,
** FinancialInstrument
Price, and und
** RealNumber
um
Agreement
ist ein
fall
von
CallOption
%n{nicht} und
underlier
** Agreement
and
** FinancialInstrument
und
price
** FinancialInstrument
,
** FinancialInstrument
Price
UnitOfMeasure
(s) and
AutonomousAgent
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
strikePrice
** Agreement
and
** ** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
kleinerAls
** FinancialInstrument
Price %n{nicht} genau dann wenn
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
?StockPrice ?StrikePrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 3015-3026
Es gibt
FinancialInstrument
,
** FinancialInstrument
Price, and und
** RealNumber
um
Agreement
ist ein
fall
von
PutOption
%n{nicht} und
underlier
** Agreement
and
** FinancialInstrument
und
price
** FinancialInstrument
,
** FinancialInstrument
Price
UnitOfMeasure
(s) and
AutonomousAgent
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
strikePrice
** Agreement
and
** ** RealNumber
** UnitOfMeasure
(s) und
** FinancialInstrument
Price ist
kleinerAls
** ** RealNumber
%n{nicht} genau dann wenn
inTheMoney
** Agreement
and
** AutonomousAgent
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