|
|
   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 12048-12050 | |
| (subclass Selecting IntentionalPsychologicalProcess) | Merge.kif 12047-12047 |
| appearance as argument number 2 |
|
|
| (subclass Deciding Selecting) | Merge.kif 12052-12052 | |
| (subclass Designating Selecting) | MilitaryProcesses.kif 318-318 | |
| (subclass Judging Selecting) | Merge.kif 12133-12133 | |
| (subclass Voting Selecting) | Merge.kif 12120-12120 | |
| (termFormat ChineseLanguage Selecting "选择") | chinese_format.kif 1147-1147 | |
| (termFormat EnglishLanguage Selecting "selecting") | english_format.kif 1511-1511 | |
| (termFormat FrenchLanguage Selecting "selectionner") | french_format.kif 825-825 | |
| (termFormat Hindi Selecting "chayanana") | terms-hindi.txt 357-357 | |
| (termFormat ItalianLanguage Selecting "Scegliere") | terms-it.txt 360-360 | |
| (termFormat JapaneseLanguage Selecting "選択") | japanese_format.kif 2509-2509 | |
| (termFormat PortugueseLanguage Selecting "Selecionar") | portuguese_format.kif 777-777 | |
| (termFormat cb Selecting "pagpili") | terms-cb.txt 362-362 | |
| (termFormat cz Selecting "selecting") | terms-cz.txt 396-396 | |
| (termFormat ro Selecting "selecþionare") | relations-ro.kif 846-846 | |
| (termFormat tg Selecting "pinili") | terms-tg.txt 361-361 |
| consequent |
|
|
| (=> (instance ?X MusicChart) (exists (?P ?OBJ) (and (instance ?P Selecting) (result ?P (inList ?OBJ ?X))))) |
Music.kif 1125-1130 |
|
|
|