Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| (subclass Selecting IntentionalPsychologicalProcess) | Merge.kif 12287-12287 | Selecting is a subclass of intentional psychological process |
| (documentation Selecting EnglishLanguage "The Class of IntentionalPsychologicalProcesses which involve opting for one or more Entity out of a larger set of Entities. Note that this covers all cases of judging or evaluating.") | Merge.kif 12288-12290 | Selecting is a subclass of intentional psychological process |
| appearance as argument number 2 |
|
|
| (subclass Deciding Selecting) | Merge.kif 12292-12292 | Deciding is a subclass of selecting |
| (subclass Voting Selecting) | Merge.kif 12360-12360 | Voting is a subclass of selecting |
| (subclass Judging Selecting) | Merge.kif 12373-12373 | Judging is a subclass of selecting |
| (subclass Designating Selecting) | MilitaryProcesses.kif 318-318 | Designating is a subclass of selecting |
| (termFormat EnglishLanguage Selecting "selecting") | english_format.kif 1515-1515 | Designating is a subclass of selecting |
| consequent |
|
|
| (=> (instance ?X MusicChart) (exists (?P ?OBJ) (causesProposition (and (instance ?P Selecting) (patient ?P ?X)) (inList ?OBJ ?X)))) |
Music.kif 1127-1134 | If X is an instance of music charts, then there exist Y, Z such that Z is a member of X is a causes proposition of Y is an instance of selecting, and X is a patient of Y |
|