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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Constitution
Constitution(constitution)

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 649-651
(externalImage Constitution "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Magna_Carta.jpg") pictureList.kif 5930-5930
(externalImage Constitution "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1e/ Hammurabi.jpg") pictureList.kif 6307-6307
(externalImage Constitution "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3c/ Konstytucja_3_Maja.jpg") pictureList.kif 6308-6308
(subclass Constitution Proposition) Government.kif 647-647 Constitution is a subclass of proposition

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


(rangeSubclass ConstitutionFn Constitution) Government.kif 675-675 The values returned by constitution are subclasses of constitution
(termFormat ChineseLanguage Constitution "宪法") domainEnglishFormat.kif 16708-16708
(termFormat ChineseTraditionalLanguage Constitution "憲法") domainEnglishFormat.kif 16707-16707
(termFormat EnglishLanguage Constitution "constitution") domainEnglishFormat.kif 16706-16706

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 653-661
(=>
    (instance ?CONST Constitution)
    (exists (?FORMULA ?PART)
        (and
            (instance ?FORMULA Formula)
            (containsInformation ?FORMULA ?PART)
            (instance ?PART Proposition)
            (subProposition ?PART ?CONST)
            (modalAttribute ?FORMULA Permission))))
Government.kif 663-671

consequent
-------------------------


(=>
    (instance ?DOC ConstitutionDocument)
    (exists (?CONST)
        (and
            (instance ?CONST Constitution)
            (containsInformation ?DOC ?CONST))))
Government.kif 688-693


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners