atTheMoney |
appearance as argument number 1 |
(documentation atTheMoney EnglishLanguage "A term that describes an option with a strike price that is equal to the current market price of the underlying stock.") | FinancialOntology.kif 3031-3032 | |
(domain atTheMoney 1 Option) | FinancialOntology.kif 3029-3029 | Le nombre 1 argument de atTheMoney est une instance de Option |
(domain atTheMoney 2 TimePosition) | FinancialOntology.kif 3030-3030 | Le nombre 2 argument de atTheMoney est une instance de position temporel |
(instance atTheMoney BinaryPredicate) | FinancialOntology.kif 3028-3028 | atTheMoney est une instance de pr�dicat binaire |
appearance as argument number 2 |
(format ChineseLanguage atTheMoney "%2 %n 是 %1 at 的钱") | domainEnglishFormat.kif 216-216 | |
(format ChineseTraditionalLanguage atTheMoney "%2 %n 是 %1 at 的錢") | domainEnglishFormat.kif 215-215 | |
(format EnglishLanguage atTheMoney "%2 is %n an at the money of %1") | domainEnglishFormat.kif 214-214 | |
(termFormat ChineseLanguage atTheMoney "在钱") | domainEnglishFormat.kif 8988-8988 | |
(termFormat ChineseTraditionalLanguage atTheMoney "在錢") | domainEnglishFormat.kif 8987-8987 | |
(termFormat EnglishLanguage atTheMoney "at the money") | domainEnglishFormat.kif 8986-8986 |
consequent |
(<=> (exists (?Stock ?StockPrice ?StrikePrice) (and (instance ?Option Option) (underlier ?Option ?Stock) (price ?Stock ?StockPrice ?Time) (strikePrice ?Option ?StrikePrice) (equal ?StockPrice ?StrikePrice))) (atTheMoney ?Option ?Time)) |
FinancialOntology.kif 3034-3042 | FinancialInstrument FinancialInstrumentPrice and mesure de devise Agreement est une instance de Option underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and AutonomousAgent strikePrice Agreement and mesure de devise FinancialInstrumentPrice est mesure de devise atTheMoney Agreement and AutonomousAgent |