ConstitutionFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ConstitutionFn EnglishLanguage "(ConstitutionFn ?AREA) denotes a class containing all Constitutions adopted by the government of the GeopoliticalArea ?AREA. For example, (ConstitutionFn UnitedStates) contains the ConstitutionOfTheUnitedStates.")	Government.kif 641-644
(domain ConstitutionFn 1 GeopoliticalArea)	Government.kif 638-638	The number 1 argument of constitution is an instance of geopolitical area
(instance ConstitutionFn UnaryFunction)	Government.kif 637-637	Constitution is an instance of unary function
(rangeSubclass ConstitutionFn Constitution)	Government.kif 639-639	The values returned by constitution are subclasses of constitution

appearance as argument number 2

(format ChineseLanguage ConstitutionFn "%1 的 constitution ")	domainEnglishFormat.kif 540-540
(format ChineseTraditionalLanguage ConstitutionFn "%1 的 constitution ")	domainEnglishFormat.kif 539-539
(format EnglishLanguage ConstitutionFn "the constitution of %1")	domainEnglishFormat.kif 538-538
(termFormat ChineseLanguage ConstitutionFn "宪法")	domainEnglishFormat.kif 16792-16792
(termFormat ChineseTraditionalLanguage ConstitutionFn "憲法")	domainEnglishFormat.kif 16791-16791
(termFormat EnglishLanguage ConstitutionFn "constitution")	domainEnglishFormat.kif 16790-16790

antecedent

(=>
    (and
        (instance ?CONST
            (ConstitutionFn ?COUNTRY))
        (instance ?COUNTRY Nation)
        (equal ?GOV
            (GovernmentFn ?COUNTRY))
        (instance
            (WhenFn ?GOV) ?CLASS)
        (agreementEffectiveDuring ?CONST ?CLASS)
        (subProposition ?PART ?CONST)
        (containsInformation ?FORMULA ?PART))
    (holdsObligation ?FORMULA ?GOV))

Government.kif 738-747