TreeView Knowledge Base Browser - LegislativeOrganization

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

LegislativeOrganization

Sigma KEE - LegislativeOrganization

LegislativeOrganization(legislative organization)

Continental_Congress, Duma, House_of_Burgesses, chamber, congress, diet, house

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1926-1928
No TPTP formula. May not be expressible in strict first order.	Government.kif 1924-1924	Legislative organization is a subclass of organization

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 1948-1948	United states congress is an instance of legislative organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2037-2037	The range of legislature is an instance of legislative organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1987-1987	Legislative chamber is a subclass of legislative organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1942-1942	Parliament is a subclass of legislative organization
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33917-33917
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33916-33916
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33915-33915

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1930-1935	If an organization is an instance of legislative organization and the organization is a part of the organization another organization and the other organization is an instance of government organization, then the organization is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1937-1939	If an object is an instance of legislative organization, then the object is capable of doing passingA bill as a agent

consequent

No TPTP formula. May not be expressible in strict first order.

Government.kif 2013-2015

If an agent is a legislative branch of an organization,
then the organization is an instance of legislative organization

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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