TreeView Knowledge Base Browser - StockMarketTransaction

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

StockMarketTransaction

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	子類股市交易 and FinancialTransaction

appearance as argument number 2

(subclass Downtick StockMarketTransaction)	FinancialOntology.kif 3230-3230	子類打勾 and 股市交易
(subclass Uptick StockMarketTransaction)	FinancialOntology.kif 3208-3208	子類上揚 and 股市交易
(termFormat ChineseLanguage StockMarketTransaction "股市交易")	domainEnglishFormat.kif 55418-55418
(termFormat ChineseTraditionalLanguage StockMarketTransaction "股市交易")	domainEnglishFormat.kif 55417-55417
(termFormat EnglishLanguage StockMarketTransaction "stock market transaction")	domainEnglishFormat.kif 55416-55416

antecedent

(=> (and (instance ?Transaction StockMarketTransaction) (patient ?Transaction ?Stock)) (instance ?Stock Stock))	FinancialOntology.kif 3202-3206	例 Process and 股市交易患者 Process and Entity 例 Entity and 股票
(=> (instance ?Transaction StockMarketTransaction) (exists (?Market) (and (instance ?Market StockMarket) (eventLocated ?Transaction ?Market))))	FinancialOntology.kif 3195-3200	例 Process and 股市交易 Object 例 Object and 股市 Process 是 located 在 Object

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	例 Process and 打勾患者 Process and Physical 等於何時 Process and AutonomousAgent 例 UnitOfMeasure and UnitOfCurrency Physical 是對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure Process AutonomousAgent and RealNumber 例 Process and 股市交易患者 Process and Physical 等於何時 Process and AutonomousAgent 短暫相遇 AutonomousAgent and AutonomousAgent Physical 是對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
(=> (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	例 Process and 上揚患者 Process and Physical 等於何時 Process and AutonomousAgent 例 UnitOfMeasure and UnitOfCurrency Physical 是對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure Process AutonomousAgent and RealNumber 例 Process and 股市交易患者 Process and Physical 等於何時 Process and AutonomousAgent 短暫相遇 AutonomousAgent and AutonomousAgent Physical 是對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure 少於 RealNumber and RealNumber

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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