underlier - Sigma Knowledge base Browser

appearance as argument number 1

(documentation underlier EnglishLanguage "(underlier ?Option ?Instrument) means that ?Instrument is a security which is subject to delivery upon exercise of ?Option.")	FinancialOntology.kif 2661-2663
(domain underlier 1 Agreement)	FinancialOntology.kif 2659-2659	underlier の数値 1 引数は Agreement の instance では %n
(domain underlier 2 FinancialInstrument)	FinancialOntology.kif 2660-2660	underlier の数値 2 引数は FinancialInstrument の instance では %n
(instance underlier BinaryPredicate)	FinancialOntology.kif 2657-2657	underlier は 2進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage underlier "%2 %n 是 %1 的 underlier ")	domainEnglishFormat.kif 2559-2559
(format ChineseTraditionalLanguage underlier "%2 %n 是 %1 的 underlier ")	domainEnglishFormat.kif 2558-2558
(format EnglishLanguage underlier "%2 is %n an underlier of %1")	domainEnglishFormat.kif 2557-2557
(termFormat ChineseLanguage underlier "底层证券")	domainEnglishFormat.kif 59833-59833	termFormat ChineseLanguage, underlier and "底层证券"
(termFormat ChineseTraditionalLanguage underlier "底層證券")	domainEnglishFormat.kif 59832-59832	termFormat ChineseTraditionalLanguage, underlier and "底層證券"
(termFormat EnglishLanguage underlier "underlier")	domainEnglishFormat.kif 59831-59831	termFormat EnglishLanguage, underlier and "underlier"

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 通貨測定 Agreement は CallOption の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and 代理(人) strikePrice Agreement and 通貨測定 FinancialInstrumentPrice は通貨測定より less では %n outOfTheMoney Agreement and 代理(人)
(<=> (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 通貨測定 Agreement は CallOption の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and 代理(人) strikePrice Agreement and 通貨測定通貨測定は FinancialInstrumentPrice より less では %n inTheMoney Agreement and 代理(人)
(<=> (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 通貨測定 Agreement は Option の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and 代理(人) strikePrice Agreement and 通貨測定 FinancialInstrumentPrice は通貨測定と equal では %n atTheMoney Agreement and 代理(人)
(<=> (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 通貨測定 Agreement は PutOption の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and 代理(人) strikePrice Agreement and 通貨測定 FinancialInstrumentPrice は通貨測定より less では %n inTheMoney Agreement and 代理(人)
(<=> (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 通貨測定 Agreement は PutOption の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and 代理(人) strikePrice Agreement and 通貨測定通貨測定は FinancialInstrumentPrice より less では %n outOfTheMoney Agreement and 代理(人)
(=> (and (instance ?Exercise ExerciseAnOption) (patient ?Exercise ?Option) (property ?Option CallOption) (time ?Exercise ?Time) (underlier ?Option ?Stocks)) (exists (?Buy) (and (instance ?Buy Buying) (patient ?Buy ?Stocks) (time ?Buy ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)))))	FinancialOntology.kif 2674-2686	工程は ExerciseAnOption の instance では %n Agreement は工程の patient では %n Agreement には attribute CallOption %n{ない} 工程は時間位置の during exists %n{ない} underlier Agreement and FinancialInstrument 工程工程は購買の instance では %n FinancialInstrument は工程の patient では %n 工程は時間位置の during exists %n{ない} FinancialInstrument の measure は 100 の ShareUnit(s) では %n
(=> (and (instance ?Exercise ExerciseAnOption) (patient ?Exercise ?Option) (property ?Option PutOption) (time ?Exercise ?Time) (underlier ?Option ?Stocks)) (exists (?Sell) (and (instance ?Sell Selling) (patient ?Sell ?Stocks) (time ?Sell ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)))))	FinancialOntology.kif 2688-2700	工程は ExerciseAnOption の instance では %n Agreement は工程の patient では %n Agreement には attribute PutOption %n{ない} 工程は時間位置の during exists %n{ない} underlier Agreement and FinancialInstrument 工程工程は販売の instance では %n FinancialInstrument は工程の patient では %n 工程は時間位置の during exists %n{ない} FinancialInstrument の measure は 100 の ShareUnit(s) では %n
(=> (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	Agreement には attribute Option %n{ない} optionHolder Agreement and 認識エージェント strikePrice Agreement and 通貨測定 agreementExpirationDate Agreement and 時間間隔 price FinancialInstrument, 通貨測定 and 代理(人) 代理(人) は時間間隔の instance では %n 代理(人) の end は時間間隔の beginning の before に happens %n{ない} underlier Agreement and FinancialInstrument 認識エージェントはエンティティー class を実行する right を　持って %n{ない}
(=> (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 2546-2562	Agreement には attribute Option %n{ない} optionHolder Agreement and 認識エージェント strikePrice Agreement and 通貨測定 agreementExpirationDate Agreement and 時間間隔 underlier Agreement and FinancialInstrument price FinancialInstrument, 通貨測定 and 代理(人) 代理(人) は時間間隔の instance では %n 代理(人) の end は時間間隔の beginning の before に happens %n{ない} 認識エージェントはエンティティー class を実行する right を　持って %n{ない}
(=> (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	Agreement には attribute Option %n{ない} optionSeller Agreement and 認識エージェント strikePrice Agreement and 通貨測定 agreementExpirationDate Agreement and 時間間隔 price FinancialInstrument, 通貨測定 and 代理(人) 代理(人) は時間間隔の instance では %n 代理(人) の end は時間間隔の beginning の before に happens %n{ない} underlier Agreement and FinancialInstrument 認識エージェントはタイプエンティティー class のタスクを実行する obliged %n
(=> (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 2564-2580	Agreement には attribute Option %n{ない} optionSeller Agreement and 認識エージェント strikePrice Agreement and 通貨測定 agreementExpirationDate Agreement and 時間間隔 underlier Agreement and FinancialInstrument price FinancialInstrument, 通貨測定 and 代理(人) 代理(人) は時間間隔の instance では %n 代理(人) の end は時間間隔の beginning の before に happens %n{ない} 認識エージェントはタイプエンティティー class のタスクを実行する obliged %n
(=> (and (property ?Option StockOption) (underlier ?Option ?Stock)) (property ?Stock CommonStock))	FinancialOntology.kif 2633-2637	Agreement には attribute StockOption %n{ない} underlier Agreement and FinancialInstrument FinancialInstrument には attribute CommonStock %n{ない}
(=> (underlier ?OPTION ?FI) (property ?OPTION Option))	FinancialOntology.kif 2665-2667	underlier Agreement and FinancialInstrument Agreement には attribute Option %n{ない}

consequent

(=>
    (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 ?Stocks)
            (measure ?Stock
                (MeasureFn 100 ShareUnit)))))

FinancialOntology.kif 2463-2474

Agreement には attribute Option %n{ない}
属性時点, オブジェクト and 通貨測定属性は CallOption と equal では %n 属性は PutOption と equal では %n Agreement には attribute 属性 %n{ない} agreementExpirationDate Agreement and 時点 strikePrice Agreement and 通貨測定 underlier Agreement and オブジェクトs オブジェクトの measure は 100 の ShareUnit(s) では %n

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

KB Term:			Term intersection

English Word: