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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 et independentProbability sont disjoint
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 Le nombre 1 argument de decreasesLikelihood est une instance de formule
No TPTP formula. May not be expressible in strict first order. Merge.kif 2617-2617 Le nombre 2 argument de decreasesLikelihood est une instance de formule
No TPTP formula. May not be expressible in strict first order. Merge.kif 2614-2614 decreasesLikelihood est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 2615-2615 decreasesLikelihood est une instance de relation irr�flexive
No TPTP formula. May not be expressible in strict first order. Merge.kif 2613-2613 decreasesLikelihood est une instance de relation de probabilit�

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


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. 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 4400-4411
No TPTP formula. May not be expressible in strict first order. Merge.kif 4320-4333
No TPTP formula. May not be expressible in strict first order. Cars.kif 3543-3567
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 3979-3997

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 est une instance de ?SUBSTANCE ?THERAPY est une instance de ?PROCESS ?ORGANISM exp�rimente ?THERAPY ?SAMPLE est un patient de ?THERAPY diminue la probabilit� de ?SYMPTOM est un attribut de ?ORGANISM
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18229-18246 ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X est une instance de PaperShredder ?CUT est une instance de couper ?X est un instrument pour ?CUT ?PAPER est une instance de Paper ?PAPER est un patient de ?CUT ?CBO est situ� � ?PAPER ?CBO est une instance de VisualContentBearingObject ?CBO contient information ?INFO diminue la probabilit� de ?READ ?READ est une instance de Interpreting ?INFO est un patient de ?READ temps d'existence de ?CUT arrive plus t�t que temps d'existence de ?READ


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



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