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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 2587-2590
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 2584-2584 The number 1 argument of probability is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2581-2581 Probability is an instance of probability relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2582-2582 Probability is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2583-2583 Probability is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 2585-2585 The range of probability is an instance of real number

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 47494-47494
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 47493-47493
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. terms-de.txt 112-112

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2634-2639
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19914-19929
No TPTP formula. May not be expressible in strict first order. Cars.kif 2868-2886
No TPTP formula. May not be expressible in strict first order. Merge.kif 2617-2622
No TPTP formula. May not be expressible in strict first order. Merge.kif 2651-2656
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1858-1876
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24473-24490
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25281-25298
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 25319-25336
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 17704-17710
No TPTP formula. May not be expressible in strict first order. Merge.kif 17716-17722
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 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