Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  RomeItaly

Sigma KEE - Stock
Stock(stock)
OTC_stock, classified_stock, common_stock_equivalent, control_stock, cumulative_preferred, cumulative_preferred_stock, letter_stock, no-par-value_stock, no-par_stock, over_the_counter_stock, quarter_stock, reacquired_stock, stock, stock_certificate, treasury_shares, treasury_stock, unlisted_stock, voting_stock, watered_stock

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2154-2156
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6899-6899
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7993-7993
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7994-7994
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7995-7995
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2152-2152 Stock is a subclass of financial instrument
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2153-2153 Stock is a subclass of investment

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2179-2179 Blue chip stock is a subclass of stock
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3188-3188 Borrowed stock is a subclass of stock
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2158-2158 Common stock is a subclass of stock
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2191-2191 Defensive stock is a subclass of stock
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2183-2183 Growth stock is a subclass of stock
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2199-2199 Penny stock is a subclass of stock
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2166-2166 Preferred stock is a subclass of stock
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2195-2195 Restricted stock is a subclass of stock
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2187-2187 Value stock is a subclass of stock
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55386-55386
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55385-55385
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55384-55384

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3470-3470 The number 1 argument of closing price is an instance of stock
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3478-3478 The number 1 argument of final price is an instance of stock
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1726-1726 The number 1 argument of listed on is an instance of stock
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2217-2217 The number 1 argument of stock holder is an instance of stock
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3443-3443 The number 1 argument of stock symbol is an instance of stock

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1696-1701 An abstract is an instance of stock index if and only if there exists a performance measure such that the performance measure is an instance of stock and the performance measure is a benchmark of the abstract
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3202-3206


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