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 2501-2501 decreases likelihood and independent probability are 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 2520-2522
No TPTP formula. May not be expressible in strict first order. Merge.kif 2517-2517 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 2518-2518 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 2515-2515 decreases likelihood is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2516-2516 decreases likelihood is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2514-2514 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 2499-2499 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 89-89
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 18762-18762 "降低可能性" is the printable form of decreases likelihood in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18761-18761 "decreases likelihood" is the printable form of decreases likelihood in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2524-2529

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2548-2555
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15892-15912
No TPTP formula. May not be expressible in strict first order. Merge.kif 4102-4112
No TPTP formula. May not be expressible in strict first order. Merge.kif 4022-4035
No TPTP formula. May not be expressible in strict first order. Cars.kif 3534-3558
No TPTP formula. May not be expressible in strict first order. Cars.kif 1006-1024
No TPTP formula. May not be expressible in strict first order. Cars.kif 3966-3984

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 879-887 ?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?AGENT biochemical agent antidote ?SUBSTANCE for ?PROCESS and ?SAMPLE is an instance of ?SUBSTANCE and ?THERAPY is an instance of ?PROCESS and ?ORGANISM experiences ?THERAPY and ?SAMPLE is a patient of ?THERAPY decreases likelihood of ?SYMPTOM is an attribute of ?ORGANISM


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