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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - confidenceInterval
confidenceInterval

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 653-656
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 658-658 The number 1 argument of confidence interval is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 660-660 The number 2 argument of confidence interval is an instance of real number
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 649-649 confidence interval is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3067-3067
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3066-3066
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3065-3065
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 651-651

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 680-687
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 671-678
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 662-668


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