TreeView Knowledge Base Browser - StockOption

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

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 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