UnicameralLegislature - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - UnicameralLegislature

UnicameralLegislature(unicameral legislature)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1935-1939
No TPTP formula. May not be expressible in strict first order.	Government.kif 1933-1933	Unicameral 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 59950-59950
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59949-59949
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59948-59948

antecedent

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

Government.kif 1941-1949

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

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