| Classifying | |
| 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 12135-12140 | |
| (subclass Classifying IntentionalPsychologicalProcess) | Merge.kif 12134-12134 |
| appearance as argument number 2 |
|
|
| (subclass OrderingParts Classifying) | Economy.kif 2085-2085 | |
| (subclass TerminalAttackControl Classifying) | MilitaryProcesses.kif 449-449 | |
| (subclass TerminalGuidance Classifying) | MilitaryProcesses.kif 501-501 | |
| (termFormat ChineseLanguage Classifying "分类") | chinese_format.kif 1145-1145 | |
| (termFormat EnglishLanguage Classifying "classifying") | english_format.kif 1507-1507 | |
| (termFormat FrenchLanguage Classifying "classifier") | french_format.kif 823-823 | |
| (termFormat Hindi Classifying "vargiikarana") | terms-hindi.txt 355-355 | |
| (termFormat ItalianLanguage Classifying "Classificare") | terms-it.txt 358-358 | |
| (termFormat JapaneseLanguage Classifying "分類") | japanese_format.kif 2507-2507 | |
| (termFormat PortugueseLanguage Classifying "Classificar") | portuguese_format.kif 775-775 | |
| (termFormat cb Classifying "pag-ila") | terms-cb.txt 360-360 | |
| (termFormat cz Classifying "classifying") | terms-cz.txt 394-394 | |
| (termFormat de Classifying "Klassifizieren") | terms-de.txt 653-653 | |
| (termFormat ro Classifying "clasificare") | relations-ro.kif 844-844 | |
| (termFormat tg Classifying "pag-uri-uriin") | terms-tg.txt 359-359 |
| consequent |
|
|
| (=> (and (instance ?EV Evacuation) (agent ?EV ?A) (experiencer ?EV ?P)) (exists (?C ?CA) (and (instance ?C Classifying) (subProcess ?C ?EV) (experiencer ?C ?P) (or (subOrganization ?CA ?A) (member ?CA ?A) (equal ?CA ?A)) (agent ?C ?CA)))) |
MilitaryProcesses.kif 2643-2657 | |
| (=> (and (instance ?RO RecoveryOperation) (patient ?RO ?TARGET)) (hasPurpose ?RO (exists (?PROCESS) (and (patient ?PROCESS ?TARGET) (instance ?PROCESS (UnionFn Classifying (UnionFn Pursuing (UnionFn Discovering (UnionFn Locating Returning))))))))) |
MilitaryProcesses.kif 558-570 | |
| (=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR FoodRating) (instance ?ENTITY AutonomousAgent)) (exists (?FOOD ?COOK ?CLASSIFY) (and (instance ?COOK Cooking) (agent ?COOK ?ENTITY) (result ?COOK ?FOOD) (instance ?CLASSIFY Classifying) (agent ?CLASSIFY ?AGENT) (destination ?CLASSIFY ?FOOD) (patient ?CLASSIFY ?ATTR)))) |
Hotel.kif 3073-3086 | |
| (=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR ServiceRating) (instance ?ENTITY AutonomousAgent)) (exists (?SVC ?CLASSIFY) (and (instance ?SVC ServiceProcess) (agent ?SVC ?ENTITY) (instance ?CLASSIFY Classifying) (agent ?CLASSIFY ?AGENT) (destination ?CLASSIFY ?SVC) (patient ?CLASSIFY ?ATTR)))) |
Hotel.kif 3102-3114 | |
| (=> (instance ?P Proliferation) (exists (?C ?A ?I) (and (instance ?C Classifying) (agent ?C ?A) (instance ?I Increasing) (destination ?C ?I) (subjectiveAttribute ?I Quick ?A)))) |
MilitaryProcesses.kif 1437-1445 | |
| (=> (instance ?RATING FoodRating) (hasPurpose ?RATING (exists (?C ?FOOD) (and (instance ?C Classifying) (destination ?C ?FOOD) (patient ?C ?RATING) (instance ?FOOD PreparedFood))))) |
Hotel.kif 3063-3071 | |
| (=> (instance ?RATING ServiceRating) (hasPurpose ?RATING (exists (?C ?S) (and (instance ?C Classifying) (destination ?C ?S) (patient ?C ?RATING) (instance ?S ServiceProcess))))) |
Hotel.kif 3092-3100 | |
| (=> (instance ?TT TriageTag) (hasPurpose ?TT (exists (?C) (and (instance ?C Classifying) (instrument ?C ?TT))))) |
Medicine.kif 6131-6137 | |
| (=> (ratingsAgent ?RATING ?AGENT) (exists (?PROCESS ?OBJ) (and (instance ?PROCESS Classifying) (agent ?PROCESS ?AGENT) (destination ?PROCESS ?OBJ) (result ?PROCESS ?RATING)))) |
Hotel.kif 3028-3035 | |
| (=> (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (exists (?RATE) (and (instance ?RATE Classifying) (agent ?RATE ?AGENT) (patient ?RATE ?ATTR) (destination ?RATE ?ENTITY)))) |
Dining.kif 318-325 |
|
|
|