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 2171-2173
(externalImage Stock "http://upload.wikimedia.org/wikipedia/commons/6/6f/ IE_Real_SandP_Prices%2C_Earnings%2C_and_Dividends_1871-2006.png") pictureList.kif 6898-6898
(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 7992-7992
(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 7993-7993
(externalImage Stock "http://upload.wikimedia.org/wikipedia/commons/d/d5/ IE_Real_SandP_Price_Earnings_Ratio%2C_Interest_1871-2006.png") pictureList.kif 7994-7994
(subclass Stock FinancialInstrument) FinancialOntology.kif 2169-2169
(subclass Stock Investment) FinancialOntology.kif 2170-2170

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


(subclass BlueChipStock Stock) FinancialOntology.kif 2196-2196
(subclass BorrowedStock Stock) FinancialOntology.kif 3205-3205
(subclass CommonStock Stock) FinancialOntology.kif 2175-2175
(subclass DefensiveStock Stock) FinancialOntology.kif 2208-2208
(subclass GrowthStock Stock) FinancialOntology.kif 2200-2200
(subclass PennyStock Stock) FinancialOntology.kif 2216-2216
(subclass PreferredStock Stock) FinancialOntology.kif 2183-2183
(subclass RestrictedStock Stock) FinancialOntology.kif 2212-2212
(subclass ValueStock Stock) FinancialOntology.kif 2204-2204
(termFormat ChineseLanguage Stock "股票") domainEnglishFormat.kif 55390-55390
(termFormat ChineseTraditionalLanguage Stock "股票") domainEnglishFormat.kif 55389-55389
(termFormat EnglishLanguage Stock "stock") domainEnglishFormat.kif 55388-55388

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


(domain closingPrice 1 Stock) FinancialOntology.kif 3488-3488
(domain finalPrice 1 Stock) FinancialOntology.kif 3496-3496
(domain listedOn 1 Stock) FinancialOntology.kif 1743-1743
(domain stockHolder 1 Stock) FinancialOntology.kif 2234-2234
(domain stockSymbol 1 Stock) FinancialOntology.kif 3461-3461

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


(<=>
    (instance ?Index StockIndex)
    (exists (?Stock)
        (and
            (instance ?Stock Stock)
            (benchmark ?Index ?Stock))))
FinancialOntology.kif 1713-1718
(=>
    (and
        (instance ?Transaction StockMarketTransaction)
        (patient ?Transaction ?Stock))
    (instance ?Stock Stock))
FinancialOntology.kif 3219-3223


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