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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IMessage
IMessage

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


s__documentation(s__IMessage,s__ChineseLanguage,'"iMessage是苹果公司开发的一款即时通讯服务,其客户端称作「讯息」( Messages),适用于iOS 5与OS X Mountain Lion以上的系统版本。 (资料来自维基百科)"')

ComputingBrands.kif 3342-3343
s__documentation(s__IMessage,s__ChineseTraditionalLanguage,'"iMessage是蘋果公司開發的一款即時通訊服務, 其客戶端稱作「訊息」(Messages),適用於iOS 5與OS X Mountain Lion以上的系統版本。 (資料來自維基百科)"')

ComputingBrands.kif 3340-3341
s__documentation(s__IMessage,s__EnglishLanguage,'"iMessage is an instant messaging service developed by Apple Inc. Launched in 2011, it is supported by the Messages application in iOS 5 and later and OS X Mountain Lion and later. (from Wikipedia)"')

ComputingBrands.kif 3337-3339
s__documentation(s__IMessage,s__JapaneseLanguage,'"iMessageとはアップルが開発したiOS 5以降とOS X Mountain Lion以降で動作するインスタントメッセージサービスである。(ウィキペディア参照)"')

ComputingBrands.kif 3344-3345
s__instance(s__IMessage,s__SetOrClass)

s__subclass(s__IMessage,s__ComputerProgram)

s__instance(s__ComputerProgram,s__SetOrClass)

ComputingBrands.kif 3335-3335 IMessage is a subclass of computer program

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3347-3353


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