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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Constitution

Sigma KEE - 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 647-649
(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 645-645

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


(rangeSubclass ConstitutionFn Constitution) Government.kif 673-673
(termFormat ChineseLanguage Constitution "宪法") domainEnglishFormat.kif 16713-16713
(termFormat ChineseTraditionalLanguage Constitution "憲法") domainEnglishFormat.kif 16712-16712
(termFormat EnglishLanguage Constitution "constitution") domainEnglishFormat.kif 16711-16711

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

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


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


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 3.0 is open source software produced by Articulate Software and its partners