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 3048-3049
(domain atTheMoney 1 Option) FinancialOntology.kif 3046-3046 atTheMoney の数値 1 引数は Optioninstance では
(domain atTheMoney 2 TimePosition) FinancialOntology.kif 3047-3047 atTheMoney の数値 2 引数は 時間位置instance では
(instance atTheMoney BinaryPredicate) FinancialOntology.kif 3045-3045 atTheMoney2進述語instance では

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 FinancialInstrument FinancialInstrumentPrice and 通貨測定 AgreementOptioninstance では underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and AutonomousAgent strikePrice Agreement and 通貨測定 equal FinancialInstrumentPrice and 通貨測定 atTheMoney Agreement and AutonomousAgent


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