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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PPSFn
PPSFn

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


s__documentation(s__PPSFn__m,s__EnglishLanguage,'"QualifyingPurchases per TreatedUser. Accounts for purchases immediately following a qualifying event"')

UXExperimentalTerms.kif 3258-3259
s__domain(s__PPSFn__m,n__1,s__Experimenting)

UXExperimentalTerms.kif 3254-3254 The number 1 argument of qualifying purchases per user is an instance of experimenting
s__instance(s__UnaryFunction,s__SetOrClass)

s__instance(s__PPSFn__m,s__UnaryFunction)

UXExperimentalTerms.kif 3252-3252 Qualifying purchases per user is an instance of unary function
s__range(s__PPSFn__m,s__RealNumber)

UXExperimentalTerms.kif 3256-3256 The range of qualifying purchases per user is an instance of real number

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


s__format(s__ChineseLanguage,s__PPSFn__m,'"purchases per user 在 %1 "')

domainEnglishFormat.kif 4199-4199
s__format(s__ChineseTraditionalLanguage,s__PPSFn__m,'"purchases per user 在 %1 "')

domainEnglishFormat.kif 4198-4198
s__format(s__EnglishLanguage,s__PPSFn__m,'"purchases per user in %1"')

domainEnglishFormat.kif 4197-4197
s__termFormat(s__EnglishLanguage,s__PPSFn__m,'"qualifying purchases per user"')

UXExperimentalTerms.kif 3261-3261

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3263-3280


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