TreeView Knowledge Base Browser - Selecting

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Selecting

Selecting(selecting)

Hobson's_choice, abnegation, abstain, adhere, adjudicative, adjudicatory, adopted, adoptive, alternate, alternative, analysis, analytic_thinking, apostasy, arbitral, arbitrational, arbitrative, assign, ballot, blackball, bolt, boycott, brush-off, call, cast, casting, casting_lots, change_of_mind, choice, choose, closure, co-opt, coloration, colouration, compartmentalise, compartmentalize, countermarch, cream_off, cull_out, cut_up, deciding, decision_making, default, default_option, deliberative, denial, dial, direction, draw, drawing_lots, eclectic_method...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3120-3121
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12024-12026
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12023-12023	Selecting is a subclass of intentional psychological process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12028-12028	Deciding is a subclass of selecting
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 318-318	Designating is a subclass of selecting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12109-12109	Judging is a subclass of selecting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12096-12096	Voting is a subclass of selecting
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1147-1147
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1511-1511
No TPTP formula. May not be expressible in strict first order.	french_format.kif 825-825
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 357-357
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 360-360
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2509-2509
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 777-777
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 362-362
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 396-396
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 846-846
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 361-361

consequent

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

Music.kif 1125-1130

If an entity is an instance of music charts,
then there exist a process and another entity such that the process is an instance of selecting and the other entity is a member of the entity is a result of the process

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