TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Message FactualText)	Mid-level-ontology.kif 16374-16374	Message is a subclass of factual text
(documentation Message EnglishLanguage "A FactualText which is intended to be delivered to and read by a Human, GroupOfPeople or Organization.")	Mid-level-ontology.kif 16375-16376	Message is a subclass of factual text
(externalImage Message "http://upload.wikimedia.org/wikipedia/commons/2/ 23/ Arecibo_message.png")	pictureList.kif 2854-2854	Message is a subclass of factual text
(externalImage Message "http://upload.wikimedia.org/wikipedia/commons/1/ 17/ SMS_mobile.jpg")	pictureList.kif 2855-2855	Message is a subclass of factual text
(externalImage Message "http://upload.wikimedia.org/wikipedia/commons/0/ 02/ Variable_message_sign.jpg")	pictureList.kif 2856-2856	Message is a subclass of factual text

appearance as argument number 2

(termFormat EnglishLanguage Message "message")	domainEnglishFormat.kif 37211-37211
(termFormat ChineseTraditionalLanguage Message "信息")	domainEnglishFormat.kif 37212-37212
(termFormat ChineseLanguage Message "信息")	domainEnglishFormat.kif 37213-37213

consequent

(=>
    (instance ?MESSAGING Messaging)
    (exists (?M)
        (and
            (instance ?M Message)
            (patient ?MESSAGING ?M))))

If X is an instance of messaging, then there exists Y such that Y is an instance of message and Y is a patient of X