Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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 Le nombre 1 argument de outOfTheMoney est une instance de Option
(domain outOfTheMoney 2 TimePosition) FinancialOntology.kif 3046-3046 Le nombre 2 argument de outOfTheMoney est une instance de position temporel
(instance outOfTheMoney BinaryPredicate) FinancialOntology.kif 3044-3044 outOfTheMoney est une instance de pr�dicat binaire

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 43704-43704
(termFormat ChineseTraditionalLanguage outOfTheMoney "沒錢了") domainEnglishFormat.kif 43703-43703
(termFormat EnglishLanguage outOfTheMoney "out of the money") domainEnglishFormat.kif 43702-43702

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 FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) FinancialInstrumentPrice est moins que nombre r�el outOfTheMoney 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 ?StrikePrice ?StockPrice)))
    (outOfTheMoney ?Option ?Time))
FinancialOntology.kif 3064-3075 FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) nombre r�el est moins que FinancialInstrumentPrice outOfTheMoney Agreement and AutonomousAgent


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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