legislativeBranch - Sigma Knowledge base Browser

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	The number 1 argument of legislative branch is an instance of organization
(domain legislativeBranch 2 AutonomousAgent)	Government.kif 1965-1965	The number 2 argument of legislative branch is an instance of agent
(instance legislativeBranch AsymmetricRelation)	Government.kif 1963-1963	legislative branch is an instance of asymmetric relation
(instance legislativeBranch BinaryPredicate)	Government.kif 1962-1962	legislative branch is an instance of binary predicate

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	If unicameral legislature is an attribute of an organization and a geopolitical area is a legislative branch of the organization and another organization is an instance of legislative chamber and the other organization is a part of the organization the government of the geopolitical area and a third organization is an instance of legislative chamber and the third organization is a part of the organization the government of the geopolitical area, then the other organization is equal to the third organization
(=> (and (legislativeBranch ?ORG ?AGENT) (instance ?AGENT Organization)) (subOrganization ?ORG ?AGENT))	Government.kif 1987-1991	If an organization is a legislative branch of another organization and the organization is an instance of organization, then the other organization is a part of the organization the organization
(=> (and (legislativeBranch ?ORG ?AREA) (instance ?AREA GeopoliticalArea)) (instance ?ORG GovernmentOrganization))	Government.kif 1981-1985	If an agent is a legislative branch of an organization and the agent is an instance of geopolitical area, then the organization is an instance of government organization
(=> (and (legislativeBranch ?ORG ?AREA) (instance ?AREA GeopoliticalArea)) (subOrganization ?ORG (GovernmentFn ?AREA)))	Government.kif 1993-1997	If a geopolitical area is a legislative branch of an organization and the geopolitical area is an instance of geopolitical area, then the organization is a part of the organization the government of the geopolitical area
(=> (legislativeBranch ?BRANCH ?AGENT) (equal ?BRANCH (LegislatureFn ?AGENT)))	Government.kif 2006-2008	If a geopolitical area is a legislative branch of a legislative organization, then the legislative organization is equal to the legislature of the geopolitical area
(=> (legislativeBranch ?ORG ?AGENT) (instance ?ORG LegislativeOrganization))	Government.kif 1977-1979	If an agent is a legislative branch of an organization, then the organization is an instance of legislative organization
(=> (legislativeBranch ?ORG ?AGENT) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea)))	Government.kif 1971-1975	If an agent is a legislative branch of an organization, then the agent is an instance of organization or the agent is an instance of geopolitical area

consequent

(=> (and (instance (LegislatureFn ?AREA) Organization) (instance ?AREA GeopoliticalArea)) (legislativeBranch (LegislatureFn ?AREA) (GovernmentFn ?AREA)))	Government.kif 2014-2018	If the legislature of a geopolitical area is an instance of organization and the geopolitical area is an instance of geopolitical area, then the government of the geopolitical area is a legislative branch of the legislature of the geopolitical area
(=> (instance (LegislatureFn ?AGENT) Organization) (legislativeBranch (LegislatureFn ?AGENT) ?AGENT))	Government.kif 2010-2012	If the legislature of a geopolitical area is an instance of organization, then the geopolitical area is a legislative branch of the legislature of the geopolitical area

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