TreeView 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	Il numero 1 argomenti di ConstitutionFn è un istanza di AreaGeopolitica
(instance ConstitutionFn UnaryFunction)	Government.kif 637-637	ConstitutionFn è un' istanza di FunzioneUnaria
(rangeSubclass ConstitutionFn Constitution)	Government.kif 639-639	I valori resi da ConstitutionFn sono sottoclassi diConstitution

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 16776-16776
(termFormat ChineseTraditionalLanguage ConstitutionFn "憲法")	domainEnglishFormat.kif 16775-16775
(termFormat EnglishLanguage ConstitutionFn "constitution")	domainEnglishFormat.kif 16774-16774

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