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 2661-2663
(domain underlier 1 Agreement)	FinancialOntology.kif 2659-2659	The number 1 argument of underlier is an instance of agreement
(domain underlier 2 FinancialInstrument)	FinancialOntology.kif 2660-2660	The number 2 argument of underlier is an instance of financial instrument
(instance underlier BinaryPredicate)	FinancialOntology.kif 2657-2657	underlier is an instance of binary predicate

appearance as argument number 2

(format EnglishLanguage underlier "%2 is %n an underlier of %1")	domainEnglishFormat.kif 648-648
(termFormat EnglishLanguage underlier "underlier")	domainEnglishFormat.kif 10406-10406	"underlier" is the printable form of underlier in english language

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	There exist a financial instrument, the financial instrumentPrice and another currency measure such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument price the financial instrumentPrice for an agent and the other currency measure is a strike price of the agreement and the financial instrumentPrice is less than the other currency measure if and only if the agent is an out of the money of the agreement
(<=> (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	There exist a financial instrument, the financial instrumentPrice and another currency measure such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument price the financial instrumentPrice for an agent and the other currency measure is a strike price of the agreement and the other currency measure is less than the financial instrumentPrice if and only if the agent is an in the money of the agreement
(<=> (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	There exist a financial instrument, the financial instrumentPrice and another currency measure such that an agreement is an instance of option and the financial instrument is an underlier of the agreement and the financial instrument price the financial instrumentPrice for an agent and the other currency measure is a strike price of the agreement and the financial instrumentPrice is equal to the other currency measure if and only if the agent is an at the money of the agreement
(<=> (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	There exist a financial instrument, the financial instrumentPrice and another currency measure such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument price the financial instrumentPrice for an agent and the other currency measure is a strike price of the agreement and the financial instrumentPrice is less than the other currency measure if and only if the agent is an in the money of the agreement
(<=> (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	There exist a financial instrument, the financial instrumentPrice and another currency measure such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument price the financial instrumentPrice for an agent and the other currency measure is a strike price of the agreement and the other currency measure is less than the financial instrumentPrice if and only if the agent is an out of the money of the agreement
(=> (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	If a process is an instance of exercise an option and an agreement is a patient of the process and the agreement has an attribute call option and the process exists during a time position and a financial instrument is an underlier of the agreement, then there exists another process such that the other process is an instance of buying and the financial instrument is a patient of the other process and the other process exists during the time position and the measure of the financial instrument is 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 2688-2700	If a process is an instance of exercise an option and an agreement is a patient of the process and the agreement has an attribute put option and the process exists during a time position and a financial instrument is an underlier of the agreement, then there exists another process such that the other process is an instance of selling and the financial instrument is a patient of the other process and the other process exists during the time position and the measure of the financial instrument is 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 2590-2606	If an agreement has an attribute option and a cognitive agent holds the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval and the financial instrument is an underlier of the agreement, then the cognitive agent has the right to perform the class described by a symbolic string
(=> (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	If an agreement has an attribute option and a cognitive agent holds the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is an underlier of the agreement and the financial instrument price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval, then the cognitive agent has the right to perform the class described by a symbolic string
(=> (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	If an agreement has an attribute option and a cognitive agent sells the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval and the financial instrument is an underlier of the agreement, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=> (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	If an agreement has an attribute option and a cognitive agent sells the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is an underlier of the agreement and the financial instrument price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=> (and (property ?Option StockOption) (underlier ?Option ?Stock)) (property ?Stock CommonStock))	FinancialOntology.kif 2633-2637	If an agreement has an attribute stock option and a financial instrument is an underlier of the agreement, then the financial instrument has an attribute common stock
(=> (underlier ?OPTION ?FI) (property ?OPTION Option))	FinancialOntology.kif 2665-2667	If a financial instrument is an underlier of an agreement, then the agreement has an 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 ?Stocks)
            (measure ?Stock
                (MeasureFn 100 ShareUnit)))))

FinancialOntology.kif 2463-2474

If an agreement has an attribute option,
then there exist an attribute, a time point,, , an object and a currency measure such that the attribute is equal to call option or the attribute is equal to put option and the agreement has an attribute the attribute and the agreement has expiration the time point and the currency measure is a strike price of the agreement and the objects is an underlier of the agreement and the measure of the object is 100 ShareUnit(s)

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

KB Term:			Term intersection

English Word: