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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - statisticalPopulation
statisticalPopulation

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


s__documentation(s__statisticalPopulation__m,s__EnglishLanguage,'"A statistical population is a set of entities concerning which statistical inferences are to be drawn. (statisticalPopulation ?SAMPLE_COLL ?POP_COLL ?EXPERIMENT) means that the Collection ?SAMPLE_COLL is meant to be a representitive sample of the population Collection ?POP_COLL in the intance of Experimenting ?EXPERIMENT."')

UXExperimentalTerms.kif 603-606
s__domain(s__statisticalPopulation__m,n__1,s__Collection)

UXExperimentalTerms.kif 597-597 The number 1 argument of statisticalPopulation is an instance of collection
s__domain(s__statisticalPopulation__m,n__2,s__Collection)

UXExperimentalTerms.kif 599-599 The number 2 argument of statisticalPopulation is an instance of collection
s__domain(s__statisticalPopulation__m,n__3,s__Experimenting)

UXExperimentalTerms.kif 601-601 The number 3 argument of statisticalPopulation is an instance of experimenting
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__statisticalPopulation__m,s__TernaryPredicate)

UXExperimentalTerms.kif 595-595 statisticalPopulation is an instance of ternary predicate

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


s__format(s__ChineseLanguage,s__statisticalPopulation__m,'"%1 是 %2 的 sample 对于 %3 "')

domainEnglishFormat.kif 4639-4639
s__format(s__ChineseTraditionalLanguage,s__statisticalPopulation__m,'"%1 是 %2 的 sample 對於 %3 "')

domainEnglishFormat.kif 4638-4638
s__format(s__EnglishLanguage,s__statisticalPopulation__m,'"%1 is a sample of %2 for %3"')

domainEnglishFormat.kif 4637-4637

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


( ! [V__AGENT,V__POP_COLL,V__EXPERIMENT,V__SAMPLE_COLL] :
   (((s__instance(V__SAMPLE_COLL,s__Collection) &
         s__instance(V__POP_COLL,s__Collection) &
         s__instance(V__EXPERIMENT,s__Experimenting) &
         s__instance(V__AGENT,s__CognitiveAgent) &
         s__agent(V__EXPERIMENT,V__AGENT)
       &
       s__statisticalPopulation(V__SAMPLE_COLL,V__POP_COLL,V__EXPERIMENT))
   =>
   (( ! [V__ATTRIBUTE] :
       (((s__instance(V__ATTRIBUTE,s__Attribute) &
             s__property(V__SAMPLE_COLL,V__ATTRIBUTE)
           &
           s__inScopeOfInterest(V__AGENT,V__ATTRIBUTE)
         &
         ~((V__ATTRIBUTE = s__RepresentativeSample)))
         =>
         (s__property(V__POP_COLL,V__ATTRIBUTE)))))))
)
)

UXExperimentalTerms.kif 629-645
( ! [V__POP_COLL,V__EXPERIMENT,V__SAMPLE_COLL] :
   (((s__instance(V__SAMPLE_COLL,s__Collection) &
         s__instance(V__POP_COLL,s__Collection) &
         s__instance(V__EXPERIMENT,s__Experimenting) &
         s__statisticalPopulation(V__SAMPLE_COLL,V__POP_COLL,V__EXPERIMENT))
     =>
     (s__subCollection(V__SAMPLE_COLL,V__POP_COLL)))
)
)

UXExperimentalTerms.kif 608-614

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 751-761


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