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 2945-2946
(domain atTheMoney 1 Option) FinancialOntology.kif 2943-2943
(domain atTheMoney 2 TimePosition) FinancialOntology.kif 2944-2944
(instance atTheMoney BinaryPredicate) FinancialOntology.kif 2942-2942

appearance as argument number 2
-------------------------


(format EnglishLanguage atTheMoney "%2 is %n an at the money of %1") domainEnglishFormat.kif 63-63
(termFormat EnglishLanguage atTheMoney "at the money") domainEnglishFormat.kif 1933-1933

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 2948-2956


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners