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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ProbabilityFn

Sigma KEE - ProbabilityFn
ProbabilityFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1901-1902
No TPTP formula. May not be expressible in strict first order. Merge.kif 2576-2579
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 527-529
No TPTP formula. May not be expressible in strict first order. Merge.kif 2573-2573 表示机率的函数 的 1 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2570-2570 表示机率的函数概率关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2571-2571 表示机率的函数总值关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2572-2572 表示机率的函数一元函数instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2574-2574 表示机率的函数range实数 的实例

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 271-271
No TPTP formula. May not be expressible in strict first order. english_format.kif 276-276
No TPTP formula. May not be expressible in strict first order. french_format.kif 154-154
No TPTP formula. May not be expressible in strict first order. relations-it.txt 232-232
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1982-1982
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 106-106
No TPTP formula. May not be expressible in strict first order. relations-de.txt 350-350
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 270-270
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 173-173
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 160-160
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 424-424
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47492-47492
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 272-272
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47491-47491
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47490-47490
No TPTP formula. May not be expressible in strict first order. terms-de.txt 112-112

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2623-2628
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18343-18358
No TPTP formula. May not be expressible in strict first order. Cars.kif 2884-2902
No TPTP formula. May not be expressible in strict first order. Merge.kif 2606-2611
No TPTP formula. May not be expressible in strict first order. Merge.kif 2640-2645
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1718-1736
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22832-22849
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23640-23657
No TPTP formula. May not be expressible in strict first order. Cars.kif 1453-1470
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23677-23694
No TPTP formula. May not be expressible in strict first order. Cars.kif 1493-1510

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 531-537
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 569-575
No TPTP formula. May not be expressible in strict first order. emotion.kif 146-153
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3800-3810
No TPTP formula. May not be expressible in strict first order. Merge.kif 17529-17531
No TPTP formula. May not be expressible in strict first order. Merge.kif 17537-17539
No TPTP formula. May not be expressible in strict first order. Dining.kif 388-407
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 607-617


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