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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - outOfTheMoney
outOfTheMoney

appearance as argument number 1
-------------------------


(documentation outOfTheMoney EnglishLanguage "A call option is out of the money if the stock price is below its strike price. A put option is out of the money if the stock price is above its strike price.") FinancialOntology.kif 2961-2963
(domain outOfTheMoney 1 Option) FinancialOntology.kif 2959-2959
(domain outOfTheMoney 2 TimePosition) FinancialOntology.kif 2960-2960
(instance outOfTheMoney BinaryPredicate) FinancialOntology.kif 2958-2958

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


(format EnglishLanguage outOfTheMoney "%2 is %n an out of the money of %1") domainEnglishFormat.kif 479-479
(termFormat EnglishLanguage outOfTheMoney "out of the money") domainEnglishFormat.kif 7702-7702

consequent
-------------------------


(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option CallOption)
            (underlier ?Option ?Stock)
            (price ?Stock ?StockPrice ?Time)
            (strikePrice ?Option ?StrikePrice)
            (lessThan ?StockPrice ?StrikePrice)))
    (outOfTheMoney ?Option ?Time))
FinancialOntology.kif 2965-2973
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option PutOption)
            (underlier ?Option ?Stock)
            (price ?Stock ?StockPrice ?Time)
            (strikePrice ?Option ?StrikePrice)
            (lessThan ?StrikePrice ?StockPrice)))
    (outOfTheMoney ?Option ?Time))
FinancialOntology.kif 2975-2983


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