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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StockMarketTransaction
StockMarketTransaction(股市交易)

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


(documentation StockMarketTransaction EnglishLanguage "Any FinancialTransaction which involves Stock and which occurs in a StockMarket.") FinancialOntology.kif 3205-3206
(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 3204-3204 股市交易金融交易subclass

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


(subclass Downtick StockMarketTransaction) FinancialOntology.kif 3243-3243 打勾股市交易subclass
(subclass Uptick StockMarketTransaction) FinancialOntology.kif 3221-3221 上扬股市交易subclass
(termFormat ChineseLanguage StockMarketTransaction "股市交易") domainEnglishFormat.kif 55402-55402
(termFormat ChineseTraditionalLanguage StockMarketTransaction "股市交易") domainEnglishFormat.kif 55401-55401
(termFormat EnglishLanguage StockMarketTransaction "stock market transaction") domainEnglishFormat.kif 55400-55400

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


(=>
    (and
        (instance ?Transaction StockMarketTransaction)
        (patient ?Transaction ?Stock))
    (instance ?Stock Stock))
FinancialOntology.kif 3215-3219
(=>
    (instance ?Transaction StockMarketTransaction)
    (exists (?Market)
        (and
            (instance ?Market StockMarket)
            (eventLocated ?Transaction ?Market))))
FinancialOntology.kif 3208-3213

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


(=>
    (and
        (instance ?Downtick Downtick)
        (patient ?Downtick ?Stock)
        (equal
            (WhenFn ?Downtick) ?Time1)
        (instance ?U UnitOfCurrency)
        (price ?Stock
            (MeasureFn ?Price1 ?U) ?Time1))
    (exists (?Transaction ?Time2 ?Price2)
        (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 3247-3263
(=>
    (and
        (instance ?Uptick Uptick)
        (patient ?Uptick ?Stock)
        (equal
            (WhenFn ?Uptick) ?Time1)
        (instance ?U UnitOfCurrency)
        (price ?Stock
            (MeasureFn ?Price1 ?U) ?Time1))
    (exists (?Transaction ?Time2 ?Price2)
        (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 3225-3241


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