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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BicameralLegislature
BicameralLegislature(bicameral legislature)bicameral

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 1954-1957
(instance BicameralLegislature FormOfGovernment) Government.kif 1952-1952 Bicameral legislature is an instance of form of government

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


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

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


(=>
    (attribute ?ORG BicameralLegislature)
    (not
        (instance ?ORG LegislativeChamber)))
Government.kif 1994-1996
(=>
    (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 1959-1967


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