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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Classifying
Classifying(classifying)alphabetic, alphabetical, alphabetised, alphabetized, analphabetic, ascription, assort, assortment, attribution, blood_typing, bracket, brand, carve_out, categorisation, categorise, categorised, categorization, categorize, categorized, chunk, class, classification, classificatory, classified, classify, collocate, come, compartmentalisation, compartmentalization, cross-classification, cross-division, declassified, describe, designation, dichotomise, dichotomize, dichotomous, differential_diagnosis, differentiate, discover, discriminate, distinguish, dub, fall, fall_into, fall_under, grade, group, grouped, grouping...

appearance as argument number 1
-------------------------


(documentation Classifying ChineseLanguage "这是 IntentionalPsychologicalProcessClass,它涉及对一件东西或一类东西进行分类或命名。注:ClassifyingLearning 的分别在于后者包括 由 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 11985-11990
(subclass Classifying IntentionalPsychologicalProcess) Merge.kif 11984-11984 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
(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 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 2609-2623
(=>
    (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 3062-3075
(=>
    (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 3091-3103
(=>
    (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 3052-3060
(=>
    (instance ?RATING ServiceRating)
    (hasPurpose ?RATING
        (exists (?C ?S)
            (and
                (instance ?C Classifying)
                (destination ?C ?S)
                (patient ?C ?RATING)
                (instance ?S ServiceProcess)))))
Hotel.kif 3081-3089
(=>
    (instance ?TT TriageTag)
    (hasPurpose ?TT
        (exists (?C)
            (and
                (instance ?C Classifying)
                (instrument ?C ?TT)))))
Medicine.kif 6114-6120
(=>
    (ratingsAgent ?RATING ?AGENT)
    (exists (?PROCESS ?OBJ)
        (and
            (instance ?PROCESS Classifying)
            (agent ?PROCESS ?AGENT)
            (destination ?PROCESS ?OBJ)
            (result ?PROCESS ?RATING))))
Hotel.kif 3017-3024
(=>
    (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)
    (exists (?RATE)
        (and
            (instance ?RATE Classifying)
            (agent ?RATE ?AGENT)
            (patient ?RATE ?ATTR)
            (destination ?RATE ?ENTITY))))
Dining.kif 318-325


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



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