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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BicameralLegislature
BicameralLegislature

appearance as argument number 1
-------------------------


(documentation BicameralLegislature EnglishLanguage "BicameralLegislature is the Attribute of governments whose legislative branches have two legislative chambers. For example, in the UnitedStates the legislative branch comprises the Senate and the House of Representatives.") Government.kif 1908-1911
(instance BicameralLegislature FormOfGovernment) Government.kif 1906-1906

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


(termFormat ChineseLanguage BicameralLegislature "两院制立法机关") domainEnglishFormat.kif 10979-10979
(termFormat ChineseTraditionalLanguage BicameralLegislature "兩院制立法機關") domainEnglishFormat.kif 10978-10978
(termFormat EnglishLanguage BicameralLegislature "bicameral legislature") domainEnglishFormat.kif 10977-10977

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


(=>
    (attribute ?ORG BicameralLegislature)
    (not
        (instance ?ORG LegislativeChamber)))
Government.kif 1948-1950
(=>
    (instance ?LEGE BicameralLegislature)
    (exists (?CHAMBER1 ?CHAMBER2)
        (and
            (instance ?CHAMBER1 LegislativeChamber)
            (subOrganization ?CHAMBER1 ?LEGE)
            (instance ?CHAMBER2 LegislativeChamber)
            (subOrganization ?CHAMBER2 ?LEGE)
            (not
                (equal ?CHAMBER1 ?CHAMBER2)))))
Government.kif 1913-1921


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