Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Selecting

appearance as argument number 1

(documentation Selecting ChineseLanguage "这是 IntentionalPsychologicalProcessClass,它涉及从较大一组的 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


    (instance ?X MusicChart)
    (exists (?P ?OBJ)
            (instance ?P Selecting)
            (result ?P
                (inList ?OBJ ?X)))))
Music.kif 1124-1129

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners