TreeView Knowledge Base Browser

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 3048-3049
(domain atTheMoney 1 Option)	FinancialOntology.kif 3046-3046
(domain atTheMoney 2 TimePosition)	FinancialOntology.kif 3047-3047
(instance atTheMoney BinaryPredicate)	FinancialOntology.kif 3045-3045

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 8989-8989
(termFormat ChineseTraditionalLanguage atTheMoney "在錢")	domainEnglishFormat.kif 8988-8988
(termFormat EnglishLanguage atTheMoney "at the money")	domainEnglishFormat.kif 8987-8987

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 3051-3059

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

KB Term:			Term intersection

English Word: