TreeView Knowledge Base Browser - ConstitutionDocument

appearance as argument number 1

(subclass ConstitutionDocument ContentBearingObject)	Government.kif 646-646	Constitution document is a subclass of content bearing object
(documentation ConstitutionDocument EnglishLanguage "ConstitutionDocument is the class of information_containing objects in which the &$Constitution of a government is encoded.")	Government.kif 648-650	Constitution document is a subclass of content bearing object
(externalImage ConstitutionDocument "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 19/ Constitution_Pg1of4_AC.jpg")	pictureList.kif 4623-4623	Constitution document is a subclass of content bearing object

appearance as argument number 2

(termFormat EnglishLanguage ConstitutionDocument "constitution document")	domainEnglishFormat.kif 16770-16770
(termFormat ChineseTraditionalLanguage ConstitutionDocument "憲法文件")	domainEnglishFormat.kif 16771-16771
(termFormat ChineseLanguage ConstitutionDocument "宪法文件")	domainEnglishFormat.kif 16772-16772

antecedent

(=>
    (instance ?DOC ConstitutionDocument)
    (exists (?CONST)
        (and
            (instance ?CONST Constitution)
            (containsInformation ?DOC ?CONST))))

If X is an instance of constitution document, then there exists Y such that Y is an instance of constitution and X contains information Y