TreeView Knowledge Base Browser - ProbabilityAttribute

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3915-3916
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17591-17593
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17590-17590	概率属性是客观标准的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17595-17595	容易是概率属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17608-17608	较不可能是概率属性的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47488-47488
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47487-47487
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47486-47486