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 2611-2611 decreases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1910-1912 decreases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2630-2632 decreases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 537-539 decreases likelihood and independent probability are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2627-2627 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 2628-2628 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 2625-2625 decreases likelihood is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2626-2626 decreases likelihood is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2624-2624 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 2609-2609 increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 89-89 increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order. english_format.kif 89-89 increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order. french_format.kif 67-67 increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1893-1893 increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 19-19 increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 91-91 increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order. relations-de.txt 98-98 increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 108-108 increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 86-86 increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 66-66 increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 150-150 increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 101-101 increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 90-90 increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18842-18842 increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18841-18841 increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order. terms-de.txt 27-27 increases likelihood and decreases likelihood are disjoint
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 151-151 increases likelihood and decreases likelihood are disjoint

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2634-2639

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2658-2665
No TPTP formula. May not be expressible in strict first order. Merge.kif 4425-4436
No TPTP formula. May not be expressible in strict first order. Merge.kif 4347-4360
No TPTP formula. May not be expressible in strict first order. Cars.kif 3619-3643
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1042-1058
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 4055-4073

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 921-929 ?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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19773-19790 There exist ?X, ?CUT,, , ?PAPER,, , ?CBO and ?INFO such that ?X is an instance of paper shredder and ?CUT is an instance of cutting and ?X is an instrument for ?CUT and ?PAPER is an instance of paper and ?PAPER is a patient of ?CUT and ?CBO is located at ?PAPER and ?CBO is an instance of visual content bearing object and ?CBO contains information ?INFO decreases likelihood of there exists ?READ such that ?READ is an instance of interpreting and ?INFO is a patient of ?READ and the time of existence of ?CUT happens earlier than the time of existence of ?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