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 2085-2087
(externalImage Stock "http://upload.wikimedia.org/wikipedia/commons/6/6f/ IE_Real_SandP_Prices%2C_Earnings%2C_and_Dividends_1871-2006.png") pictureList.kif 6900-6900
(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 7995-7995
(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 7996-7996
(externalImage Stock "http://upload.wikimedia.org/wikipedia/commons/d/d5/ IE_Real_SandP_Price-Earnings_Ratio%2C_Interest_1871-2006.png") pictureList.kif 7997-7997
(subclass Stock FinancialInstrument) FinancialOntology.kif 2083-2083
(subclass Stock Investment) FinancialOntology.kif 2084-2084

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


(subclass BlueChipStock Stock) FinancialOntology.kif 2110-2110
(subclass BorrowedStock Stock) FinancialOntology.kif 3092-3092
(subclass CommonStock Stock) FinancialOntology.kif 2089-2089
(subclass DefensiveStock Stock) FinancialOntology.kif 2122-2122
(subclass GrowthStock Stock) FinancialOntology.kif 2114-2114
(subclass PennyStock Stock) FinancialOntology.kif 2130-2130
(subclass PreferredStock Stock) FinancialOntology.kif 2097-2097
(subclass RestrictedStock Stock) FinancialOntology.kif 2126-2126
(subclass ValueStock Stock) FinancialOntology.kif 2118-2118
(termFormat ChineseLanguage Stock "股票") domainEnglishFormat.kif 55279-55279
(termFormat ChineseTraditionalLanguage Stock "股票") domainEnglishFormat.kif 55278-55278
(termFormat EnglishLanguage Stock "stock") domainEnglishFormat.kif 55277-55277

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


(domain closingPrice 1 Stock) FinancialOntology.kif 3367-3367
(domain finalPrice 1 Stock) FinancialOntology.kif 3375-3375
(domain listedOn 1 Stock) FinancialOntology.kif 1662-1662
(domain stockHolder 1 Stock) FinancialOntology.kif 2148-2148
(domain stockSymbol 1 Stock) FinancialOntology.kif 3340-3340

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


(<=>
    (instance ?Index StockIndex)
    (exists (?Stock)
        (and
            (instance ?Stock Stock)
            (benchmark ?Index ?Stock))))
FinancialOntology.kif 1652-1657
(=>
    (and
        (instance ?Transaction StockMarketTransaction)
        (patient ?Transaction ?Stock))
    (instance ?Stock Stock))
FinancialOntology.kif 3106-3110


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners