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

No TPTP formula. May not be expressible in strict first order.	Government.kif 1965-1967
No TPTP formula. May not be expressible in strict first order.	Government.kif 1962-1962	The number 1 argument of legislative branch is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1963-1963	The number 2 argument of legislative branch is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1961-1961	legislative branch is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Government.kif 1960-1960	legislative branch is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1467-1467
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1466-1466
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1465-1465
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33933-33933
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33932-33932
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33931-33931

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1939-1947	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1985-1989	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1979-1983	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1991-1995	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 2004-2006	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1975-1977	If an agent is a legislative branch of an organization, then the organization is an instance of legislative organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1969-1973	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

No TPTP formula. May not be expressible in strict first order.	Government.kif 2012-2016	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 2008-2010	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