TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Announcement FactualText)	Mid-level-ontology.kif 16124-16124	Announcement is a subclass of factual text
(documentation Announcement EnglishLanguage "Any Text which contains information about an event in the future.")	Mid-level-ontology.kif 16125-16126	Announcement is a subclass of factual text
(externalImage Announcement "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Variable_message_sign.jpg")	pictureList.kif 2639-2639	Announcement is a subclass of factual text
(externalImage Announcement "http://upload.wikimedia.org/wikipedia/en/d/ d8/ Bob_Murphy.jpg")	pictureList.kif 2741-2741	Announcement is a subclass of factual text

appearance as argument number 2

(termFormat EnglishLanguage Announcement "announcement")	domainEnglishFormat.kif 7643-7643
(termFormat ChineseTraditionalLanguage Announcement "公告")	domainEnglishFormat.kif 7644-7644
(termFormat ChineseLanguage Announcement "公告")	domainEnglishFormat.kif 7645-7645

antecedent

(=>
    (instance ?A Announcement)
    (exists (?CD ?I)
        (and
            (instance ?CD ContentDevelopment)
            (result ?CD ?A)
            (refers ?A ?I)
            (instance ?I SocialInteraction)
            (earlier
                (WhenFn ?CD)
                (WhenFn ?I)))))

If X is an instance of announcement, then there exist Y, Z such that Y is an instance of content development, X is a result of Y, X includes a reference to Z, Z is an instance of social interaction, and the time of existence of Y happens earlier than the time of existence of Z