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 2741-2743
(domain underlier 1 Agreement)	FinancialOntology.kif 2739-2739	Le nombre 1 argument de underlier est une instance de Agreement
(domain underlier 2 FinancialInstrument)	FinancialOntology.kif 2740-2740	Le nombre 2 argument de underlier est une instance de FinancialInstrument
(instance underlier BinaryPredicate)	FinancialOntology.kif 2737-2737	underlier est une instance de pr�dicat binaire

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 59900-59900
(termFormat ChineseTraditionalLanguage underlier "底層證券")	domainEnglishFormat.kif 59899-59899
(termFormat EnglishLanguage underlier "underlier")	domainEnglishFormat.kif 59898-59898

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 nombre r�el Agreement est une instance de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) FinancialInstrumentPrice est moins que nombre r�el 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 nombre r�el Agreement est une instance de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) nombre r�el est moins que FinancialInstrumentPrice 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 mesure de devise Agreement est une instance de Option underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and AutonomousAgent strikePrice Agreement and mesure de devise FinancialInstrumentPrice est mesure de devise 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 nombre r�el Agreement est une instance de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) FinancialInstrumentPrice est moins que nombre r�el 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 nombre r�el Agreement est une instance de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) nombre r�el est moins que FinancialInstrumentPrice 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	Processus est une instance de ExerciseAnOption Agreement est un patient de processus Agreement a un attribute CallOption processus existe pendant position temporel underlier Agreement and FinancialInstrument processus processus est une instance de acheter FinancialInstrument est un patient de processus processus existe pendant position temporel la mesure de FinancialInstrument est 100 ShareUnit(s)
(=> (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	Processus est une instance de ExerciseAnOption Agreement est un patient de processus Agreement a un attribute PutOption processus existe pendant position temporel underlier Agreement and FinancialInstrument processus processus est une instance de vendre FinancialInstrument est un patient de processus processus existe pendant position temporel la mesure de FinancialInstrument est 100 ShareUnit(s)
(=> (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 a un attribute Option optionHolder Agreement and agent cognitif strikePrice Agreement and mesure de devise agreementExpirationDate Agreement and interval temporel price FinancialInstrument, mesure de devise and AutonomousAgent AutonomousAgent est une instance de interval temporel la fin de AutonomousAgent se produit avant le d�but de interval temporel underlier Agreement and FinancialInstrument agent cognitif a le droit d'executer la classe d�crite par cha�ne sympbolique
(=> (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 a un attribute Option optionHolder Agreement and agent cognitif strikePrice Agreement and mesure de devise agreementExpirationDate Agreement and interval temporel underlier Agreement and FinancialInstrument price FinancialInstrument, mesure de devise and AutonomousAgent AutonomousAgent est une instance de interval temporel la fin de AutonomousAgent se produit avant le d�but de interval temporel agent cognitif a le droit d'executer la classe d�crite par cha�ne sympbolique
(=> (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 a un attribute Option optionSeller Agreement and agent cognitif strikePrice Agreement and mesure de devise agreementExpirationDate Agreement and interval temporel price FinancialInstrument, mesure de devise and AutonomousAgent AutonomousAgent est une instance de interval temporel la fin de AutonomousAgent se produit avant le d�but de interval temporel underlier Agreement and FinancialInstrument agent cognitif est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
(=> (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 a un attribute Option optionSeller Agreement and agent cognitif strikePrice Agreement and mesure de devise agreementExpirationDate Agreement and interval temporel underlier Agreement and FinancialInstrument price FinancialInstrument, mesure de devise and AutonomousAgent AutonomousAgent est une instance de interval temporel la fin de AutonomousAgent se produit avant le d�but de interval temporel agent cognitif est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
(=> (and (property ?Option StockOption) (underlier ?Option ?Stock)) (property ?Stock CommonStock))	FinancialOntology.kif 2712-2716	Agreement a un attribute StockOption underlier Agreement and FinancialInstrument FinancialInstrument a un attribute CommonStock
(=> (underlier ?OPTION ?FI) (property ?OPTION Option))	FinancialOntology.kif 2745-2747	underlier Agreement and FinancialInstrument Agreement a un attribute Option

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 a un attribute Option
attribut point temporel, FinancialInstrument and mesure de devise attribut est CallOption attribut est PutOption Agreement a un attribute attribut agreementExpirationDate Agreement and point temporel strikePrice Agreement and mesure de devise underlier Agreement and FinancialInstrument la mesure de FinancialInstrument est 100 ShareUnit(s)

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

KB Term:			Term intersection

English Word: