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
-------------------------


s__documentation(s__StockMarketTransaction,s__EnglishLanguage,'"Any FinancialTransaction which involves Stock and which occurs in a StockMarket."')

FinancialOntology.kif 3132-3133
s__externalImage(s__StockMarketTransaction,'"http://upload.wikimedia.org/wikipedia/ commons/ 8/ 81/ NASDAQ.JPG"')

pictureList.kif 8739-8739
s__externalImage(s__StockMarketTransaction,'"http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Bombay-Stock-Exchange.jpg"')

pictureList.kif 9708-9708
s__subclass(s__StockMarketTransaction,s__FinancialTransaction)

s__instance(s__StockMarketTransaction,s__SetOrClass)

s__instance(s__FinancialTransaction,s__SetOrClass)

FinancialOntology.kif 3131-3131 Stock market transaction is a subclass of financial transaction

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


s__instance(s__StockMarketTransaction,s__SetOrClass)

s__instance(s__Downtick,s__SetOrClass)

s__subclass(s__Downtick,s__StockMarketTransaction)

FinancialOntology.kif 3170-3170 Downtick is a subclass of stock market transaction
s__instance(s__Uptick,s__SetOrClass)

s__instance(s__StockMarketTransaction,s__SetOrClass)

s__subclass(s__Uptick,s__StockMarketTransaction)

FinancialOntology.kif 3148-3148 Uptick is a subclass of stock market transaction
s__termFormat(s__ChineseLanguage,s__StockMarketTransaction,'"股市交易"')

domainEnglishFormat.kif 55394-55394
s__termFormat(s__ChineseTraditionalLanguage,s__StockMarketTransaction,'"股市交易"')

domainEnglishFormat.kif 55393-55393
s__termFormat(s__EnglishLanguage,s__StockMarketTransaction,'"stock market transaction"')

domainEnglishFormat.kif 55392-55392

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


( ! [V__Transaction,V__Stock] :
   (((s__instance(V__Transaction,s__StockMarketTransaction) &
         s__patient(V__Transaction,V__Stock))
     =>
     (s__instance(V__Stock,s__Stock)))
   )
)

FinancialOntology.kif 3142-3146
( ! [V__Transaction] :
   ((s__instance(V__Transaction,s__StockMarketTransaction) =>
       (( ? [V__Market] :
           ((s__instance(V__Market,s__StockMarket) &
               s__eventLocated(V__Transaction,V__Market))))))
   )
)

FinancialOntology.kif 3135-3140

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


( ! [V__Price1,V__U,V__Time1,V__Price2,V__Stock,V__Downtick] :
   (((s__instance(V__Price1,s__RealNumber) &
         s__instance(V__Time1,s__Agent) &
         s__instance(V__Time1,s__TimeInterval) &
         s__instance(V__Price2,s__RealNumber) &
         s__instance(V__Stock,s__Physical))
       =>
       (((s__instance(V__Downtick,s__Downtick) &
             s__patient(V__Downtick,V__Stock)
           &
           (s__WhenFn(V__Downtick)
           = V__Time1)
         &
         s__instance(V__U,s__UnitOfCurrency) &
         s__price(V__Stock,s__MeasureFn(V__Price1,V__U)
      ,V__Time1))
   =>
   (( ? [V__Transaction, V__Time2] :
       ((s__instance(V__Time2,s__Agent) &
           s__instance(V__Time2,s__TimeInterval) &
           (s__instance(V__Transaction,s__StockMarketTransaction) &
             s__patient(V__Transaction,V__Stock)
           &
           (s__WhenFn(V__Transaction)
           = V__Time2)
         &
         s__meetsTemporally(V__Time2,V__Time1)
       &
       s__price(V__Stock,s__MeasureFn(V__Price2,V__U)
    ,V__Time2)
   &
   s__greaterThan(V__Price2,V__Price1)))))))))
)
)

FinancialOntology.kif 3174-3190
( ! [V__Uptick,V__Price1,V__U,V__Time1,V__Price2,V__Stock] :
   (((s__instance(V__Price1,s__RealNumber) &
         s__instance(V__Time1,s__Agent) &
         s__instance(V__Time1,s__TimeInterval) &
         s__instance(V__Price2,s__RealNumber) &
         s__instance(V__Stock,s__Physical))
       =>
       (((s__instance(V__Uptick,s__Uptick) &
             s__patient(V__Uptick,V__Stock)
           &
           (s__WhenFn(V__Uptick)
           = V__Time1)
         &
         s__instance(V__U,s__UnitOfCurrency) &
         s__price(V__Stock,s__MeasureFn(V__Price1,V__U)
      ,V__Time1))
   =>
   (( ? [V__Transaction, V__Time2] :
       ((s__instance(V__Time2,s__Agent) &
           s__instance(V__Time2,s__TimeInterval) &
           (s__instance(V__Transaction,s__StockMarketTransaction) &
             s__patient(V__Transaction,V__Stock)
           &
           (s__WhenFn(V__Transaction)
           = V__Time2)
         &
         s__meetsTemporally(V__Time2,V__Time1)
       &
       s__price(V__Stock,s__MeasureFn(V__Price2,V__U)
    ,V__Time2)
   &
   s__lessThan(V__Price2,V__Price1)))))))))
)
)

FinancialOntology.kif 3152-3168


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