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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IMessage
IMessage(i-message)

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


(documentation IMessage ChineseLanguage "iMessage是苹果公司开发的一款即时通讯服务,其客户端称作「讯息」( Messages),适用于iOS 5与OS X Mountain Lion以上的系统版本。 (资料来自维基百科)") ComputingBrands.kif 3368-3369
(documentation IMessage ChineseTraditionalLanguage "iMessage是蘋果公司開發的一款即時通訊服務, 其客戶端稱作「訊息」(Messages),適用於iOS 5與OS X Mountain Lion以上的系統版本。 (資料來自維基百科)") ComputingBrands.kif 3366-3367
(documentation IMessage 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 3363-3365
(documentation IMessage JapaneseLanguage "iMessageとはアップルが開発したiOS 5以降とOS X Mountain Lion以降で動作するインスタントメッセージサービスである。(ウィキペディア参照)") ComputingBrands.kif 3370-3371
(subclass IMessage ComputerProgram) ComputingBrands.kif 3361-3361 I-message is a subclass of computer program

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


(termFormat EnglishLanguage IMessage "i-message") domainEnglishFormat.kif 65003-65003

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


(=>
    (instance ?IM IMessage)
    (hasPurpose ?IM
        (exists (?C)
            (and
                (instance ?C WrittenCommunication)
                (instrument ?C ?IM)))))
ComputingBrands.kif 3373-3379


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