| appearance as argument number 1 |
|
|
| (documentation Classifying ChineseLanguage "这是 IntentionalPsychologicalProcess 的 Class，它涉及对一件东西或一类东西进行分类或命名。注：Classifying 和 Learning 的分别在于后者包括 由 CognitiveAgent 所获得的任何 Proposition，而前者涉及给物件编派标签或类别。") | chinese_format.kif 3114-3116 | |
| (documentation Classifying EnglishLanguage "The Class of IntentionalPsychologicalProcesses which involve attaching a name or category to a thing or set of things. Note that Classifying is distinguished from Learning by the fact that the latter covers the acquisition by a CognitiveAgent of any Proposition, while the former involves the assignment of a label or category.") | Merge.kif 11822-11827 | |
| (subclass Classifying IntentionalPsychologicalProcess) | Merge.kif 11821-11821 | Classifying is a subclass of intentional psychological process |
| appearance as argument number 2 |
|
|
| (subclass TerminalAttackControl Classifying) | MilitaryProcesses.kif 449-449 | Terminal attack control is a subclass of classifying |
| (subclass TerminalGuidance Classifying) | MilitaryProcesses.kif 501-501 | Terminal guidance is a subclass of classifying |
| (termFormat ChineseLanguage Classifying "分类") | chinese_format.kif 1145-1145 | |
| (termFormat EnglishLanguage Classifying "classifying") | english_format.kif 1507-1507 |
| consequent |
|
|
|
|
|