Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  decreasesLikelihood

 Sigma KEE - decreasesLikelihood
decreasesLikelihood

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 2600-2600 decreasesLikelihood e independentProbability sao disjuntos
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1910-1912
No TPTP formula. May not be expressible in strict first order. Merge.kif 2619-2621
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 537-539
No TPTP formula. May not be expressible in strict first order. Merge.kif 2616-2616 O argumento numero 1 de decreasesLikelihood e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2617-2617 O argumento numero 2 de decreasesLikelihood e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2614-2614 decreasesLikelihood e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 2615-2615 decreasesLikelihood e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 2613-2613 decreasesLikelihood e' uma instancia de Relacao de Probabilidade

appearance as argument number 2
-------------------------


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. chinese_format.kif 89-89
No TPTP formula. May not be expressible in strict first order. english_format.kif 89-89
No TPTP formula. May not be expressible in strict first order. french_format.kif 67-67
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1893-1893
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 19-19
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 91-91
No TPTP formula. May not be expressible in strict first order. relations-de.txt 98-98
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 108-108
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 86-86
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 66-66
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 150-150
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 101-101
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 90-90
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18833-18833
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18832-18832
No TPTP formula. May not be expressible in strict first order. terms-de.txt 27-27
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 151-151

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 2623-2628

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 2647-2654
No TPTP formula. May not be expressible in strict first order. Merge.kif 4399-4410
No TPTP formula. May not be expressible in strict first order. Merge.kif 4319-4332
No TPTP formula. May not be expressible in strict first order. Cars.kif 3558-3582
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1050-1066
No TPTP formula. May not be expressible in strict first order. Cars.kif 1016-1034
No TPTP formula. May not be expressible in strict first order. Cars.kif 3994-4012

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 921-929 biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE e' uma instancia de ?SUBSTANCE ?THERAPY e' uma instancia de ?PROCESS ?ORGANISM experimenta ?THERAPY ?SAMPLE e' um patient de ?THERAPY diminui a probabilidade de ?SYMPTOM e' um atributo de ?ORGANISM
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18202-18219 ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X e' uma instancia de PaperShredder ?CUT e' uma instancia de Cortar ?X e' um instrumento para ?CUT ?PAPER e' uma instancia de Paper ?PAPER e' um patient de ?CUT ?CBO e' situado em ?PAPER ?CBO e' uma instancia de VisualContentBearingObject ?CBO contem informacao ?INFO diminui a probabilidade de ?READ ?READ e' uma instancia de Interpreting ?INFO e' um patient de ?READ tempo de existencia de ?CUT acontence antes de tempo de existencia de ?READ


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners