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

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2537-2538
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10172-10172
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11568-11568
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11567-11567
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11561-11561
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11562-11562
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11563-11563
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11564-11564
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11565-11565
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2536-2536	Option est un sous-attribut de FinancialContract

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2784-2784	AmericanStyleOption est un sous-attribut de Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2617-2617	CallOption est un sous-attribut de Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2555-2555	ConventionalOption est un sous-attribut de Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2824-2824	EquityOption est un sous-attribut de Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2804-2804	EuropeanStyleOption est un sous-attribut de Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2991-2991	IndexOption est un sous-attribut de Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2568-2568	LEAPS est un sous-attribut de Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2663-2663	PutOption est un sous-attribut de Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2707-2707	StockOption est un sous-attribut de Option
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42354-42354
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42353-42353
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42352-42352

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3029-3029	Le nombre 1 argument de atTheMoney est une instance de Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2996-2996	Le nombre 1 argument de inTheMoney est une instance de Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3045-3045	Le nombre 1 argument de outOfTheMoney est une instance de Option

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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)

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3097-3110	Processus est une instance de SpreadOption entit� entit�, processus, processus and position temporel entit� est une instance de Option entit� est une instance de Option processus est une instance de acheter processus est une instance de vendre processus est un sous-processus de processus processus est un sous-processus de processus entit� est un patient de processus entit� est un patient de processus processus existe pendant position temporel processus existe pendant position temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3149-3173	Objet est une instance de Straddle cha�ne sympbolique mesure de devise, point temporel, nombre entier and cha�ne sympbolique le nombre d' instances dans la classe d�crite par cha�ne sympbolique est nombre entier le nombre d' instances dans la classe d�crite par cha�ne sympbolique est nombre entier Agreement Agreement est une instance de Option Agreement est une partie de objet agreementExpirationDate Agreement and point temporel strikePrice Agreement and mesure de devise
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2591-2593	optionHolder Agreement and agent cognitif Agreement a un attribute Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2604-2606	optionSeller Agreement and agent cognitif Agreement a un attribute Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2725-2727	premium Agreement and mesure de devise Agreement a un attribute Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2745-2747	underlier Agreement and FinancialInstrument Agreement a un attribute Option

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