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, classifying, 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...

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


(documentation Classifying ChineseLanguage "这是 IntentionalPsychologicalProcessClass,它涉及对一件东西或一类东西进行分类或命名。注:ClassifyingLearning 的分别在于后者包括 由 CognitiveAgent 所获得的任何 Proposition,而前者涉及给物件编派标签或类别。") Merge.kif 11947-11949
(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 11941-11946
(subclass Classifying IntentionalPsychologicalProcess) Merge.kif 11940-11940 Classifying is a subclass of intentional psychological process

appearance as argument number 2
-------------------------


(subclass TerminalAttackControl Classifying) MilitaryProcesses.kif 440-440 Terminal attack control is a subclass of classifying
(subclass TerminalGuidance Classifying) MilitaryProcesses.kif 489-489 Terminal guidance is a subclass of classifying
(termFormat ChineseLanguage Classifying "分类") chinese_format.kif 1145-1145 "分类" is the printable form of classifying in ChineseLanguage
(termFormat EnglishLanguage Classifying "classifying") english_format.kif 832-832 "classifying" is the printable form of classifying in english language

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 2576-2590
(=>
    (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 547-559
(=>
    (and
        (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)
        (instance ?ATTR FoodRating)
        (instance ?ENTITY Agent))
    (exists (?FOOD ?COOK ?CLASSIFY)
        (and
            (instance ?COOK Cooking)
            (agent ?COOK ?ENTITY)
            (result ?COOK ?FOOD)
            (instance ?CLASSIFY Classifying)
            (destination ?CLASSIFY ?FOOD)
            (patient ?CLASSIFY ?ATTR))))
Hotel.kif 2992-3004
(=>
    (and
        (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)
        (instance ?ATTR ServiceRating)
        (instance ?ENTITY Agent))
    (exists (?SVC ?CLASSIFY)
        (and
            (instance ?SVC ServiceProcess)
            (agent ?SVC ?ENTITY)
            (instance ?CLASSIFY Classifying)
            (destination ?CLASSIFY ?SVC)
            (patient ?CLASSIFY ?ATTR))))
Hotel.kif 3019-3030
(=>
    (instance ?RATING FoodRating)
    (hasPurpose ?RATING
        (and
            (instance ?C Classifying)
            (destination ?C ?FOOD)
            (patient ?C ?RATING)
            (instance ?FOOD PreparedFood))))
Hotel.kif 2983-2990
(=>
    (instance ?RATING ServiceRating)
    (hasPurpose ?RATING
        (and
            (instance ?C Classifying)
            (destination ?C ?S)
            (patient ?C ?RATING)
            (instance ?S ServiceProcess))))
Hotel.kif 3010-3017
(=>
    (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)
    (exists (?RATE)
        (and
            (instance ?RATE Classifying)
            (agent ?RATE ?AGENT)
            (patient ?RATE ?ATTR)
            (destination ?RATE ?ENTITY))))
Dining.kif 321-328


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners