Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - atTheMoney
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 3045-3046
(domain atTheMoney 1 Option) FinancialOntology.kif 3043-3043
(domain atTheMoney 2 TimePosition) FinancialOntology.kif 3044-3044
(instance atTheMoney BinaryPredicate) FinancialOntology.kif 3042-3042

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 8995-8995
(termFormat ChineseTraditionalLanguage atTheMoney "在錢") domainEnglishFormat.kif 8994-8994
(termFormat EnglishLanguage atTheMoney "at the money") domainEnglishFormat.kif 8993-8993

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 3048-3056


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners