TreeView 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 2741-2743
(domain underlier 1 Agreement)	FinancialOntology.kif 2739-2739	underlier の数値 1 引数は Agreement の instance では %n
(domain underlier 2 FinancialInstrument)	FinancialOntology.kif 2740-2740	underlier の数値 2 引数は FinancialInstrument の instance では %n
(instance underlier BinaryPredicate)	FinancialOntology.kif 2737-2737	underlier は 2進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage underlier "%2 %n 是 %1 的 underlier ")	domainEnglishFormat.kif 2563-2563
(format ChineseTraditionalLanguage underlier "%2 %n 是 %1 的 underlier ")	domainEnglishFormat.kif 2562-2562
(format EnglishLanguage underlier "%2 is %n an underlier of %1")	domainEnglishFormat.kif 2561-2561
(termFormat ChineseLanguage underlier "底层证券")	domainEnglishFormat.kif 59888-59888
(termFormat ChineseTraditionalLanguage underlier "底層證券")	domainEnglishFormat.kif 59887-59887
(termFormat EnglishLanguage underlier "underlier")	domainEnglishFormat.kif 59886-59886

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	FinancialInstrument FinancialInstrumentPrice and 実数 Agreement は CallOption の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の測定単位(s) and AutonomousAgent 測定単位は UnitOfCurrency の instance では %n strikePrice Agreement and 実数の測定単位(s) FinancialInstrumentPrice は実数より less では %n outOfTheMoney Agreement and AutonomousAgent
(<=> (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	FinancialInstrument FinancialInstrumentPrice and 実数 Agreement は CallOption の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の測定単位(s) and AutonomousAgent 測定単位は UnitOfCurrency の instance では %n strikePrice Agreement and 実数の測定単位(s) 実数は FinancialInstrumentPrice より less では %n inTheMoney Agreement and AutonomousAgent
(<=> (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	FinancialInstrument FinancialInstrumentPrice and 通貨測定 Agreement は Option の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and AutonomousAgent strikePrice Agreement and 通貨測定 FinancialInstrumentPrice は通貨測定と equal では %n atTheMoney Agreement and AutonomousAgent
(<=> (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	FinancialInstrument FinancialInstrumentPrice and 実数 Agreement は PutOption の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の測定単位(s) and AutonomousAgent 測定単位は UnitOfCurrency の instance では %n strikePrice Agreement and 実数の測定単位(s) FinancialInstrumentPrice は実数より less では %n inTheMoney Agreement and AutonomousAgent
(<=> (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	FinancialInstrument FinancialInstrumentPrice and 実数 Agreement は PutOption の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の測定単位(s) and AutonomousAgent 測定単位は UnitOfCurrency の instance では %n strikePrice Agreement and 実数の測定単位(s) 実数は FinancialInstrumentPrice より less では %n outOfTheMoney Agreement and AutonomousAgent
(=> (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 2754-2766	工程は 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 2768-2780	工程は 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 2669-2685	Agreement には attribute Option %n{ない} optionHolder Agreement and 認識エージェント strikePrice Agreement and 通貨測定 agreementExpirationDate Agreement and 時間間隔 price FinancialInstrument, 通貨測定 and AutonomousAgent AutonomousAgent は時間間隔の instance では %n AutonomousAgent の 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 2623-2639	Agreement には attribute Option %n{ない} optionHolder Agreement and 認識エージェント strikePrice Agreement and 通貨測定 agreementExpirationDate Agreement and 時間間隔 underlier Agreement and FinancialInstrument price FinancialInstrument, 通貨測定 and AutonomousAgent AutonomousAgent は時間間隔の instance では %n AutonomousAgent の 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 2687-2703	Agreement には attribute Option %n{ない} optionSeller Agreement and 認識エージェント strikePrice Agreement and 通貨測定 agreementExpirationDate Agreement and 時間間隔 price FinancialInstrument, 通貨測定 and AutonomousAgent AutonomousAgent は時間間隔の instance では %n AutonomousAgent の 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 2641-2659	Agreement には attribute Option %n{ない} optionSeller Agreement and 認識エージェント strikePrice Agreement and 通貨測定 agreementExpirationDate Agreement and 時間間隔 underlier Agreement and FinancialInstrument price FinancialInstrument, 通貨測定 and AutonomousAgent AutonomousAgent は時間間隔の instance では %n AutonomousAgent の end は時間間隔の beginning の before に happens %n{ない} 認識エージェントはタイプエンティティー class のタスクを実行する obliged %n
(=> (and (property ?Option StockOption) (underlier ?Option ?Stock)) (property ?Stock CommonStock))	FinancialOntology.kif 2712-2716	Agreement には attribute StockOption %n{ない} underlier Agreement and FinancialInstrument FinancialInstrument には attribute CommonStock %n{ない}
(=> (underlier ?OPTION ?FI) (property ?OPTION Option))	FinancialOntology.kif 2745-2747	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 ?Stock)
            (measure ?Stock
                (MeasureFn 100 ShareUnit)))))

FinancialOntology.kif 2540-2551

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: