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 11985-11990
No TPTP formula. May not be expressible in strict first order. Merge.kif 11984-11984 Classifying is a subclass of intentional psychological process

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


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
No TPTP formula. May not be expressible in strict first order. english_format.kif 1507-1507
No TPTP formula. May not be expressible in strict first order. french_format.kif 823-823
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 355-355
No TPTP formula. May not be expressible in strict first order. terms-it.txt 358-358
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2507-2507
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 775-775
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 360-360
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 394-394
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 844-844
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 359-359

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2609-2623
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 3062-3075
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3091-3103
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 3052-3060
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3081-3089
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6114-6120
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3017-3024
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