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

Formal Language: 

KB Term:  Term intersection
English Word: 

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

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 9001-9001
(termFormat ChineseTraditionalLanguage atTheMoney "在錢") domainEnglishFormat.kif 9000-9000
(termFormat EnglishLanguage atTheMoney "at the money") domainEnglishFormat.kif 8999-8999


    (exists (?Stock ?StockPrice ?StrikePrice)
            (instance ?Option Option)
            (underlier ?Option ?Stock)
            (price ?Stock ?StockPrice ?Time)
            (strikePrice ?Option ?StrikePrice)
            (equal ?StockPrice ?StrikePrice)))
    (atTheMoney ?Option ?Time))
FinancialOntology.kif 2949-2957

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