| 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 12152-12154 | |
| (subclass Selecting IntentionalPsychologicalProcess) | Merge.kif 12151-12151 | 选择 是 有意图的心理过程 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass Deciding Selecting) | Merge.kif 12156-12156 | 决定 是 选择 的 subclass |
| (subclass Designating Selecting) | MilitaryProcesses.kif 318-318 | 指定 是 选择 的 subclass |
| (subclass Judging Selecting) | Merge.kif 12237-12237 | 判断 是 选择 的 subclass |
| (subclass Voting Selecting) | Merge.kif 12224-12224 | 表决 是 选择 的 subclass |
| (termFormat ChineseLanguage Selecting "选择") | chinese_format.kif 1147-1147 | 表决 是 选择 的 subclass |
| (termFormat EnglishLanguage Selecting "selecting") | english_format.kif 1511-1511 | 表决 是 选择 的 subclass |
| (termFormat FrenchLanguage Selecting "selectionner") | french_format.kif 825-825 | 表决 是 选择 的 subclass |
| (termFormat Hindi Selecting "chayanana") | terms-hindi.txt 357-357 | 表决 是 选择 的 subclass |
| (termFormat ItalianLanguage Selecting "Scegliere") | terms-it.txt 360-360 | 表决 是 选择 的 subclass |
| (termFormat JapaneseLanguage Selecting "選択") | japanese_format.kif 2509-2509 | 表决 是 选择 的 subclass |
| (termFormat PortugueseLanguage Selecting "Selecionar") | portuguese_format.kif 777-777 | 表决 是 选择 的 subclass |
| (termFormat cb Selecting "pagpili") | terms-cb.txt 362-362 | 表决 是 选择 的 subclass |
| (termFormat cz Selecting "selecting") | terms-cz.txt 396-396 | 表决 是 选择 的 subclass |
| (termFormat de Selecting "Auswaehlen") | terms-de.txt 655-655 | 表决 是 选择 的 subclass |
| (termFormat ro Selecting "selecþionare") | relations-ro.kif 846-846 | 表决 是 选择 的 subclass |
| (termFormat tg Selecting "pinili") | terms-tg.txt 361-361 | 表决 是 选择 的 subclass |
| consequent |
|
|
| (=> (instance ?X MusicChart) (exists (?P ?OBJ) (and (instance ?P Selecting) (result ?P (inList ?OBJ ?X))))) |
Music.kif 1127-1132 |
|
|
|