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 降低可能性 和 独立发生机率 是 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 降低可能性 的 1 数量 是 公式 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2617-2617 降低可能性 的 2 数量 是 公式 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2614-2614 降低可能性 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2615-2615 降低可能性 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2613-2613 降低可能性 是 概率关系 的 instance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2598-2598 提高可能性 和 降低可能性 是 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 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 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒征兆 和 ?AGENT biochemical 病毒解毒制剂 ?SUBSTANCE 对于 ?PROCESS 和 ?SAMPLE 是 ?SUBSTANCE 的 instance 和 ?THERAPY 是 ?PROCESS 的 instance 和 ?ORGANISM 经历了 ?THERAPY 和 ?SAMPLE 是 ?THERAPY 的 patient 减少 ?SYMPTOM 是 ?ORGANISM 的 attribute 发生的机率
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18202-18219 有存在 ?X， ?CUT,， ， ?PAPER,， ， ?CBO， and 和 ?INFO 这样 ?X 是 PaperShredder 的 instance 和 ?CUT 是 切开 的 instance 和 ?X 是导致 ?CUT 的 instrument 和 ?PAPER 是 纸 的 instance 和 ?PAPER 是 ?CUT 的 patient 和 ?CBO 是 located 在 ?PAPER 和 ?CBO 是 VisualContentBearingObject 的 instance 和 ?CBO contains ?INFO 的资料 减少 有存在 ?READ 这样 ?READ 是 解读 的 instance 和 ?INFO 是 ?READ 的 patient 和 ?CUT 出现 的 time 比?READ 出现 的 time发生的earlier 发生的机率


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