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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3114-3116
No TPTP formula. May not be expressible in strict first order. Merge.kif 12120-12125
No TPTP formula. May not be expressible in strict first order. Merge.kif 12119-12119 Classifying is a subclass of intentional psychological process

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2085-2085 Ordering parts is a subclass of classifying
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 449-449 Terminal attack control is a subclass of classifying
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 501-501 Terminal guidance is a subclass of classifying
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1145-1145 Terminal guidance is a subclass of classifying
No TPTP formula. May not be expressible in strict first order. english_format.kif 1507-1507 Terminal guidance is a subclass of classifying
No TPTP formula. May not be expressible in strict first order. french_format.kif 823-823 Terminal guidance is a subclass of classifying
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 355-355 Terminal guidance is a subclass of classifying
No TPTP formula. May not be expressible in strict first order. terms-it.txt 358-358 Terminal guidance is a subclass of classifying
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2507-2507 Terminal guidance is a subclass of classifying
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 775-775 Terminal guidance is a subclass of classifying
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 360-360 Terminal guidance is a subclass of classifying
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 394-394 Terminal guidance is a subclass of classifying
No TPTP formula. May not be expressible in strict first order. terms-de.txt 653-653 Terminal guidance is a subclass of classifying
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 844-844 Terminal guidance is a subclass of classifying
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 359-359 Terminal guidance is a subclass of classifying

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2643-2657
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 558-570
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3073-3086
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3102-3114
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1437-1445
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3063-3071
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3092-3100
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6131-6137
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3028-3035
No TPTP formula. May not be expressible in strict first order. 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