Classifying - Sigma Knowledge base Browser

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 "这是 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 12031-12036
(subclass Classifying IntentionalPsychologicalProcess)	Merge.kif 12030-12030	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	Terminal guidance is a subclass of classifying
(termFormat EnglishLanguage Classifying "classifying")	english_format.kif 1507-1507	Terminal guidance is a subclass of classifying
(termFormat FrenchLanguage Classifying "classifier")	french_format.kif 823-823	Terminal guidance is a subclass of classifying
(termFormat Hindi Classifying "vargiikarana")	terms-hindi.txt 355-355	Terminal guidance is a subclass of classifying
(termFormat ItalianLanguage Classifying "Classificare")	terms-it.txt 358-358	Terminal guidance is a subclass of classifying
(termFormat JapaneseLanguage Classifying "分類")	japanese_format.kif 2507-2507	Terminal guidance is a subclass of classifying
(termFormat PortugueseLanguage Classifying "Classificar")	portuguese_format.kif 775-775	Terminal guidance is a subclass of classifying
(termFormat cb Classifying "pag-ila")	terms-cb.txt 360-360	Terminal guidance is a subclass of classifying
(termFormat cz Classifying "classifying")	terms-cz.txt 394-394	Terminal guidance is a subclass of classifying
(termFormat ro Classifying "clasificare")	relations-ro.kif 844-844	Terminal guidance is a subclass of classifying
(termFormat tg Classifying "pag-uri-uriin")	terms-tg.txt 359-359	Terminal guidance is a subclass of classifying

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 2661-2675	If a process is an instance of evacuating and an organization is an agent of the process and an agent experiences the process, then there exist another process and the other processA such that the other process is an instance of classifying and the other process is a subprocess of the process and the agent experiences the other process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization and the other processA is an agent of the other process
(=> (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	If a process is an instance of recovery operation and an entity is a patient of the process, then the process has the purpose there exists another entity such that the entity is a patient of the other entity and the other entity is an instance of the union of classifying and the union of pursuing and the union of discovering and the union of locating and returning
(=> (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	If an agent believes another agent is an attribute and the attribute is an instance of food rating and the other agent is an instance of agent, then there exist an entity, a process and another process such that the process is an instance of cooking and the other agent is an agent of the process and the entity is a result of the process and the other process is an instance of classifying and the agent is an agent of the other process and the other process ends up at the entity and the attribute is a patient of the other process
(=> (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	If an agent believes another agent is an attribute and the attribute is an instance of service rating and the other agent is an instance of agent, then there exist a process and another process such that the process is an instance of service and the other agent is an agent of the process and the other process is an instance of classifying and the agent is an agent of the other process and the other process ends up at the process and the attribute is a patient of the other process
(=> (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	If an entity is an instance of proliferation, then there exist a process, an agent and another entity such that the process is an instance of classifying and the agent is an agent of the process and the other entity is an instance of increasing and the process ends up at the other entity and the agent believes the other entity is quick
(=> (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	If a physical is an instance of food rating, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of classifying and the entity ends up at the other entity and the physical is a patient of the entity and the other entity is an instance of prepared food
(=> (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	If a physical is an instance of service rating, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of classifying and the entity ends up at the other entity and the physical is a patient of the entity and the other entity is an instance of service
(=> (instance ?TT TriageTag) (hasPurpose ?TT (exists (?C) (and (instance ?C Classifying) (instrument ?C ?TT)))))	Medicine.kif 6114-6120	If a physical is an instance of triage tag, then the physical has the purpose there exists an entity such that the entity is an instance of classifying and the physical is an instrument for the entity
(=> (ratingsAgent ?RATING ?AGENT) (exists (?PROCESS ?OBJ) (and (instance ?PROCESS Classifying) (agent ?PROCESS ?AGENT) (destination ?PROCESS ?OBJ) (result ?PROCESS ?RATING))))	Hotel.kif 3017-3024	If an agent creates rating a rating attribute, then there exist a process and an entity such that the process is an instance of classifying and the agent is an agent of the process and the process ends up at the entity and the rating attribute is a result of the process
(=> (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (exists (?RATE) (and (instance ?RATE Classifying) (agent ?RATE ?AGENT) (patient ?RATE ?ATTR) (destination ?RATE ?ENTITY))))	Dining.kif 318-325	If an agent believes an entity is an attribute, then there exists a process such that the process is an instance of classifying and the agent is an agent of the process and the attribute is a patient of the process and the process ends up at the entity

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