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 3209-3210
(externalImage StockMarketTransaction "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 81/ NASDAQ.JPG") pictureList.kif 8734-8734
(externalImage StockMarketTransaction "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Bombay_Stock_Exchange.jpg") pictureList.kif 9690-9690
(subclass StockMarketTransaction FinancialTransaction) FinancialOntology.kif 3208-3208 StockMarketTransaction est une sous-classe de financial transaction

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


(subclass Downtick StockMarketTransaction) FinancialOntology.kif 3247-3247 Downtick est une sous-classe de StockMarketTransaction
(subclass Uptick StockMarketTransaction) FinancialOntology.kif 3225-3225 Uptick est une sous-classe de StockMarketTransaction
(termFormat ChineseLanguage StockMarketTransaction "股市交易") domainEnglishFormat.kif 55419-55419 Uptick est une sous-classe de StockMarketTransaction
(termFormat ChineseTraditionalLanguage StockMarketTransaction "股市交易") domainEnglishFormat.kif 55418-55418 Uptick est une sous-classe de StockMarketTransaction
(termFormat EnglishLanguage StockMarketTransaction "stock market transaction") domainEnglishFormat.kif 55417-55417 Uptick est une sous-classe de StockMarketTransaction

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


(=>
    (and
        (instance ?Transaction StockMarketTransaction)
        (patient ?Transaction ?Stock))
    (instance ?Stock Stock))		 FinancialOntology.kif 3219-3223
(=>
    (instance ?Transaction StockMarketTransaction)
    (exists (?Market)
        (and
            (instance ?Market StockMarket)
            (eventLocated ?Transaction ?Market))))		 FinancialOntology.kif 3212-3217

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 3251-3267
(=>
    (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 3229-3245


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