governmentType - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - governmentType

governmentType

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 132-134
No TPTP formula. May not be expressible in strict first order.	Government.kif 128-128	The number 1 argument of government type is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 129-129	The number 2 argument of government type is an instance of form of government
No TPTP formula. May not be expressible in strict first order.	Government.kif 127-127	government type is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Government.kif 130-130	government type is a subrelation of attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1113-1113
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1112-1112
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1111-1111
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26351-26351
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26350-26350
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26349-26349

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 352-357	If a form of government is a government type of a geopolitical area and the form of government is a subattribute of theocratic government and the geopolitical area is an instance of geopolitical area, then the government of the geopolitical area is an instance of religious organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 345-350	If a form of government is a government type of an agent and the form of government is a subattribute of theocratic government and the agent is an instance of organization, then the agent is an instance of religious organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 256-264	If a form of government is a government type of a geopolitical area and the geopolitical area is an instance of geopolitical area and the form of government is a subattribute of parliamentary government, then there exists an organization such that the organization is an instance of parliament and the organization is a part of the organization the government of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 242-246	If absolute monarchy is a government type of an agent and the agent is an instance of geopolitical area, then monarch is a leader position of the agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 223-234	If monarchy is a government type of an agent and an organism is an instance of human and another organism is an instance of human and the agent chief of state an entity for the organism holds during a time interval and the organism and the other organism are related and the time interval happens earlier than another time interval, then the statement the agent chief of state the entity for the other organism holds during the other time interval has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Government.kif 142-146	If a geopolitical area is an instance of geopolitical area and a form of government is a government type of the geopolitical area, then the form of government is an attribute of the government of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 879-883	If a geopolitical area is an instance of geopolitical area and democracy is a government type of the geopolitical area, then voter citizenship requirement is a sub-proposition of the regional law of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 868-875	If a geopolitical area is an instance of nation and democracy is a government type of the geopolitical area, then there exists a proposition such that the proposition is an instance of suffrage law and the proposition is a sub-proposition of the regional law of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 136-140	If a form of government is a government type of an agent, then the agent is an instance of organization or the agent is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 332-334	If military dictatorship is a government type of an agent, then military commander is a leader position of the agent

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 148-152	If a form of government is an attribute of the government of a geopolitical area and the form of government is an instance of form of government, then the form of government is a government type of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 1550-1557	If a position is a chief of state type of a geopolitical area and the geopolitical area is an agent of an election and the election is an instance of election and the position is an election for position of the election and the election is an instance of popular election, then democracy is a government type of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 2224-2230	If a collection is an instance of communist party and a cognitive agent is a member of the collection and an entity is an instance of geopolitical area, then the cognitive agent desires communist state is a government type of the entity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 824-826	If democratic socialism is an attribute of an agent, then democracy is a government type of the agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1325-1331	If monarch is an attribute of a human, then there exists a geopolitical area such that the geopolitical area is an instance of geopolitical area and monarchy is a government type of the geopolitical area and the geopolitical area chief of state monarch for the human
No TPTP formula. May not be expressible in strict first order.	Government.kif 491-493	If a geopolitical area is an instance of parliamentary territory, then parliamentary government is a government type of the government of the geopolitical area

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