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

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


s__documentation(s__Classifying,s__ChineseLanguage,'"这是 IntentionalPsychologicalProcessClass,它涉及对一件东西或一类东西进行分类或命名。注:ClassifyingLearning 的分别在于后者包括 由 CognitiveAgent 所获得的任何 Proposition,而前者涉及给物件编派标签或类别。"')

chinese_format.kif 3114-3116
s__documentation(s__Classifying,s__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 11149-11154
s__subclass(s__Classifying,s__IntentionalPsychologicalProcess)

s__instance(s__IntentionalPsychologicalProcess,s__SetOrClass)

s__instance(s__Classifying,s__SetOrClass)

Merge.kif 11148-11148 Classifying is a subclass of intentional psychological process

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


s__subclass(s__TerminalAttackControl,s__Classifying)

s__instance(s__TerminalAttackControl,s__SetOrClass)

s__instance(s__Classifying,s__SetOrClass)

MilitaryProcesses.kif 449-449 Terminal attack control is a subclass of classifying
s__instance(s__TerminalGuidance,s__SetOrClass)

s__subclass(s__TerminalGuidance,s__Classifying)

s__instance(s__Classifying,s__SetOrClass)

MilitaryProcesses.kif 501-501 Terminal guidance is a subclass of classifying
s__termFormat(s__ChineseLanguage,s__Classifying,'"分类"')

chinese_format.kif 1145-1145
s__termFormat(s__EnglishLanguage,s__Classifying,'"classifying"')

english_format.kif 1512-1512

consequent
-------------------------


( ! [V__EV,V__P,V__A] :
   ((s__instance(V__P,s__Agent) &
       s__instance(V__A,s__Organization))
     =>
     (s__instance(V__EV,s__Evacuation) &
       s__agent(V__EV,V__A)
     &
     s__experiencer(V__EV,V__P))
=>
( ? [V__C, V__CA] :
   ((s__instance(V__CA,s__Organization) &
       (s__instance(V__C,s__Classifying) &
         s__subProcess(V__C,V__EV)
       &
       s__experiencer(V__C,V__P)
     &
     (s__subOrganization(V__CA,V__A)
     |
     s__member(V__CA,V__A)
   |
   (V__CA = V__A))
&
s__agent(V__C,V__CA)))))
)
)

MilitaryProcesses.kif 2589-2603
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 558-570
( ! [V__AGENT,V__ATTR,V__ENTITY] :
   (s__instance(V__AGENT,s__Agent) =>
     (s__subjectiveAttribute(V__ENTITY,V__ATTR,V__AGENT)
     &
     s__instance(V__ATTR,s__FoodRating) &
     s__instance(V__ENTITY,s__Agent))
   =>
   ( ? [V__FOOD, V__COOK, V__CLASSIFY] :
     ((s__instance(V__COOK,s__Cooking) &
         s__agent(V__COOK,V__ENTITY)
       &
       s__result(V__COOK,V__FOOD)
     &
     s__instance(V__CLASSIFY,s__Classifying) &
     s__agent(V__CLASSIFY,V__AGENT)
   &
   s__destination(V__CLASSIFY,V__FOOD)
&
s__patient(V__CLASSIFY,V__ATTR))))
)
)

Hotel.kif 2998-3011
( ! [V__AGENT,V__ATTR,V__ENTITY] :
   (s__instance(V__AGENT,s__Agent) =>
     (s__subjectiveAttribute(V__ENTITY,V__ATTR,V__AGENT)
     &
     s__instance(V__ATTR,s__ServiceRating) &
     s__instance(V__ENTITY,s__Agent))
   =>
   ( ? [V__SVC, V__CLASSIFY] :
     ((s__instance(V__SVC,s__ServiceProcess) &
         s__agent(V__SVC,V__ENTITY)
       &
       s__instance(V__CLASSIFY,s__Classifying) &
       s__agent(V__CLASSIFY,V__AGENT)
     &
     s__destination(V__CLASSIFY,V__SVC)
   &
   s__patient(V__CLASSIFY,V__ATTR))))
)
)

Hotel.kif 3026-3038
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2989-2996
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3017-3024
( ! [V__AGENT,V__ATTR,V__ENTITY] :
   ((s__instance(V__AGENT,s__Agent) &
       s__instance(V__ATTR,s__Attribute))
     =>
     s__subjectiveAttribute(V__ENTITY,V__ATTR,V__AGENT)
   =>
   ( ? [V__RATE] :
     ((s__instance(V__RATE,s__Classifying) &
         s__agent(V__RATE,V__AGENT)
       &
       s__patient(V__RATE,V__ATTR)
     &
     s__destination(V__RATE,V__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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners