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 2611-2613
(domain strikePrice 1 FinancialInstrument) FinancialOntology.kif 2609-2609 域 執行價格, 1 and 金融工具
(domain strikePrice 2 CurrencyMeasure) FinancialOntology.kif 2610-2610 域 執行價格, 2 and CurrencyMeasure
(instance strikePrice BinaryPredicate) FinancialOntology.kif 2608-2608 例 執行價格 and BinaryPredicate

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


(format ChineseLanguage strikePrice "%2 %n 是 %1 的 strike 价钱") domainEnglishFormat.kif 2383-2383
(format ChineseTraditionalLanguage strikePrice "%2 %n 是 %1 的 strike 價錢") domainEnglishFormat.kif 2382-2382
(format EnglishLanguage strikePrice "%2 is %n a strike price of %1") domainEnglishFormat.kif 2381-2381
(termFormat ChineseLanguage strikePrice "执行价格") domainEnglishFormat.kif 55638-55638
(termFormat ChineseTraditionalLanguage strikePrice "執行價格") domainEnglishFormat.kif 55637-55637
(termFormat EnglishLanguage strikePrice "strike price") domainEnglishFormat.kif 55636-55636

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


(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option CallOption)
            (underlier ?Option ?Stock)
            (price ?Stock
                (MeasureFn ?StockPrice ?U) ?Time)
            (instance ?U UnitOfCurrency)
            (strikePrice ?Option
                (MeasureFn ?StrikePrice ?U))
            (lessThan ?StockPrice ?StrikePrice)))
    (outOfTheMoney ?Option ?Time))		 FinancialOntology.kif 3051-3062 金融工具 金融工具Price and RealNumber 例 協議 and 看漲期權 金融工具 是 協議 的 underlier 金融工具 是 對於 AutonomousAgent 的 price 測量 金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是 協議 的 strike 價錢 少於 金融工具Price and RealNumber AutonomousAgent 是 協議 的 out 資兂短缺
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option CallOption)
            (underlier ?Option ?Stock)
            (price ?Stock
                (MeasureFn ?StockPrice ?U) ?Time)
            (instance ?U UnitOfCurrency)
            (strikePrice ?Option
                (MeasureFn ?StrikePrice ?U))
            (lessThan ?StrikePrice ?StockPrice)))
    (inTheMoney ?Option ?Time))		 FinancialOntology.kif 3002-3013 金融工具 金融工具Price and RealNumber 例 協議 and 看漲期權 金融工具 是 協議 的 underlier 金融工具 是 對於 AutonomousAgent 的 price 測量 金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是 協議 的 strike 價錢 少於 RealNumber and 金融工具Price AutonomousAgent 是 協議 的 in 金錢
(<=>
    (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 3034-3042 金融工具 金融工具Price and CurrencyMeasure 例 協議 and 選項 金融工具 是 協議 的 underlier 金融工具 是 對於 AutonomousAgent 的 price 金融工具Price CurrencyMeasure 是 協議 的 strike 價錢 等於 金融工具Price and CurrencyMeasure AutonomousAgent 是 協議 at 的錢
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option PutOption)
            (underlier ?Option ?Stock)
            (price ?Stock
                (MeasureFn ?StockPrice ?U) ?Time)
            (instance ?U UnitOfCurrency)
            (strikePrice ?Option
                (MeasureFn ?StrikePrice ?U))
            (lessThan ?StockPrice ?StrikePrice)))
    (inTheMoney ?Option ?Time))		 FinancialOntology.kif 3015-3026 金融工具 金融工具Price and RealNumber 例 協議 and 放選項 金融工具 是 協議 的 underlier 金融工具 是 對於 AutonomousAgent 的 price 測量 金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是 協議 的 strike 價錢 少於 金融工具Price and RealNumber AutonomousAgent 是 協議 的 in 金錢
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option PutOption)
            (underlier ?Option ?Stock)
            (price ?Stock
                (MeasureFn ?StockPrice ?U) ?Time)
            (instance ?U UnitOfCurrency)
            (strikePrice ?Option
                (MeasureFn ?StrikePrice ?U))
            (lessThan ?StrikePrice ?StockPrice)))
    (outOfTheMoney ?Option ?Time))		 FinancialOntology.kif 3064-3075 金融工具 金融工具Price and RealNumber 例 協議 and 放選項 金融工具 是 協議 的 underlier 金融工具 是 對於 AutonomousAgent 的 price 測量 金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是 協議 的 strike 價錢 少於 RealNumber and 金融工具Price AutonomousAgent 是 協議 的 out 資兂短缺
(=>
    (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 2669-2685
(=>
    (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 2623-2639
(=>
    (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 2687-2703
(=>
    (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 2641-2659

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


(=>
    (instance ?Spread ButterflySpread)
    (exists (?Call1 ?Call2 ?Call3 ?Call4 ?Price1 ?Price2 ?Price3 ?Price4 ?U)
        (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)
            (instance ?U UnitOfCurrency)
            (strikePrice ?Call1
                (MeasureFn ?Price1 ?U))
            (strikePrice ?Call2
                (MeasureFn ?Price2 ?U))
            (strikePrice ?Call3
                (MeasureFn ?Price3 ?U))
            (strikePrice ?Call4
                (MeasureFn ?Price4 ?U))
            (lessThan ?Price1 ?Price2)
            (lessThan ?Price1 ?Price3)
            (greaterThan ?Price4 ?Price2)
            (greaterThan ?Price4 ?Price2))))		 FinancialOntology.kif 3119-3143
(=>
    (instance ?Straddle Straddle)
    (exists (?Call ?Price ?Date ?Number ?Put)
        (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 3149-3173
(=>
    (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 2540-2551


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