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 2750-2750 decreases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2773-2775
No TPTP formula. May not be expressible in strict first order. Merge.kif 2770-2772
No TPTP formula. May not be expressible in strict first order. Merge.kif 2768-2768 The number 1 argument of decreases likelihood is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2769-2769 The number 2 argument of decreases likelihood is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2766-2766 decreases likelihood is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2767-2767 decreases likelihood is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2765-2765 decreases likelihood is an instance of probability relation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2748-2748 increases likelihood and decreases likelihood are 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 71-71
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. portuguese_format.kif 19-19
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 17-17
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-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 "降低可能性" is the printable form of decreases likelihood in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3560-3560 "decreases likelihood" is the printable form of decreases likelihood in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 467-467 "«يُنْقِص اِحْتِمَال»" is the printable form of decreases likelihood in ar
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 151-151 "nagbabawas malamang" is the printable form of decreases likelihood in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2777-2782

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2803-2810
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15561-15581
No TPTP formula. May not be expressible in strict first order. Merge.kif 4491-4501
No TPTP formula. May not be expressible in strict first order. Merge.kif 4409-4422
No TPTP formula. May not be expressible in strict first order. Cars.kif 3569-3593
No TPTP formula. May not be expressible in strict first order. Cars.kif 1047-1065
No TPTP formula. May not be expressible in strict first order. Cars.kif 4001-4019

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 870-878 A disease or syndrome is a biochemical agent syndrome of a kind of biochemical agent and a kind of biochemical agent biochemical agent antidote a kind of biologically active substance for a kind of process and an entity is an instance of a kind of biologically active substance and another process is an instance of a kind of process and an agent experiences the other process and the kind of biologically active substance is a patient of the other process decreases likelihood of the disease or syndrome is an attribute of the agent


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners