Constitution - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Constitution EnglishLanguage "The class Constitution includes the bodies of abstract principles formulated to guide the laws, institutions and practices of various Governments. Also see ConstitutionDocument.")	Government.kif 613-615
(externalImage Constitution "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Magna_Carta.jpg")	pictureList.kif 5928-5928
(externalImage Constitution "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1e/ Hammurabi.jpg")	pictureList.kif 6305-6305
(externalImage Constitution "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3c/ Konstytucja_3_Maja.jpg")	pictureList.kif 6306-6306
(subclass Constitution Proposition)	Government.kif 611-611	Constitution est une sous-classe de proposition

appearance as argument number 2

(rangeSubclass ConstitutionFn Constitution)	Government.kif 639-639	Les valeurs retourn�es par ConstitutionFn sont des sous-classes de Constitution
(termFormat ChineseLanguage Constitution "宪法")	domainEnglishFormat.kif 16731-16731	Les valeurs retourn�es par ConstitutionFn sont des sous-classes de Constitution
(termFormat ChineseTraditionalLanguage Constitution "憲法")	domainEnglishFormat.kif 16730-16730	Les valeurs retourn�es par ConstitutionFn sont des sous-classes de Constitution
(termFormat EnglishLanguage Constitution "constitution")	domainEnglishFormat.kif 16729-16729	Les valeurs retourn�es par ConstitutionFn sont des sous-classes de Constitution

antecedent

(=> (instance ?CONST Constitution) (exists (?FORMULA ?PART) (and (instance ?FORMULA Formula) (containsInformation ?FORMULA ?PART) (instance ?PART Proposition) (subProposition ?PART ?CONST) (modalAttribute ?FORMULA Obligation))))	Government.kif 617-625	Proposition est une instance de Constitution formule proposition formule est une instance de formule formule contient information proposition proposition est une instance de proposition proposition est une sous-proposition de proposition l'argument formule a la force modale de Obligation
(=> (instance ?CONST Constitution) (exists (?FORMULA ?PART) (and (instance ?FORMULA Formula) (containsInformation ?FORMULA ?PART) (instance ?PART Proposition) (subProposition ?PART ?CONST) (modalAttribute ?FORMULA Permission))))	Government.kif 627-635	Proposition est une instance de Constitution formule proposition formule est une instance de formule formule contient information proposition proposition est une instance de proposition proposition est une sous-proposition de proposition l'argument formule a la force modale de Permission

consequent

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

Government.kif 652-657