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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1953-1956
(subclass LegislativeChamber LegislativeOrganization) Government.kif 1951-1951 LegislativeChamber è una sottoclasse di LegislativeOrganization

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


(instance UnitedStatesHouseOfRepresentatives LegislativeChamber) Government.kif 4779-4779 UnitedStatesHouseOfRepresentatives è un' istanza di LegislativeChamber
(instance UnitedStatesSenate LegislativeChamber) Government.kif 4786-4786 UnitedStatesSenate è un' istanza di LegislativeChamber
(termFormat ChineseLanguage LegislativeChamber "立法院") domainEnglishFormat.kif 33911-33911
(termFormat ChineseTraditionalLanguage LegislativeChamber "立法院") domainEnglishFormat.kif 33910-33910
(termFormat EnglishLanguage LegislativeChamber "legislative chamber") domainEnglishFormat.kif 33909-33909

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

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


(=>
    (attribute ?ORG BicameralLegislature)
    (not
        (instance ?ORG LegislativeChamber)))
Government.kif 1958-1960
(=>
    (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 1923-1931


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