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 3031-3032
(domain atTheMoney 1 Option)	FinancialOntology.kif 3029-3029
(domain atTheMoney 2 TimePosition)	FinancialOntology.kif 3030-3030
(instance atTheMoney BinaryPredicate)	FinancialOntology.kif 3028-3028

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

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

KB Term:			Term intersection

English Word: