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 | 域 沒錢了, 1 and 選項 |
(domain outOfTheMoney 2 TimePosition) | FinancialOntology.kif 3046-3046 | 域 沒錢了, 2 and TimePosition |
(instance outOfTheMoney BinaryPredicate) | FinancialOntology.kif 3044-3044 | 例 沒錢了 and BinaryPredicate |
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 | 金融工具 金融工具Price and RealNumber 例 協議 and 看漲期權 金融工具 是 協議 的 underlier 金融工具 是 對於 AutonomousAgent 的 price 測量 金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是 協議 的 strike 價錢 少於 金融工具Price and RealNumber AutonomousAgent 是 協議 的 out 資兂短缺 |
(<=> (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 RealNumber 例 協議 and 放選項 金融工具 是 協議 的 underlier 金融工具 是 對於 AutonomousAgent 的 price 測量 金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是 協議 的 strike 價錢 少於 RealNumber and 金融工具Price AutonomousAgent 是 協議 的 out 資兂短缺 |