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 3192-3193
(externalImage StockMarketTransaction "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 81/ NASDAQ.JPG") pictureList.kif 8735-8735
(externalImage StockMarketTransaction "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Bombay-Stock-Exchange.jpg") pictureList.kif 9691-9691
(subclass StockMarketTransaction FinancialTransaction) FinancialOntology.kif 3191-3191 股市交易金融交易subclass

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


(subclass Downtick StockMarketTransaction) FinancialOntology.kif 3230-3230 打勾股市交易subclass
(subclass Uptick StockMarketTransaction) FinancialOntology.kif 3208-3208 上扬股市交易subclass
(termFormat ChineseLanguage StockMarketTransaction "股市交易") domainEnglishFormat.kif 55416-55416
(termFormat ChineseTraditionalLanguage StockMarketTransaction "股市交易") domainEnglishFormat.kif 55415-55415
(termFormat EnglishLanguage StockMarketTransaction "stock market transaction") domainEnglishFormat.kif 55414-55414

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


(=>
    (and
        (instance ?Transaction StockMarketTransaction)
        (patient ?Transaction ?Stock))
    (instance ?Stock Stock))
FinancialOntology.kif 3202-3206
(=>
    (instance ?Transaction StockMarketTransaction)
    (exists (?Market)
        (and
            (instance ?Market StockMarket)
            (eventLocated ?Transaction ?Market))))
FinancialOntology.kif 3195-3200

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 3234-3250
(=>
    (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 3212-3228


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