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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LegislativeChamber

Sigma KEE - LegislativeChamber
LegislativeChamber

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


(documentation LegislativeChamber EnglishLanguage "LegislativeChamber is the class of LegislativeOrganizations which are a coherent body that considers and votes upon legislation in common session. For example, the United States Senate.") Government.kif 1975-1978
(subclass LegislativeChamber LegislativeOrganization) Government.kif 1973-1973

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


(instance UnitedStatesHouseOfRepresentatives LegislativeChamber) Government.kif 4791-4791
(instance UnitedStatesSenate LegislativeChamber) Government.kif 4798-4798
(termFormat ChineseLanguage LegislativeChamber "立法院") domainEnglishFormat.kif 33894-33894
(termFormat ChineseTraditionalLanguage LegislativeChamber "立法院") domainEnglishFormat.kif 33893-33893
(termFormat EnglishLanguage LegislativeChamber "legislative chamber") domainEnglishFormat.kif 33892-33892

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


(=>
    (and
        (attribute ?ORG UnicameralLegislature)
        (legislativeBranch ?ORG ?AREA)
        (instance ?CHAMBER1 LegislativeChamber)
        (subOrganization ?CHAMBER1
            (GovernmentFn ?AREA))
        (instance ?CHAMBER2 LegislativeChamber)
        (subOrganization ?CHAMBER2
            (GovernmentFn ?AREA)))
    (equal ?CHAMBER1 ?CHAMBER2))
Government.kif 1963-1971

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


(=>
    (attribute ?ORG BicameralLegislature)
    (not
        (instance ?ORG LegislativeChamber)))
Government.kif 1980-1982
(=>
    (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 1945-1953


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