TreeView Knowledge Base Browser - strikePrice

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - strikePrice

strikePrice

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2611-2613
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2609-2609	Le nombre 1 argument de strikePrice est une instance de FinancialInstrument
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2610-2610	Le nombre 2 argument de strikePrice est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2608-2608	strikePrice est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2383-2383
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2382-2382
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2381-2381
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55638-55638
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55637-55637
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55636-55636

antecedent

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

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3119-3143	Processus est une instance de ButterflySpread FinancialInstrument FinancialInstrument, FinancialInstrument, FinancialInstrument, nombre r�el, nombre r�el, nombre r�el, nombre r�el and unit� de mesure FinancialInstrument est une instance de CallOption FinancialInstrument est une instance de CallOption FinancialInstrument est une instance de CallOption FinancialInstrument est une instance de CallOption FinancialInstrument est un sous-processus de processus FinancialInstrument est un sous-processus de processus FinancialInstrument est un sous-processus de processus FinancialInstrument est un sous-processus de processus unit� de mesure est une instance de UnitOfCurrency strikePrice FinancialInstrument and nombre r�el unit� de mesure(s) strikePrice FinancialInstrument and nombre r�el unit� de mesure(s) strikePrice FinancialInstrument and nombre r�el unit� de mesure(s) strikePrice FinancialInstrument and nombre r�el unit� de mesure(s) nombre r�el est moins que nombre r�el nombre r�el est moins que nombre r�el nombre r�el est plus grand que nombre r�el nombre r�el est plus grand que nombre r�el
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 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 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