| 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 11176-11178 | |
| (subclass Selecting IntentionalPsychologicalProcess) | Merge.kif 11175-11175 | 选择 是 有意图的心理过程 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass Deciding Selecting) | Merge.kif 11180-11180 | 决定 是 选择 的 subclass |
| (subclass Designating Selecting) | MilitaryProcesses.kif 318-318 | 指定 是 选择 的 subclass |
| (subclass Judging Selecting) | Merge.kif 11207-11207 | 判断 是 选择 的 subclass |
| (termFormat ChineseLanguage Selecting "选择") | chinese_format.kif 1147-1147 | |
| (termFormat EnglishLanguage Selecting "selecting") | english_format.kif 1516-1516 |
| consequent |
|
|
| (=> (instance ?X MusicChart) (exists (?P ?OBJ) (and (instance ?P Selecting) (result ?P (inList ?OBJ ?X))))) |
Music.kif 1117-1122 |
|
|
|