TreeView Knowledge Base Browser - Voting

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Voting

Voting(voting)

ballot, balloting, block_vote, bullet_vote, cast, casting_vote, co-optation, co-option, multiple_voting, plebiscite, secret_ballot, vote, voting, write-in

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3124-3126
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12075-12078
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1286-1286
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12074-12074	Voting is a subclass of selecting

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 1730-1730	The values returned by voting are subclasses of voting
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61983-61983
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61982-61982
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61981-61981

antecedent

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

Merge.kif 12080-12085

If a process is an instance of voting,
then there exists another process such that the other process is an instance of election and the process is a subprocess of the other process

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14499-14505	If a physical is an instance of ballot, then the physical has the purpose there exists an entity such that the entity is an instance of voting and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6801-6806	If an object is an instance of voting poll, then there exists a process such that the process is an instance of voting and the process is located at the object

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