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

Formal Language: 


KB Term:  Term intersection
English Word: 

  atTheMoney

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 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)

Show without tree


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