Comparing - Sigma Knowledge base Browser

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 and DualObjectProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12108-12108	子類 Comparing and IntentionalPsychologicalProcess

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