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 e decreasesLikelihood sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2599-2599	increasesLikelihood e independentProbability sao disjuntos
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	O argumento numero 1 de increasesLikelihood e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2597-2597	O argumento numero 2 de increasesLikelihood e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2594-2594	increasesLikelihood e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2595-2595	increasesLikelihood e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2593-2593	increasesLikelihood e' uma instancia de Relacao de Probabilidade

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

Formula aumenta a probabilidade de Formula a probabilidade de Formula e' igual a Numero Real a probabilidade de Formula sabendo que Formula vale e' Numero Real
Numero Real e' maior que Numero Real

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2647-2654	Formula e' uma instancia de Formula Formula e' uma instancia de Formula Formula aumenta a probabilidade de Formula Formula diminui a probabilidade de Formula as probabilidades de Formula e Formula sao independentes
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3710-3751	Objeto e' uma instancia de CarAlarm Objeto e' uma instancia de SelfPoweredRoadVehicle Objeto e' uma &parte de Objeto Entidade Entidade, Entidade and Entidade Objeto tem por fim Entidade e' uma instancia de Stealing Entidade e' uma instancia de Causar Dano Entidade e' uma instancia de Humano Entidade e' um agente de Entidade Objeto e' um patient de Entidade tempo de existencia de Entidade e' igual a Entidade eventPartlyLocated Entidade and Entidade Entidade Entidade e' uma instancia de Som Irradiante Entidade e' um agente de Objeto Entidade causa Entidade Entidade tem por fim Entidade Entidade e' uma instancia de Humano Entidade e' Near em relacao a Entidade vale durante Entidade aumenta a probabilidade de Entidade sabe Entidade Entidade e' uma instancia de Stealing Entidade e' uma instancia de Causar Dano eventPartlyLocated Entidade and Entidade Objeto e' um patient de Entidade vale durante Entidade tempo de existencia de Entidade termina em tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	WMD.kif 941-955	diseaseMedicine Doenca ou Sindrome, Substancia Biologica Ativa and Processo Entidade Posicao Temporal, Entidade and Entidade Doenca ou Sindrome e' um atributo de Entidade vale durante Posicao Temporal Entidade e' uma instancia de Processo tempo de existencia de Entidade e' uma &parte de Posicao Temporal Entidade experimenta Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Substancia Biologica Ativa aumenta a probabilidade de Doenca ou Sindrome e' um atributo de Entidade vale durante imediatemente apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	WMD.kif 877-882	diseaseSymptom Doenca ou Sindrome and Doenca ou Sindrome Entidade Doenca ou Sindrome e' um atributo de Entidade aumenta a probabilidade de Doenca ou Sindrome e' um atributo de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3558-3582	Fisico e' uma instancia de SafetyVest Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Animal Entidade e' uma instancia de Humano Entidade usa Fisico aumenta a probabilidade de Entidade Entidade e' uma instancia de Visao Entidade e' um patient de Entidade Entidade experimenta Entidade Entidade Entidade e' uma instancia de Visao Entidade e' um patient de Entidade Entidade experimenta Entidade diminui a probabilidade de Entidade Entidade e' uma instancia de Ferir Entidade e' um agente de Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10414-10422	pathologicSymptom Doenca ou Sindrome and Processo Patologico Entidade Doenca ou Sindrome e' um atributo de Entidade aumenta a probabilidade de Entidade Entidade e' uma instancia de Processo Patologico Entidade experimenta Entidade

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 e' uma instancia de ?PROCESSTYPE ?ORGANISM experimenta ?PROCESS aumenta a probabilidade de ?SYMPTOM e' um atributo de ?ORGANISM

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

KB Term:			Term intersection

English Word: