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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StockMarketTransaction
StockMarketTransaction(stock market transaction)

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


(documentation StockMarketTransaction EnglishLanguage "Any FinancialTransaction which involves Stock and which occurs in a StockMarket.") FinancialOntology.kif 3199-3200
(externalImage StockMarketTransaction "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 81/ NASDAQ.JPG") pictureList.kif 8736-8736
(externalImage StockMarketTransaction "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Bombay-Stock-Exchange.jpg") pictureList.kif 9699-9699
(subclass StockMarketTransaction FinancialTransaction) FinancialOntology.kif 3198-3198 Stock market transaction is a subclass of financial transaction

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


(subclass Downtick StockMarketTransaction) FinancialOntology.kif 3237-3237 Downtick is a subclass of stock market transaction
(subclass Uptick StockMarketTransaction) FinancialOntology.kif 3215-3215 Uptick is a subclass of stock market transaction
(termFormat ChineseLanguage StockMarketTransaction "股市交易") domainEnglishFormat.kif 55395-55395
(termFormat ChineseTraditionalLanguage StockMarketTransaction "股市交易") domainEnglishFormat.kif 55394-55394
(termFormat EnglishLanguage StockMarketTransaction "stock market transaction") domainEnglishFormat.kif 55393-55393

antecedent
-------------------------


(=>
    (and
        (instance ?Transaction StockMarketTransaction)
        (patient ?Transaction ?Stock))
    (instance ?Stock Stock))
FinancialOntology.kif 3209-3213
(=>
    (instance ?Transaction StockMarketTransaction)
    (exists (?Market)
        (and
            (instance ?Market StockMarket)
            (eventLocated ?Transaction ?Market))))
FinancialOntology.kif 3202-3207

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


(=>
    (and
        (instance ?Downtick Downtick)
        (patient ?Downtick ?Stock)
        (equal
            (WhenFn ?Downtick) ?Time1)
        (instance ?U UnitOfCurrency)
        (price ?Stock
            (MeasureFn ?Price1 ?U) ?Time1))
    (exists (?Transaction ?Time2)
        (and
            (instance ?Transaction StockMarketTransaction)
            (patient ?Transaction ?Stock)
            (equal
                (WhenFn ?Transaction) ?Time2)
            (meetsTemporally ?Time2 ?Time1)
            (price ?Stock
                (MeasureFn ?Price2 ?U) ?Time2)
            (greaterThan ?Price2 ?Price1))))
FinancialOntology.kif 3241-3257
(=>
    (and
        (instance ?Uptick Uptick)
        (patient ?Uptick ?Stock)
        (equal
            (WhenFn ?Uptick) ?Time1)
        (instance ?U UnitOfCurrency)
        (price ?Stock
            (MeasureFn ?Price1 ?U) ?Time1))
    (exists (?Transaction ?Time2)
        (and
            (instance ?Transaction StockMarketTransaction)
            (patient ?Transaction ?Stock)
            (equal
                (WhenFn ?Transaction) ?Time2)
            (meetsTemporally ?Time2 ?Time1)
            (price ?Stock
                (MeasureFn ?Price2 ?U) ?Time2)
            (lessThan ?Price2 ?Price1))))
FinancialOntology.kif 3219-3235


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