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

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


(rangeSubclass ConstitutionFn Constitution) Government.kif 675-675
(termFormat ChineseLanguage Constitution "宪法") domainEnglishFormat.kif 16722-16722
(termFormat ChineseTraditionalLanguage Constitution "憲法") domainEnglishFormat.kif 16721-16721
(termFormat EnglishLanguage Constitution "constitution") domainEnglishFormat.kif 16720-16720

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