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 1965-1967
(domain legislativeBranch 1 Organization)	Government.kif 1962-1962	The number 1 argument of legislativeBranch is an instance of organization
(domain legislativeBranch 2 AutonomousAgent)	Government.kif 1963-1963	The number 2 argument of legislativeBranch is an instance of agent
(instance legislativeBranch AsymmetricRelation)	Government.kif 1961-1961	legislativeBranch is an instance of asymmetric relation
(instance legislativeBranch BinaryPredicate)	Government.kif 1960-1960	legislativeBranch 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 33915-33915
(termFormat ChineseTraditionalLanguage legislativeBranch "立法部門")	domainEnglishFormat.kif 33914-33914
(termFormat EnglishLanguage legislativeBranch "legislative branch")	domainEnglishFormat.kif 33913-33913

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 1939-1947	If UnicameralLegislature is an attribute of an organization and legislativeBranch the organization and a geopolitical area and another organization is an instance of LegislativeChamber and the other organization is a part of the organization the government of the geopolitical area and a third organization is an instance of LegislativeChamber and the third organization is a part of the organization the government of the geopolitical area, then equal the other organization and the third organization
(=> (and (legislativeBranch ?ORG ?AGENT) (instance ?AGENT Organization)) (subOrganization ?ORG ?AGENT))	Government.kif 1985-1989	If legislativeBranch an organization and another organization and the other organization is an instance of organization, then the organization is a part of the organization the other organization
(=> (and (legislativeBranch ?ORG ?AREA) (instance ?AREA GeopoliticalArea)) (instance ?ORG GovernmentOrganization))	Government.kif 1979-1983	If legislativeBranch an organization and an agent and the agent is an instance of geopolitical area, then the organization is an instance of GovernmentOrganization
(=> (and (legislativeBranch ?ORG ?AREA) (instance ?AREA GeopoliticalArea)) (subOrganization ?ORG (GovernmentFn ?AREA)))	Government.kif 1991-1995	If legislativeBranch an organization and a geopolitical area 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 2004-2006	If legislativeBranch a LegislativeOrganization and a geopolitical area, then equal the LegislativeOrganization and LegislatureFn the geopolitical area
(=> (legislativeBranch ?ORG ?AGENT) (instance ?ORG LegislativeOrganization))	Government.kif 1975-1977	If legislativeBranch an organization and an agent, then the organization is an instance of LegislativeOrganization
(=> (legislativeBranch ?ORG ?AGENT) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea)))	Government.kif 1969-1973	If legislativeBranch an organization and an agent, 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 2012-2016	If LegislatureFn a geopolitical area is an instance of organization and the geopolitical area is an instance of geopolitical area, then legislativeBranch LegislatureFn the geopolitical area and the government of the geopolitical area
(=> (instance (LegislatureFn ?AGENT) Organization) (legislativeBranch (LegislatureFn ?AGENT) ?AGENT))	Government.kif 2008-2010	If LegislatureFn a geopolitical area is an instance of organization, then legislativeBranch LegislatureFn the geopolitical area and 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