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 2992-2993
(domain atTheMoney 1 Option) FinancialOntology.kif 2990-2990
(domain atTheMoney 2 TimePosition) FinancialOntology.kif 2991-2991
(instance atTheMoney BinaryPredicate) FinancialOntology.kif 2989-2989

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

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 2995-3003


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