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 数量 是 选项 的 instance |
(domain inTheMoney 2 TimePosition) | FinancialOntology.kif 2997-2997 | 在钱 的 2 数量 是 时间位置 的 instance |
(instance inTheMoney BinaryPredicate) | FinancialOntology.kif 2995-2995 | 在钱 是 二元谓语 的 instance |
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 和 另一个 实数 这样 协议 是 看涨期权 的 instance 和 那个 金融工具 是 那个 协议 的 underlier 和 那个 金融工具 是 对于 施事体 的 price 那个 金融工具Price 测量单位 和 那个 测量单位 是 UnitOfCurrency 的 instance 和 那个 另外 实数 那个 测量单位 是 那个 协议 的 strike 价钱 和 那个 另外 实数 是 lessThan 那个 金融工具Price 若且唯若 那个 施事体 是 那个 协议 的 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 和 另一个 实数 这样 协议 是 放选项 的 instance 和 那个 金融工具 是 那个 协议 的 underlier 和 那个 金融工具 是 对于 施事体 的 price 那个 金融工具Price 测量单位 和 那个 测量单位 是 UnitOfCurrency 的 instance 和 那个 另外 实数 那个 测量单位 是 那个 协议 的 strike 价钱 和 那个 金融工具Price 是 lessThan 那个 另外 实数 若且唯若 那个 施事体 是 那个 协议 的 in 金钱 |