TreeView Knowledge Base Browser - BicameralLegislature

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

BicameralLegislature

Sigma KEE - BicameralLegislature

BicameralLegislature(bicameral legislature)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1954-1957
No TPTP formula. May not be expressible in strict first order.	Government.kif 1952-1952	Bicameral legislature is an instance of form of government

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10961-10961
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10960-10960
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10959-10959

antecedent

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 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