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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - strikePrice
strikePrice

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


(documentation strikePrice EnglishLanguage "The specified price on an option contract at which the contract may be exercised, whereby a call option buyer can buy the underlier or a put option buyer can sell the underlier.") FinancialOntology.kif 2532-2534
(domain strikePrice 1 FinancialInstrument) FinancialOntology.kif 2530-2530 domain strikePrice, 1 and FinancialInstrument
(domain strikePrice 2 CurrencyMeasure) FinancialOntology.kif 2531-2531 domain strikePrice, 2 and CurrencyMeasure
(instance strikePrice BinaryPredicate) FinancialOntology.kif 2529-2529 instance strikePrice and BinaryPredicate

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


(format ChineseLanguage strikePrice "%2 %n 是 %1 的 strike 价钱") domainEnglishFormat.kif 2379-2379
(format ChineseTraditionalLanguage strikePrice "%2 %n 是 %1 的 strike 價錢") domainEnglishFormat.kif 2378-2378
(format EnglishLanguage strikePrice "%2 is %n a strike price of %1") domainEnglishFormat.kif 2377-2377
(termFormat ChineseLanguage strikePrice "执行价格") domainEnglishFormat.kif 55579-55579 termFormat ChineseLanguage, strikePrice and "执行价格"
(termFormat ChineseTraditionalLanguage strikePrice "執行價格") domainEnglishFormat.kif 55578-55578 termFormat ChineseTraditionalLanguage, strikePrice and "執行價格"
(termFormat EnglishLanguage strikePrice "strike price") domainEnglishFormat.kif 55577-55577 termFormat EnglishLanguage, strikePrice and "strike price"

antecedent
-------------------------


(<=>
    (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 FinancialInstrument FinancialInstrumentPrice and CurrencyMeasure instance Agreement and CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and Agent strikePrice Agreement and CurrencyMeasure lessThan FinancialInstrumentPrice and CurrencyMeasure outOfTheMoney Agreement and Agent
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option CallOption)
            (underlier ?Option ?Stock)
            (price ?Stock ?StockPrice ?Time)
            (strikePrice ?Option ?StrikePrice)
            (lessThan ?StrikePrice ?StockPrice)))
    (inTheMoney ?Option ?Time))
FinancialOntology.kif 2922-2930 FinancialInstrument FinancialInstrumentPrice and CurrencyMeasure instance Agreement and CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and Agent strikePrice Agreement and CurrencyMeasure lessThan CurrencyMeasure and FinancialInstrumentPrice inTheMoney Agreement and Agent
(<=>
    (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 2948-2956 FinancialInstrument FinancialInstrumentPrice and CurrencyMeasure instance Agreement and Option underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and Agent strikePrice Agreement and CurrencyMeasure equal FinancialInstrumentPrice and CurrencyMeasure atTheMoney Agreement and Agent
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option PutOption)
            (underlier ?Option ?Stock)
            (price ?Stock ?StockPrice ?Time)
            (strikePrice ?Option ?StrikePrice)
            (lessThan ?StockPrice ?StrikePrice)))
    (inTheMoney ?Option ?Time))
FinancialOntology.kif 2932-2940 FinancialInstrument FinancialInstrumentPrice and CurrencyMeasure instance Agreement and PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and Agent strikePrice Agreement and CurrencyMeasure lessThan FinancialInstrumentPrice and CurrencyMeasure inTheMoney Agreement and Agent
(<=>
    (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 FinancialInstrument FinancialInstrumentPrice and CurrencyMeasure instance Agreement and PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and Agent strikePrice Agreement and CurrencyMeasure lessThan CurrencyMeasure and FinancialInstrumentPrice outOfTheMoney Agreement and Agent
(=>
    (and
        (property ?Option Option)
        (optionHolder ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate))
        (underlier ?Option ?Stocks))
    (holdsRight
        (KappaFn ?Sell
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Stocks)
                (time ?Sell ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Sell ?Agent))) ?Agent))
FinancialOntology.kif 2590-2606
(=>
    (and
        (property ?Option Option)
        (optionHolder ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (underlier ?Option ?Stocks)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate)))
    (holdsRight
        (KappaFn ?Buy
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Stocks)
                (time ?Buy ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2544-2560
(=>
    (and
        (property ?Option Option)
        (optionSeller ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate))
        (underlier ?Option ?Stocks))
    (holdsObligation
        (KappaFn ?Buy
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Stocks)
                (time ?Buy ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2608-2624
(=>
    (and
        (property ?Option Option)
        (optionSeller ?Option ?Seller)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (underlier ?Option ?Stocks)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate)))
    (holdsObligation
        (KappaFn ?Sell
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Stocks)
                (time ?Sell ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Sell ?Agent))) ?Seller))
FinancialOntology.kif 2562-2580

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


(=>
    (instance ?Spread ButterflySpread)
    (exists (?Call1 ?Call2 ?Call3 ?Call4 ?Price1 ?Price2 ?Price3 ?Price4)
        (and
            (instance ?Call1 CallOption)
            (instance ?Call2 CallOption)
            (instance ?Call3 CallOption)
            (instance ?Call4 CallOption)
            (subProcess ?Call1 ?Spread)
            (subProcess ?Call2 ?Spread)
            (subProcess ?Call3 ?Spread)
            (subProcess ?Call4 ?Spread)
            (strikePrice ?Call1 ?Price1)
            (strikePrice ?Call2 ?Price2)
            (strikePrice ?Call3 ?Price3)
            (strikePrice ?Call4 ?Price4)
            (lessThan ?Price1 ?Price2)
            (lessThan ?Price1 ?Price3)
            (greaterThan ?Price4 ?Price2)
            (greaterThan ?Price4 ?Price2))))
FinancialOntology.kif 3027-3046
(=>
    (instance ?Straddle Straddle)
    (exists (?Price ?Date ?Number)
        (and
            (equal
                (CardinalityFn
                    (KappaFn ?Call
                        (and
                            (instance ?Call CallOption)
                            (part ?Call ?Straddle)))) ?Number)
            (equal
                (CardinalityFn
                    (KappaFn ?Put
                        (and
                            (instance ?Put PutOption)
                            (part ?Put ?Straddle)))) ?Number)
            (forall (?Option)
                (=>
                    (and
                        (instance ?Option Option)
                        (part ?Option ?Straddle))
                    (and
                        (agreementExpirationDate ?Option ?Date)
                        (strikePrice ?Option ?Price)))))))
FinancialOntology.kif 3052-3076
(=>
    (property ?Option Option)
    (exists (?Type ?Date ?Stock ?Price)
        (and
            (or
                (equal ?Type CallOption)
                (equal ?Type PutOption))
            (property ?Option ?Type)
            (agreementExpirationDate ?Option ?Date)
            (strikePrice ?Option ?Price)
            (underlier ?Option ?Stock)
            (measure ?Stock
                (MeasureFn 100 ShareUnit)))))
FinancialOntology.kif 2461-2472


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