|
|
   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 11956-11958 | |
| (subclass Selecting IntentionalPsychologicalProcess) | Merge.kif 11955-11955 | Selectionner est une sous-classe de processus psycholoqique intentionnel |
| appearance as argument number 2 |
|
|
| (subclass Deciding Selecting) | Merge.kif 11960-11960 | Deciding est une sous-classe de selectionner |
| (subclass Designating Selecting) | MilitaryProcesses.kif 318-318 | Designating est une sous-classe de selectionner |
| (subclass Judging Selecting) | Merge.kif 11987-11987 | Judging est une sous-classe de selectionner |
| (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 358-358 | |
| (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 1124-1129 |
|
|
|