TreeView Knowledge Base Browser - Option

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Option

Option

more pictures...

appearance as argument number 1

(documentation Option EnglishLanguage "An option is a contract to buy or sell 100 shares of a stock at a fixed price (the strike price) on or before a fixed date.")	FinancialOntology.kif 2537-2538
(externalImage Option "http://upload.wikimedia.org/wikipedia/commons/2/25/ NYSESecurity.JPG")	pictureList.kif 10172-10172
(externalImage Option "http://upload.wikimedia.org/wikipedia/commons/4/4c/ E-ticker.jpg")	pictureList.kif 11568-11568
(externalImage Option "http://upload.wikimedia.org/wikipedia/commons/7/72/ Boerse_01_KMJ.jpg")	pictureList.kif 11567-11567
(externalImage Option "http://upload.wikimedia.org/wikipedia/en/5/57/ShortStraddle.jpg")	pictureList.kif 11561-11561
(externalImage Option "http://upload.wikimedia.org/wikipedia/en/6/67/Covered_Call.jpg")	pictureList.kif 11562-11562
(externalImage Option "http://upload.wikimedia.org/wikipedia/en/7/7f/CallOption.png")	pictureList.kif 11563-11563
(externalImage Option "http://upload.wikimedia.org/wikipedia/en/d/d4/LongButterfly.jpg")	pictureList.kif 11564-11564
(externalImage Option "http://upload.wikimedia.org/wikipedia/en/f/f5/CallWrite.png")	pictureList.kif 11565-11565
(subAttribute Option FinancialContract)	FinancialOntology.kif 2536-2536	Option ist ein teilattribut von FinancialContract

appearance as argument number 2

(subAttribute AmericanStyleOption Option)	FinancialOntology.kif 2784-2784	AmericanStyleOption ist ein teilattribut von Option
(subAttribute CallOption Option)	FinancialOntology.kif 2617-2617	CallOption ist ein teilattribut von Option
(subAttribute ConventionalOption Option)	FinancialOntology.kif 2555-2555	ConventionalOption ist ein teilattribut von Option
(subAttribute EquityOption Option)	FinancialOntology.kif 2824-2824	EquityOption ist ein teilattribut von Option
(subAttribute EuropeanStyleOption Option)	FinancialOntology.kif 2804-2804	EuropeanStyleOption ist ein teilattribut von Option
(subAttribute IndexOption Option)	FinancialOntology.kif 2991-2991	IndexOption ist ein teilattribut von Option
(subAttribute LEAPS Option)	FinancialOntology.kif 2568-2568	LEAPS ist ein teilattribut von Option
(subAttribute PutOption Option)	FinancialOntology.kif 2663-2663	PutOption ist ein teilattribut von Option
(subAttribute StockOption Option)	FinancialOntology.kif 2707-2707	StockOption ist ein teilattribut von Option
(termFormat ChineseLanguage Option "选项")	domainEnglishFormat.kif 42354-42354
(termFormat ChineseTraditionalLanguage Option "選項")	domainEnglishFormat.kif 42353-42353
(termFormat EnglishLanguage Option "option")	domainEnglishFormat.kif 42352-42352

appearance as argument number 3

(domain atTheMoney 1 Option)	FinancialOntology.kif 3029-3029	Die Zahl 1 Argument von atTheMoney ist ein fall von Option %n{nicht}
(domain inTheMoney 1 Option)	FinancialOntology.kif 2996-2996	Die Zahl 1 Argument von inTheMoney ist ein fall von Option %n{nicht}
(domain outOfTheMoney 1 Option)	FinancialOntology.kif 3045-3045	Die Zahl 1 Argument von outOfTheMoney ist ein fall von Option %n{nicht}

antecedent

(<=> (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	Es gibt FinancialInstrument, FinancialInstrumentPrice, and und CurrencyMeasure um Agreement ist ein fall von Option %n{nicht} und underlier Agreement and FinancialInstrument und price FinancialInstrument, FinancialInstrumentPrice and AutonomousAgent und strikePrice Agreement and CurrencyMeasure und FinancialInstrumentPrice ist gleich CurrencyMeasure %n{nicht} genau dann wenn atTheMoney Agreement and AutonomousAgent
(=> (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	Wenn Agreement hat ein attribut Option %n{nicht} und optionHolder Agreement and CognitiveAgent und strikePrice Agreement and CurrencyMeasure und agreementExpirationDate Agreement and TimeInterval und price FinancialInstrument, CurrencyMeasure and AutonomousAgent und AutonomousAgent ist ein fall von TimeInterval %n{nicht} und das ende von AutonomousAgent geschieht vor der anfang von TimeInterval %n{nicht} und underlier Agreement and FinancialInstrument, dann CognitiveAgent hat das Recht, die kategorie die SymbolicString beschreibt durchzufuehren %n{nicht}
(=> (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	Wenn Agreement hat ein attribut Option %n{nicht} und optionHolder Agreement and CognitiveAgent und strikePrice Agreement and CurrencyMeasure und agreementExpirationDate Agreement and TimeInterval und underlier Agreement and FinancialInstrument und price FinancialInstrument, CurrencyMeasure and AutonomousAgent und AutonomousAgent ist ein fall von TimeInterval %n{nicht} und das ende von AutonomousAgent geschieht vor der anfang von TimeInterval %n{nicht}, dann CognitiveAgent hat das Recht, die kategorie die SymbolicString beschreibt durchzufuehren %n{nicht}
(=> (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	Wenn Agreement hat ein attribut Option %n{nicht} und optionSeller Agreement and CognitiveAgent und strikePrice Agreement and CurrencyMeasure und agreementExpirationDate Agreement and TimeInterval und price FinancialInstrument, CurrencyMeasure and AutonomousAgent und AutonomousAgent ist ein fall von TimeInterval %n{nicht} und das ende von AutonomousAgent geschieht vor der anfang von TimeInterval %n{nicht} und underlier Agreement and FinancialInstrument, dann CognitiveAgent wird gezwungen, die Aufgabe der Art von die kategorie die SymbolicString beschreibt durchzuf�hren %n{nicht}
(=> (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	Wenn Agreement hat ein attribut Option %n{nicht} und optionSeller Agreement and CognitiveAgent und strikePrice Agreement and CurrencyMeasure und agreementExpirationDate Agreement and TimeInterval und underlier Agreement and FinancialInstrument und price FinancialInstrument, CurrencyMeasure and AutonomousAgent und AutonomousAgent ist ein fall von TimeInterval %n{nicht} und das ende von AutonomousAgent geschieht vor der anfang von TimeInterval %n{nicht}, dann CognitiveAgent wird gezwungen, die Aufgabe der Art von die kategorie die SymbolicString beschreibt durchzuf�hren %n{nicht}
(=> (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	Wenn Agreement hat ein attribut Option %n{nicht}, dann es gibt Attribute, TimePoint,, , FinancialInstrument, and und CurrencyMeasure um Attribute ist gleich CallOption %n{nicht} oder Attribute ist gleich PutOption %n{nicht} und Agreement hat ein attribut Attribute %n{nicht} und agreementExpirationDate Agreement and TimePoint und strikePrice Agreement and CurrencyMeasure und underlier Agreement and FinancialInstrument und das mass von ** FinancialInstrument ist 100 ShareUnit(s) %n{nicht}

consequent

(=> (instance ?Spread SpreadOption) (exists (?Option1 ?Option2 ?Buy ?Sell ?Time) (and (instance ?Option1 Option) (instance ?Option2 Option) (instance ?Buy Buying) (instance ?Sell Selling) (subProcess ?Buy ?Spread) (subProcess ?Sell ?Spread) (patient ?Buy ?Option1) (patient ?Sell ?Option2) (time ?Buy ?Time) (time ?Sell ?Time))))	FinancialOntology.kif 3097-3110	Wenn Process ist ein fall von SpreadOption %n{nicht}, dann es gibt Entity, Entity,, , Process,, , Process, and und TimePosition um Entity ist ein fall von Option %n{nicht} und Entity ist ein fall von Option %n{nicht} und Process ist ein fall von Buying %n{nicht} und Process ist ein fall von Selling %n{nicht} und Process ist ein subProzess von Process und Process ist ein subProzess von Process und Entity ist ein patient von Process %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process besteht waehrend TimePosition %n{nicht} und Process besteht waehrend ** TimePosition %n{nicht}
(=> (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	Wenn Object ist ein fall von Straddle %n{nicht}, dann es gibt SymbolicString, CurrencyMeasure,, , TimePoint,, , Integer, and und SymbolicString um die Zahl Faellen in die kategorie die SymbolicString beschreibt ist gleich Integer %n{nicht} und die Zahl Faellen in die kategorie die SymbolicString beschreibt ist gleich Integer %n{nicht} und fuer alle Agreement wenn Agreement ist ein fall von Option %n{nicht} und Agreement ist ein teil von Object %n{nicht}, dann agreementExpirationDate Agreement and TimePoint und strikePrice Agreement and ** CurrencyMeasure
(=> (optionHolder ?OPTION ?AGENT) (property ?OPTION Option))	FinancialOntology.kif 2591-2593	Wenn optionHolder Agreement and CognitiveAgent, dann ** Agreement hat ein attribut Option %n{nicht}
(=> (optionSeller ?OPTION ?AGENT) (property ?OPTION Option))	FinancialOntology.kif 2604-2606	Wenn optionSeller Agreement and CognitiveAgent, dann ** Agreement hat ein attribut Option %n{nicht}
(=> (premium ?OPTION ?AMT) (property ?OPTION Option))	FinancialOntology.kif 2725-2727	Wenn premium Agreement and CurrencyMeasure, dann ** Agreement hat ein attribut Option %n{nicht}
(=> (underlier ?OPTION ?FI) (property ?OPTION Option))	FinancialOntology.kif 2745-2747	Wenn underlier Agreement and FinancialInstrument, dann ** Agreement hat ein attribut Option %n{nicht}

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

Show without tree

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