LegislativeChamber - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - LegislativeChamber

LegislativeChamber(legislative chamber)

British_House_of_Commons, British_House_of_Lords, House_of_Commons, House_of_Lords, general_assembly, law-makers, legislative_assembly, legislative_body, legislative_council, legislature, senate

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1989-1992
No TPTP formula. May not be expressible in strict first order.	Government.kif 1987-1987	Legislative chamber is a subclass of legislative organization

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4815-4815	United states house of representatives is an instance of legislative chamber
No TPTP formula. May not be expressible in strict first order.	Government.kif 4822-4822	United states senate is an instance of legislative chamber
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33911-33911
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33910-33910
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33909-33909

antecedent

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

Government.kif 1977-1985

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

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1994-1996	If bicameral legislature is an attribute of an object, then the object is not an instance of legislative chamber
No TPTP formula. May not be expressible in strict first order.	Government.kif 1959-1967	If an organization is an instance of bicameral legislature, then there exist another organization and a third organization such that the other organization is an instance of legislative chamber and the other organization is a part of the organization the organization and the third organization is an instance of legislative chamber and the third organization is a part of the organization the organization and the other organization is not equal to the third organization

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