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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Comparing

 Sigma KEE - Comparing
Comparing(comparing)acid_test, adjustment, analogise, analogize, appraisal, assay, assessment, associate, association, balancing, calibration, capitalisation, capitalization, cf, cf., check, cite, collate, collation, colligate, collimation, comparability, comparative, compare, comparing, comparison, comparison-shop, confrontation, connect, contradistinction, contradistinguish, contrast, control, correlate, countercheck, critical_analysis, critical_appraisal, criticism, critique, cross-check, demarcation, discriminate, discrimination, dividing_line, double-check, double_check, equate, equating, equation, equivalence...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3129-3130
No TPTP formula. May not be expressible in strict first order. Merge.kif 12110-12112
No TPTP formula. May not be expressible in strict first order. Merge.kif 12109-12109 Comparing is a subclass of dual object process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12108-12108 Comparing is a subclass of intentional psychological process

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1148-1148
No TPTP formula. May not be expressible in strict first order. english_format.kif 1513-1513
No TPTP formula. May not be expressible in strict first order. french_format.kif 826-826
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 358-358
No TPTP formula. May not be expressible in strict first order. terms-it.txt 361-361
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2510-2510
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 778-778
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 363-363
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 397-397
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 847-847
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 362-362


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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