TreeView Knowledge Base Browser - increasesLikelihood

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2598-2598	increasesLikelihood et decreasesLikelihood sont disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2599-2599	increasesLikelihood et independentProbability sont disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1907-1909
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2602-2604
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 534-536
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2596-2596	Le nombre 1 argument de increasesLikelihood est une instance de formule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2597-2597	Le nombre 2 argument de increasesLikelihood est une instance de formule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2594-2594	increasesLikelihood est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2595-2595	increasesLikelihood est une instance de relation irr�flexive
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2593-2593	increasesLikelihood est une instance de relation de probabilit�

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 125-125
No TPTP formula. May not be expressible in strict first order.	english_format.kif 126-126
No TPTP formula. May not be expressible in strict first order.	french_format.kif 84-84
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 141-141
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1911-1911
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 36-36
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 90-90
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 148-148
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 180-180
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 103-103
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 83-83
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 286-286
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29545-29545
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 126-126
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29544-29544
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29543-29543
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 44-44
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 287-287

antecedent

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

Merge.kif 2606-2611

Formule augmente la probabilit� de formule le probabilit� de formule est nombre r�el la probabilit� de formule pourvu que formule vaut nombre r�el
nombre r�el est plus grand que nombre r�el

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2647-2654	Formule est une instance de formule formule est une instance de formule formule augmente la probabilit� de formule formule diminue la probabilit� de formule probabilit� de formule et formule est ind�pendente
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3710-3751	Objet est une instance de CarAlarm objet est une instance de SelfPoweredRoadVehicle objet est une partie de objet entit� entit�, entit� and entit� objet a pour but entit� est une instance de Stealing entit� est une instance de endommager entit� est une instance de humain entit� est un agent de entit� objet est un patient de entit� temps d'existence de entit� est entit� eventPartlyLocated entit� and entit� entit� entit� est une instance de son irradiant entit� est un agent de objet entit� cause entit� entit� a pour but entit� entit� est une instance de humain entit� est Near � entit� pendant entit� augmente la probabilit� de entit� conna�t entit� entit� est une instance de Stealing entit� est une instance de endommager eventPartlyLocated entit� and entit� objet est un patient de entit� pendant entit� temps d'existence de entit� finit temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	WMD.kif 941-955	diseaseMedicine maladie ou syndrome, substance biologique active and processus entit� position temporel, entit� and entit� maladie ou syndrome est un attribut de entit� pendant position temporel entit� est une instance de processus temps d'existence de entit� est une partie de position temporel entit� exp�rimente entit� entit� est un patient de entit� entit� est une instance de substance biologique active augmente la probabilit� de maladie ou syndrome est un attribut de entit� pendant immediatement apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	WMD.kif 877-882	diseaseSymptom maladie ou syndrome and maladie ou syndrome entit� maladie ou syndrome est un attribut de entit� augmente la probabilit� de maladie ou syndrome est un attribut de entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3558-3582	Physique est une instance de SafetyVest physique a pour but entit� entit� entit� est une instance de animal entit� est une instance de humain entit� porte physique augmente la probabilit� de entit� entit� est une instance de voir entit� est un patient de entit� entit� exp�rimente entit� entit� entit� est une instance de voir entit� est un patient de entit� entit� exp�rimente entit� diminue la probabilit� de entit� entit� est une instance de blesser entit� est un agent de entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10414-10422	pathologicSymptom maladie ou syndrome and processus pathologique entit� maladie ou syndrome est un attribut de entit� augmente la probabilit� de entit� entit� est une instance de processus pathologique entit� exp�rimente entit�

appearance as argument number 0

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

WMD.kif 767-773

biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE ?PROCESS est une instance de ?PROCESSTYPE ?ORGANISM exp�rimente ?PROCESS augmente la probabilit� de ?SYMPTOM est un attribut de ?ORGANISM

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

KB Term:			Term intersection

English Word: