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 2570-2573
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 2567-2567 The number 1 argument of probability is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2564-2564 Probability is an instance of probability relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2565-2565 Probability is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2566-2566 Probability is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 2568-2568 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 47523-47523
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 47522-47522
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47521-47521
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 2617-2622
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19921-19936
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 2600-2605
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. Transportation.kif 1858-1876
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24481-24498
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25289-25306
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 25327-25344
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 17655-17661
No TPTP formula. May not be expressible in strict first order. Merge.kif 17667-17673
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