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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Stock
Stock

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


(documentation Stock EnglishLanguage "An instrument that signifies an ownership position, or equity, in a Corporation, and represents a claim on its proportionate share in the corporation's assets and profits.") FinancialOntology.kif 2154-2156
(externalImage Stock "http://upload.wikimedia.org/wikipedia/commons/6/6f/ IE_Real_SandP_Prices%2C_Earnings%2C_and_Dividends_1871-2006.png") pictureList.kif 6899-6899
(externalImage Stock "http://upload.wikimedia.org/wikipedia/commons/7/77/ Price-Earnings_Ratios_as_a_Predictor_of_Twenty-Year_Returns_%28Shiller_Data%29.png") pictureList.kif 7993-7993
(externalImage Stock "http://upload.wikimedia.org/wikipedia/commons/7/7b/ Price-Earnings_Ratios_as_a_Predictor_of_Ten-Year_Returns_%28Shiller_Data%29.png") pictureList.kif 7994-7994
(externalImage Stock "http://upload.wikimedia.org/wikipedia/commons/d/d5/ IE_Real_SandP_Price-Earnings_Ratio%2C_Interest_1871-2006.png") pictureList.kif 7995-7995
(subclass Stock FinancialInstrument) FinancialOntology.kif 2152-2152
(subclass Stock Investment) FinancialOntology.kif 2153-2153

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


(subclass BlueChipStock Stock) FinancialOntology.kif 2179-2179
(subclass BorrowedStock Stock) FinancialOntology.kif 3188-3188
(subclass CommonStock Stock) FinancialOntology.kif 2158-2158
(subclass DefensiveStock Stock) FinancialOntology.kif 2191-2191
(subclass GrowthStock Stock) FinancialOntology.kif 2183-2183
(subclass PennyStock Stock) FinancialOntology.kif 2199-2199
(subclass PreferredStock Stock) FinancialOntology.kif 2166-2166
(subclass RestrictedStock Stock) FinancialOntology.kif 2195-2195
(subclass ValueStock Stock) FinancialOntology.kif 2187-2187
(termFormat ChineseLanguage Stock "股票") domainEnglishFormat.kif 55388-55388
(termFormat ChineseTraditionalLanguage Stock "股票") domainEnglishFormat.kif 55387-55387
(termFormat EnglishLanguage Stock "stock") domainEnglishFormat.kif 55386-55386

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


(domain closingPrice 1 Stock) FinancialOntology.kif 3470-3470
(domain finalPrice 1 Stock) FinancialOntology.kif 3478-3478
(domain listedOn 1 Stock) FinancialOntology.kif 1726-1726
(domain stockHolder 1 Stock) FinancialOntology.kif 2217-2217
(domain stockSymbol 1 Stock) FinancialOntology.kif 3443-3443

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


(<=>
    (instance ?Index StockIndex)
    (exists (?Stock)
        (and
            (instance ?Stock Stock)
            (benchmark ?Index ?Stock))))
FinancialOntology.kif 1696-1701
(=>
    (and
        (instance ?Transaction StockMarketTransaction)
        (patient ?Transaction ?Stock))
    (instance ?Stock Stock))
FinancialOntology.kif 3202-3206


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