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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ConsumerElectronicsShow
ConsumerElectronicsShow

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


(documentation ConsumerElectronicsShow ChineseLanguage "CES (消费电子展(英语:Consumer Electronics Show, 简称:CES)是一个知名国际性电子产品和科技的贸易展览会,每年吸引来自世界各地的主要公司和业界专门人士参加。 消费型电子展每年1月于美国内华达州的拉斯维加斯会议中心举行。展览由消费电子协会赞助,并不开放一般民众入场, 展览期间通常会举行多场产品预览会和新产品发表会。在2015年5月,亚洲消费性电子展(CES Asia)首度于中国上海市举行。 2016年时,主办单位将展览名称中原有的「国际」(International)去除,简化名称为「CES」。(资料来自维基百科)") ComputingBrands.kif 2346-2350
(documentation ConsumerElectronicsShow ChineseTraditionalLanguage "消費電子展(英語:Consumer Electronics Show,簡稱:CES)是一個知名國際性電子產品和科技的貿易展覽會,每年吸引來自世界各地的主要公司和業界專門人士參加。 消費型電子展每年1月於美國內華達州的拉斯維加斯會議中心舉行。展覽由消費電子協會贊助,並不開放一般民眾入場, 展覽期間通常會舉行多場產品預覽會和新產品發表會。在2015年5月,亞洲消費性電子展(CES Asia)首度於中國上海市舉行。 2016年時,主辦單位將展覽名稱中原有的「國際」(International)去除,簡化名稱為「CES」。(資料來自維基百科)") ComputingBrands.kif 2340-2344
(documentation ConsumerElectronicsShow EnglishLanguage "CES (formerly an acronym for Consumer Electronics Show) is an annual trade show organized by the Consumer Technology Association (CTA). Held in January at the Las Vegas Convention Center in Las Vegas, Nevada, United States, the event typically hosts presentations of new products and technologies in the consumer electronics industry. (from Wikipedia)") ComputingBrands.kif 2334-2338
(documentation ConsumerElectronicsShow JapaneseLanguage " CES(シーイーエス)は、毎年1月、 全米民生技術協会 (CTA) が主催し、ネバダ州ラスベガスで開催される電子機器の見本市である。業界向けの 見本市で、一般への公開はされていない。展示会には多くの新製品が出品され、プロトタイプ(試作品)も 多い。当初から長らく名称はConsumer Electronics Showだった。現在、CESではConsumer Electronics Showとして紹介しないように公式に記している。 ラスベガス・コンベンションセンターを中心として開催 され、一部の特定分野は別会場となっている。(ウィキペディア参照)") ComputingBrands.kif 2352-2357
(subclass ConsumerElectronicsShow TradeShow) ComputingBrands.kif 2360-2360 ConsumerElectronicsShow is a subclass of TradeShow

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


(=>
    (instance ?CES ConsumerElectronicsShow)
    (exists (?J)
        (and
            (instance ?J January)
            (during ?CES ?J))))
ComputingBrands.kif 2366-2371
(=>
    (instance ?CES ConsumerElectronicsShow)
    (located ?CES Countries-USA-provinces-Nevada-cities-LasVegas))
ComputingBrands.kif 2362-2364


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