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 1971-1975
No TPTP formula. May not be expressible in strict first order.	Government.kif 1969-1969	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 59948-59948
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59947-59947
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59946-59946

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

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