StockOption - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - StockOption

StockOption(stock option)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2708-2710
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8736-8736
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9692-9692
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9693-9693
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2707-2707	Stock option is a subattribute of option

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55424-55424
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55423-55423
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55422-55422

antecedent

No TPTP formula. May not be expressible in strict first order.

FinancialOntology.kif 2712-2716

If an agreement the attribute stock option and a financial instrument is an underlier of the agreement,
then the financial instrument the attribute common stock

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