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 17542-17544
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17541-17541	概率属性是客观标准的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17546-17546	容易是概率属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17555-17555	较不可能是概率属性的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47486-47486
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47485-47485
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47484-47484