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 and 選項 |
(domain inTheMoney 2 TimePosition) | FinancialOntology.kif 2997-2997 | 域 在錢, 2 and TimePosition |
(instance inTheMoney BinaryPredicate) | FinancialOntology.kif 2995-2995 | 例 在錢 and BinaryPredicate |
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 RealNumber 例 協議 and 看漲期權 金融工具 是 協議 的 underlier 金融工具 是 對於 AutonomousAgent 的 price 測量 金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是 協議 的 strike 價錢 少於 RealNumber and 金融工具Price AutonomousAgent 是 協議 的 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 RealNumber 例 協議 and 放選項 金融工具 是 協議 的 underlier 金融工具 是 對於 AutonomousAgent 的 price 測量 金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是 協議 的 strike 價錢 少於 金融工具Price and RealNumber AutonomousAgent 是 協議 的 in 金錢 |