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 2647-2649
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 540-542
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2644-2644	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 2645-2645	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 2642-2642	independent probability is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2641-2641	independent probability is an instance of probability relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2643-2643	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 2611-2611	decreases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2610-2610	increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 127-127	increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	english_format.kif 128-128	increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	french_format.kif 85-85	increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 142-142	increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1912-1912	increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 37-37	increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 92-92	increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 151-151	increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 181-181	increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 104-104	increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 84-84	increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 288-288	increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 128-128	increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29586-29586	increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29585-29585	increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29584-29584	increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 45-45	increases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 289-289	increases likelihood and independent probability are disjoint

antecedent

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

Merge.kif 2651-2656

If probability of a formula and another formula is independent and equal the probability of the other formula and a real number and probability of the formula provided that the other formula holds is another real number,
then equal the other real number and the real number

consequent

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

Merge.kif 2658-2665

If a formula is an instance of formula and another formula is an instance of formula,
then the formula increases likelihood of the other formula or the formula decreases likelihood of the other formula or probability of the formula and the other formula is independent

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

KB Term:			Term intersection

English Word: