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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Message
Message(message)
broadcast, heliogram, message, 信息

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


(documentation Message EnglishLanguage "A FactualText which is intended to be delivered to and read by a Human, GroupOfPeople or Organization.") Mid-level-ontology.kif 12513-12514
(externalImage Message "http://upload.wikimedia.org/wikipedia/commons/0/ 02/ Variable-message-sign.jpg") pictureList.kif 2858-2858 "http://upload.wikimedia.org/wikipedia/commons/0/02/ Variable-message-sign.jpg" is a URL depicting message
(externalImage Message "http://upload.wikimedia.org/wikipedia/commons/1/ 17/ SMS-mobile.jpg") pictureList.kif 2857-2857 "http://upload.wikimedia.org/wikipedia/commons/1/17/ SMS-mobile.jpg" is a URL depicting message
(externalImage Message "http://upload.wikimedia.org/wikipedia/commons/2/ 23/ Arecibo_message.png") pictureList.kif 2856-2856 "http://upload.wikimedia.org/wikipedia/commons/2/23/ Arecibo_message.png" is a URL depicting message
(subclass Message FactualText) Mid-level-ontology.kif 12512-12512 Message is a subclass of factual text

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


(termFormat ChineseLanguage Message "信息") domainEnglishFormat.kif 37135-37135 "信息" is the printable form of message in ChineseLanguage
(termFormat ChineseTraditionalLanguage Message "信息") domainEnglishFormat.kif 37134-37134 "信息" is the printable form of message in ChineseTraditionalLanguage
(termFormat EnglishLanguage Message "message") domainEnglishFormat.kif 37133-37133 "message" is the printable form of message in english language

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


(=>
    (instance ?MESSAGING Messaging)
    (exists (?M)
        (and
            (instance ?M Message)
            (patient ?MESSAGING ?M))))
Mid-level-ontology.kif 6290-6295


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners