Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ConstitutionFn

Sigma KEE - ConstitutionFn
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 671-674
(domain ConstitutionFn 1 GeopoliticalArea) Government.kif 668-668 The number 1 argument of constitution is an instance of geopolitical area
(instance ConstitutionFn UnaryFunction) Government.kif 667-667 Constitution is an instance of unary function
(rangeSubclass ConstitutionFn Constitution) Government.kif 669-669 The values returned by constitution are subclasses of constitution

appearance as argument number 2
-------------------------


(format EnglishLanguage ConstitutionFn "the constitution of %1") domainEnglishFormat.kif 144-144
(termFormat EnglishLanguage ConstitutionFn "constitution") domainEnglishFormat.kif 3217-3217 "constitution" is the printable form of constitution in english language

antecedent
-------------------------


(=>
    (and
        (instance ?CONST
            (ConstitutionFn ?COUNTRY))
        (instance ?COUNTRY Nation)
        (equal ?GOV
            (GovernmentFn ?COUNTRY))
        (agreementEffectiveDuring ?AGR
            (WhenFn ?GOV))
        (subProposition ?PART ?AGR)
        (containsInformation ?FORMULA ?PART))
    (holdsObligation ?FORMULA ?GOV))
Government.kif 768-776


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners