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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - legislativeBranch
legislativeBranch

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


(documentation legislativeBranch EnglishLanguage "(legislativeBranch ?BRANCH ?ORG) means that the Organization ?BRANCH is the legislative branch of the GeopoliticalArea or Organization ?ORG.") Government.kif 1967-1969
(domain legislativeBranch 1 Organization) Government.kif 1964-1964 Il numero 1 argomenti di legislativeBranch è un istanza di Organizzazione
(domain legislativeBranch 2 AutonomousAgent) Government.kif 1965-1965 Il numero 2 argomenti di legislativeBranch è un istanza di AutonomousAgent
(instance legislativeBranch AsymmetricRelation) Government.kif 1963-1963 legislativeBranch è un' istanza di RelazioneAsimmetrica
(instance legislativeBranch BinaryPredicate) Government.kif 1962-1962 legislativeBranch è un' istanza di PredicatoBinario

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


(format ChineseLanguage legislativeBranch "%2 %n 是 %1 的 legislative 分支") domainEnglishFormat.kif 1467-1467
(format ChineseTraditionalLanguage legislativeBranch "%2 %n 是 %1 的 legislative 分支") domainEnglishFormat.kif 1466-1466
(format EnglishLanguage legislativeBranch "%2 is %n a legislative branch of %1") domainEnglishFormat.kif 1465-1465
(termFormat ChineseLanguage legislativeBranch "立法部门") domainEnglishFormat.kif 33905-33905
(termFormat ChineseTraditionalLanguage legislativeBranch "立法部門") domainEnglishFormat.kif 33904-33904
(termFormat EnglishLanguage legislativeBranch "legislative branch") domainEnglishFormat.kif 33903-33903

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
(=>
    (and
        (legislativeBranch ?ORG ?AGENT)
        (instance ?AGENT Organization))
    (subOrganization ?ORG ?AGENT))		 Government.kif 1987-1991
(=>
    (and
        (legislativeBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))		 Government.kif 1981-1985
(=>
    (and
        (legislativeBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 1993-1997
(=>
    (legislativeBranch ?BRANCH ?AGENT)
    (equal ?BRANCH
        (LegislatureFn ?AGENT)))		 Government.kif 2006-2008
(=>
    (legislativeBranch ?ORG ?AGENT)
    (instance ?ORG LegislativeOrganization))		 Government.kif 1977-1979
(=>
    (legislativeBranch ?ORG ?AGENT)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 1971-1975

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


(=>
    (and
        (instance
            (LegislatureFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (legislativeBranch
        (LegislatureFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 2014-2018
(=>
    (instance
        (LegislatureFn ?AGENT) Organization)
    (legislativeBranch
        (LegislatureFn ?AGENT) ?AGENT))		 Government.kif 2010-2012


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