ConstitutionFn |
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 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 |
|
![]() |
![]() |