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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BicameralLegislature

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 1954-1957
(instance BicameralLegislature FormOfGovernment) Government.kif 1952-1952 BicameralLegislature est une instance de FormOfGovernment

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 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