TreeView Knowledge Base Browser - independentProbability

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1913-1915
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2542-2544
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2539-2539	The number 1 argument of independent probability is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2540-2540	The number 2 argument of independent probability is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2537-2537	independent probability is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2536-2536	independent probability is an instance of probability relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2538-2538	independent probability is an instance of symmetric relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2506-2506	decreases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2505-2505	increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 127-127
No TPTP formula. May not be expressible in strict first order.	english_format.kif 128-128
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 128-128
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29503-29503
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29502-29502
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29501-29501

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 2546-2551

consequent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 2553-2560