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

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


(instance UnitedStatesHouseOfRepresentatives LegislativeChamber) Government.kif 4807-4807 美国众议院立法院instance
(instance UnitedStatesSenate LegislativeChamber) Government.kif 4814-4814 美国参议院立法院instance
(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 1974-1982

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


(=>
    (attribute ?ORG BicameralLegislature)
    (not
        (instance ?ORG LegislativeChamber)))
Government.kif 1991-1993
(=>
    (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 1956-1964


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