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 26269-26269	"政府类型" is the printable form of government type in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26268-26268	"政府類型" is the printable form of government type in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26267-26267	"government type" is the printable form of government type in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 340-345	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 geopolitical area の government is an instance of religious organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 333-338	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 244-252	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 は組織 the geopolitical area の government の一部では %n
No TPTP formula. May not be expressible in strict first order.	Government.kif 230-234	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 209-221	If monarchy is a government type of an agent and an entity is an instance of human and another entity is an instance of human and the agent chief of state a third entity for the entity holds during a time interval and the agent chief of state the third entity for the other entity holds during another time interval and the time interval happens earlier than the other time interval, then the other entity is a relative of the entity confers norm the agent chief of state the third entity for the other entity for legal
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 geopolitical area の government
No TPTP formula. May not be expressible in strict first order.	Government.kif 910-914	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 899-906	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 320-322	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 a geopolitical area の government 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 1548-1555	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 2223-2228	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 820-822	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 1323-1329	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 516-518	If a geopolitical area is an instance of parliamentary territory, then parliamentary government is a government type of the geopolitical area の government

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners