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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Classifying
Classifying

VerbNet: classify-29.10|separate, classify-29.10|bracket, dub-29.3|brand, classify-29.10|categorize, classify-29.10|categorize, classify-29.10|chunk, classify-29.10|separate, characterize-29.2|classify, classify-29.10|chunk, discover-84|discover, separate-23.1|differentiate, discover-84|discover, discover-84|discover, dub-29.3|nickname, classify-29.10|grade, classify-29.10|group, discover-84|discover, discover-84|discover, classify-29.10|chunk, dub-29.3|nickname, classify-29.10|grade, characterize-29.2|stamp, classify-29.10|grade, dub-29.3|brand, classify-29.10|grade, classify-29.10|grade, classify-29.10|grade, classify-29.10|reclassify, classify-29.10|regroup, characterize-29.2|classify, separate-23.1|differentiate, separate-23.1|differentiate, classify-29.10|seed, classify-29.10|separate, separate-23.1|differentiate, separate-23.1|differentiate, classify-29.10|separate, classify-29.10|separate, characterize-29.2|stamp, characterize-29.2|stamp, separate-23.1|differentiate, separate-23.1|differentiate, characterize-29.2|treat, characterize-29.2|typecast, characterize-29.2|typecast,


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 11179-11184
(subclass Classifying IntentionalPsychologicalProcess) Merge.kif 11178-11178

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


(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 1512-1512

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 2589-2603
(=>
    (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 Agent))
    (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 2998-3011
(=>
    (and
        (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)
        (instance ?ATTR ServiceRating)
        (instance ?ENTITY Agent))
    (exists (?SVC ?CLASSIFY)
        (and
            (instance ?SVC ServiceProcess)
            (agent ?SVC ?ENTITY)
            (instance ?CLASSIFY Classifying)
            (agent ?CLASSIFY ?AGENT)
            (destination ?CLASSIFY ?SVC)
            (patient ?CLASSIFY ?ATTR))))		 Hotel.kif 3026-3038
(=>
    (instance ?RATING FoodRating)
    (hasPurpose ?RATING
        (and
            (instance ?C Classifying)
            (destination ?C ?FOOD)
            (patient ?C ?RATING)
            (instance ?FOOD PreparedFood))))		 Hotel.kif 2989-2996
(=>
    (instance ?RATING ServiceRating)
    (hasPurpose ?RATING
        (and
            (instance ?C Classifying)
            (destination ?C ?S)
            (patient ?C ?RATING)
            (instance ?S ServiceProcess))))		 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 314-321


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