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 5929-5929
(externalImage Constitution "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1e/ Hammurabi.jpg")	pictureList.kif 6306-6306
(externalImage Constitution "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3c/ Konstytucja_3_Maja.jpg")	pictureList.kif 6307-6307
(subclass Constitution Proposition)	Government.kif 611-611	Constitution is a subclass of proposition

appearance as argument number 2

(rangeSubclass ConstitutionFn Constitution)	Government.kif 639-639	The values returned by constitution are subclasses of constitution
(termFormat ChineseLanguage Constitution "宪法")	domainEnglishFormat.kif 16738-16738	The values returned by constitution are subclasses of constitution
(termFormat ChineseTraditionalLanguage Constitution "憲法")	domainEnglishFormat.kif 16737-16737	The values returned by constitution are subclasses of constitution
(termFormat EnglishLanguage Constitution "constitution")	domainEnglishFormat.kif 16736-16736	The values returned by constitution are subclasses of 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	If a proposition is an instance of constitution, then there exist a formula and another proposition such that the formula is an instance of formula and the formula contains information the other proposition and the other proposition is an instance of proposition and the other proposition is a sub-proposition of the proposition and the statement the formula has the modal force of 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	If a proposition is an instance of constitution, then there exist a formula and another proposition such that the formula is an instance of formula and the formula contains information the other proposition and the other proposition is an instance of proposition and the other proposition is a sub-proposition of the proposition and the statement the formula has the modal force of permission

consequent

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

Government.kif 652-657