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 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 The number 1 argument of probability is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2570-2570 Probability is an instance of probability relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2571-2571 Probability is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2572-2572 Probability is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 2574-2574 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 47504-47504
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 47503-47503
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47502-47502
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 18292-18307
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 22781-22798
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23589-23606
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 23626-23643
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 3808-3818
No TPTP formula. May not be expressible in strict first order. Merge.kif 17499-17501
No TPTP formula. May not be expressible in strict first order. Merge.kif 17507-17509
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