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 1989-1992
(subclass LegislativeChamber LegislativeOrganization) Government.kif 1987-1987 立法院立法组织subclass

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


(instance UnitedStatesHouseOfRepresentatives LegislativeChamber) Government.kif 4815-4815 美国众议院立法院instance
(instance UnitedStatesSenate LegislativeChamber) Government.kif 4822-4822 美国参议院立法院instance
(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 1977-1985

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


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