| Selecting | |
| appearance as argument number 1 |
|
|
| (documentation Selecting ChineseLanguage "这是 IntentionalPsychologicalProcess 的 Class，它涉及从较大一组的 Entity 选择一个或以上的 Entity。注：这个类别包括所有判断或评估的案例。") | chinese_format.kif 3120-3121 | |
| (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 11839-11841 | |
| (subclass Selecting IntentionalPsychologicalProcess) | Merge.kif 11838-11838 |
| appearance as argument number 2 |
|
|
| (subclass Deciding Selecting) | Merge.kif 11843-11843 | |
| (subclass Designating Selecting) | MilitaryProcesses.kif 318-318 | |
| (subclass Judging Selecting) | Merge.kif 11870-11870 | |
| (termFormat ChineseLanguage Selecting "选择") | chinese_format.kif 1147-1147 | |
| (termFormat EnglishLanguage Selecting "selecting") | english_format.kif 1511-1511 |
| consequent |
|
|
| (=> (instance ?X MusicChart) (exists (?P ?OBJ) (and (instance ?P Selecting) (result ?P (inList ?OBJ ?X))))) |
Music.kif 1118-1123 |
|
|
|