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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 636-638
(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 634-634 subclass Constitution and Proposition

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


(rangeSubclass ConstitutionFn Constitution) Government.kif 662-662 rangeSubclass ConstitutionFn and Constitution
(termFormat ChineseLanguage Constitution "宪法") domainEnglishFormat.kif 16645-16645
(termFormat ChineseTraditionalLanguage Constitution "憲法") domainEnglishFormat.kif 16644-16644
(termFormat EnglishLanguage Constitution "constitution") domainEnglishFormat.kif 16643-16643

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 640-648
(=>
    (instance ?CONST Constitution)
    (exists (?FORMULA ?PART)
        (and
            (instance ?FORMULA Formula)
            (containsInformation ?FORMULA ?PART)
            (instance ?PART Proposition)
            (subProposition ?PART ?CONST)
            (modalAttribute ?FORMULA Permission))))
Government.kif 650-658

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners