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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Experimenting

Sigma KEE - Experimenting
Experimenting(experimenting)Michelson-Morley_experiment, by_experimentation, by_trial_and_error, data-based, double-blind_experiment, double-blind_procedure, double-blind_study, embryonic_stem-cell_research, empirically, experiment, experimental, experimentally, experimentation, observational, run, stem-cell_research, test, testing, through_an_experiment, through_empirical_observation, trial

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


s__documentation(s__Experimenting,s__ChineseLanguage,'"这是通过建立并观察实验来 Investigating Proposition 的真相。注:实验可以是对照或非对照、双盲或解盲性。"')

chinese_format.kif 3232-3233
s__documentation(s__Experimenting,s__EnglishLanguage,'"Investigating the truth of a Proposition by constructing and observing a trial. Note that the trial may be either controlled or uncontrolled, blind or not blind."')

Merge.kif 12024-12026
s__instance(s__Experimenting,s__SetOrClass)

s__instance(s__Investigating,s__SetOrClass)

s__subclass(s__Experimenting,s__Investigating)

Merge.kif 12023-12023 Experimenting is a subclass of investigating

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


s__termFormat(s__ChineseLanguage,s__Experimenting,'"试验"')

domainEnglishFormat.kif 22750-22750
s__termFormat(s__ChineseTraditionalLanguage,s__Experimenting,'"試驗"')

domainEnglishFormat.kif 22749-22749
s__termFormat(s__EnglishLanguage,s__Experimenting,'"experimenting"')

domainEnglishFormat.kif 22748-22748

appearance as argument number 3
-------------------------


s__domain(s__GPIFn__m,n__1,s__Experimenting)

UXExperimentalTerms.kif 3362-3362 The number 1 argument of GPW is an instance of experimenting
s__domain(s__GPSFn__m,n__1,s__Experimenting)

UXExperimentalTerms.kif 3329-3329 The number 1 argument of GPS is an instance of experimenting
s__domain(s__PPIFn__m,n__1,s__Experimenting)

UXExperimentalTerms.kif 3288-3288 The number 1 argument of qualifying purchases per user per interval is an instance of experimenting
s__domain(s__PPSFn__m,n__1,s__Experimenting)

UXExperimentalTerms.kif 3251-3251 The number 1 argument of qualifying purchases per user is an instance of experimenting
s__domain(s__QualifyingEventsFn__m,n__1,s__Experimenting)

UXExperimentalTerms.kif 4404-4404 The number 1 argument of Qualifying Factor or Event is an instance of experimenting
s__domain(s__QualifyingPurchasesFn__m,n__1,s__Experimenting)

UXExperimentalTerms.kif 3237-3237 The number 1 argument of Qualifying Purchase is an instance of experimenting
s__domain(s__TreatedUsersFn__m,n__1,s__Experimenting)

UXExperimentalTerms.kif 4477-4477 The number 1 argument of TreatedUsersFn is an instance of experimenting
s__domain(s__burnInPeriod__m,n__1,s__Experimenting)

UXExperimentalTerms.kif 4504-4504 The number 1 argument of burn-in period is an instance of experimenting
s__domain(s__confidenceInterval__m,n__1,s__Experimenting)

UXExperimentalTerms.kif 658-658 The number 1 argument of confidence interval is an instance of experimenting
s__domain(s__controlGroup__m,n__2,s__Experimenting)

UXExperimentalTerms.kif 4047-4047 The number 2 argument of control group is an instance of experimenting
s__domain(s__conversionEvent__m,n__1,s__Experimenting)

UXExperimentalTerms.kif 3031-3031 The number 1 argument of conversionEvent is an instance of experimenting
s__domain(s__exclusiveEvent__m,n__1,s__Experimenting)

UXExperimentalTerms.kif 4534-4534 The number 1 argument of exclusive is an instance of experimenting
s__domain(s__experimentID__m,n__2,s__Experimenting)

UXExperimentalTerms.kif 4221-4221 The number 2 argument of experiment identifier string is an instance of experimenting
s__domain(s__experimentUpdate__m,n__2,s__Experimenting)

UXExperimentalTerms.kif 2880-2880 The number 2 argument of live experiment update is an instance of experimenting
s__domain(s__experimentalControl__m,n__1,s__Experimenting)

Mid-level-ontology.kif 13400-13400 The number 1 argument of experimental control is an instance of experimenting
s__domain(s__experimentalControlProcess__m,n__1,s__Experimenting)

UXExperimentalTerms.kif 4027-4027 The number 1 argument of experimental control (process) is an instance of experimenting
s__domain(s__experimentalSubject__m,n__1,s__Experimenting)

UXExperimentalTerms.kif 4117-4117 The number 1 argument of experimental subject is an instance of experimenting
s__domain(s__experimentalTreatmentCollection__m,n__2,s__Experimenting)

UXExperimentalTerms.kif 4240-4240 The number 2 argument of experimental treatment is an instance of experimenting
s__domain(s__experimentalVariableProcess__m,n__1,s__Experimenting)

UXExperimentalTerms.kif 4074-4074 The number 1 argument of experimental variable (process) is an instance of experimenting
s__domain(s__experimenter__m,n__1,s__Experimenting)

UXExperimentalTerms.kif 4146-4146 The number 1 argument of experimental subject is an instance of experimenting
s__domain(s__finalExperimentReport__m,n__2,s__Experimenting)

UXExperimentalTerms.kif 2901-2901 The number 2 argument of final experiment report is an instance of experimenting
s__domain(s__pValue__m,n__1,s__Experimenting)

UXExperimentalTerms.kif 700-700 The number 1 argument of confidence interval is an instance of experimenting
s__domain(s__qualifiedExperiment__m,n__1,s__Experimenting)

UXExperimentalTerms.kif 4258-4258 The number 1 argument of qualifiedExperiment is an instance of experimenting
s__domain(s__qualifiedPageView__m,n__1,s__Experimenting)

UXExperimentalTerms.kif 4275-4275 The number 1 argument of qualifiedPageView is an instance of experimenting
s__domain(s__qualifiedTreatment__m,n__1,s__Experimenting)

UXExperimentalTerms.kif 4296-4296 The number 1 argument of qualified treatment is an instance of experimenting

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__FORMULA,V__CONFIDENCE,V__EXPERIMENT] :
   ((s__instance(V__CONFIDENCE,s__RealNumber) =>
       (((s__confidenceInterval(V__EXPERIMENT,V__CONFIDENCE)
           &
           s__instance(V__EXPERIMENT,s__Experimenting) &
           s__instance(V__FORMULA,s__Formula) &
           s__patient(V__EXPERIMENT,V__FORMULA)
         &
         (V__CONFIDENCE = n__100))
       =>
       (s__truth(V__FORMULA,'$false__m')))))
)
)

UXExperimentalTerms.kif 680-687
( ! [V__FORMULA,V__CONFIDENCE,V__EXPERIMENT] :
   ((s__instance(V__CONFIDENCE,s__RealNumber) =>
       (((s__confidenceInterval(V__EXPERIMENT,V__CONFIDENCE)
           &
           s__instance(V__EXPERIMENT,s__Experimenting) &
           s__instance(V__FORMULA,s__Formula) &
           s__patient(V__EXPERIMENT,V__FORMULA)
         &
         (V__CONFIDENCE = n__100))
       =>
       (s__truth(V__FORMULA,'$true__m')))))
)
)

UXExperimentalTerms.kif 671-678
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 662-668
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4560-4577
( ! [V__CONTROL,V__EXPERIMENT] :
   ((s__instance(V__CONTROL,s__Process) =>
       (((s__instance(V__EXPERIMENT,s__Experimenting) &
             s__experimentalControlProcess(V__EXPERIMENT,V__CONTROL))
         =>
         (~(s__experimentalVariableProcess(V__EXPERIMENT,V__CONTROL))))))
)
)

UXExperimentalTerms.kif 4101-4106
( ! [V__CONTROL,V__EXPERIMENT] :
   ((s__instance(V__CONTROL,s__Process) =>
       (((s__instance(V__EXPERIMENT,s__Experimenting) &
             s__experimentalControlProcess(V__EXPERIMENT,V__CONTROL))
         =>
         (s__subProcess(V__CONTROL,V__EXPERIMENT)))))
)
)

UXExperimentalTerms.kif 4033-4037
( ! [V__EXPERIMENT,V__VARIABLE] :
   ((s__instance(V__VARIABLE,s__Process) =>
       (((s__instance(V__EXPERIMENT,s__Experimenting) &
             s__experimentalVariableProcess(V__EXPERIMENT,V__VARIABLE))
         =>
         (~(s__experimentalControlProcess(V__EXPERIMENT,V__VARIABLE))))))
)
)

UXExperimentalTerms.kif 4093-4098
( ! [V__EXPERIMENT,V__VARIABLE] :
   ((s__instance(V__VARIABLE,s__Process) =>
       (((s__instance(V__EXPERIMENT,s__Experimenting) &
             s__experimentalVariableProcess(V__EXPERIMENT,V__VARIABLE))
         =>
         (s__subProcess(V__VARIABLE,V__EXPERIMENT)))))
)
)

UXExperimentalTerms.kif 4086-4090
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3299-3318
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3260-3277
( ! [V__SUBJECT,V__EXPERIMENT] :
   (((s__instance(V__EXPERIMENT,s__Experimenting) &
         s__instance(V__SUBJECT,s__Human) &
         s__experimentalSubject(V__EXPERIMENT,V__SUBJECT))
     =>
     (( ? [V__PROCESS] :
         ((s__instance(V__PROCESS,s__Process) &
             s__experiencer(V__PROCESS,V__SUBJECT)
           &
           (s__experimentalControlProcess(V__EXPERIMENT,V__PROCESS)
           |
           s__experimentalVariableProcess(V__EXPERIMENT,V__PROCESS)))))))
)
)

UXExperimentalTerms.kif 4127-4138
( ! [V__RESULT,V__EXPERIMENT] :
   (((s__instance(V__EXPERIMENT,s__Experimenting) &
         s__result(V__EXPERIMENT,V__RESULT))
     =>
     (s__instance(V__RESULT,s__Formula)))
   )
)

UXExperimentalTerms.kif 3998-4002
( ! [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 627-643
( ! [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 606-612
( ! [V__VARIABLE1,V__VARIABLE2,V__EXPERIMENT1,V__EXPERIMENT2,V__TEST] :
   (((s__instance(V__TEST,s__MultivariateTest) &
         s__subProcess(V__EXPERIMENT1,V__TEST)
       &
       s__subProcess(V__EXPERIMENT2,V__TEST)
     &
     s__instance(V__EXPERIMENT1,s__Experimenting) &
     s__instance(V__EXPERIMENT2,s__Experimenting) &
     s__instance(V__VARIABLE1,s__Process) &
     s__instance(V__VARIABLE2,s__Process) &
     s__experimentalVariableProcess(V__EXPERIMENT1,V__VARIABLE1)
   &
   s__experimentalVariableProcess(V__EXPERIMENT2,V__VARIABLE2))
=>
(( ? [V__PROCESS] :
   ((s__instance(V__PROCESS,s__Process) &
       s__subProcess(V__VARIABLE1,V__PROCESS)
     &
     s__subProcess(V__VARIABLE2,V__PROCESS)
   &
   ~((V__VARIABLE1 = V__VARIABLE2)))))))
)
)

UXExperimentalTerms.kif 4701-4718
( ! [V__AGENT,V__EXPERIMENT,V__VARIABLE] :
   (((s__instance(V__VARIABLE,s__Process) &
         s__instance(V__EXPERIMENT,s__Experimenting) &
         s__instance(V__AGENT,s__Agent) &
         s__experiencer(V__AGENT,s__Agent) &
         s__experimentalVariableProcess(V__EXPERIMENT,V__VARIABLE))
     =>
     (( ? [V__CONTROL_GROUP] :
         ((s__instance(V__CONTROL_GROUP,s__Collection) &
             s__member(V__AGENT,V__CONTROL_GROUP)
           &
           s__controlGroup(V__CONTROL_GROUP,V__EXPERIMENT))))))
)
)

UXExperimentalTerms.kif 4055-4066
( ! [V__AGENT,V__EXPERIMENT,V__VARIABLE] :
   (((s__instance(V__VARIABLE,s__Process) &
         s__instance(V__EXPERIMENT,s__Experimenting) &
         s__instance(V__AGENT,s__Agent) &
         s__experiencer(V__AGENT,s__Agent) &
         s__experimentalVariableProcess(V__EXPERIMENT,V__VARIABLE))
     =>
     (( ? [V__TREATMENT_GROUP] :
         ((s__instance(V__TREATMENT_GROUP,s__Collection) &
             s__member(V__AGENT,V__TREATMENT_GROUP)
           &
           s__treatmentGroup(V__TREATMENT_GROUP,V__EXPERIMENT))))))
)
)

UXExperimentalTerms.kif 4172-4183
( ! [V__EXPERIMENT,V__PROC,V__VISITOR,V__COLL] :
   (((s__instance(V__EXPERIMENT,s__Experimenting) &
         s__subclass(V__PROC,s__Process))
       =>
       (((s__instance(V__VISITOR,s__Human) &
             s__instance(V__COLL,s__Collection) &
             ( ! [V__EXPERIMENTING, V__EVENT] :
               (((s__instance(V__EXPERIMENTING,s__Experimenting) &
                     s__instance(V__EVENT,s__Process) &
                     s__member(V__EVENT,s__QualifyingEventsFn(V__EXPERIMENT))
                 &
                 s__capability(V__EVENT,s__experiencer__m,V__VISITOR))
             =>
             (s__member(V__EVENT,V__COLL)))))
     &
     (s__member(V__PROC,V__COLL)
     =>
     ((s__instance(V__PROC,s__Process) &
         ( ? [V__EXP] :
           ((s__instance(V__EXP,s__Experimenting) &
               s__member(V__PROC,s__QualifyingEventsFn(V__EXP))
           &
           s__capability(V__PROC,s__experiencer__m,V__VISITOR))))))))
=>
((s__QualifiedTreatmentsFn(V__VISITOR)
= V__COLL)))))
)
)

UXExperimentalTerms.kif 4447-4470
( ! [V__QPVIEWS,V__VISITOR] :
   (((s__instance(V__VISITOR,s__Human) &
         s__instance(V__QPVIEWS,s__Collection) &
         ( ! [V__PAGE, V__ACCESSING, V__EXPERIMENT] :
           (((s__instance(V__PAGE,s__WebPage) &
                 s__instance(V__ACCESSING,s__AccessingWebPage) &
                 s__instance(V__EXPERIMENT,s__Experimenting) &
                 s__agent(V__ACCESSING,V__VISITOR)
               &
               s__patient(V__ACCESSING,V__PAGE)
             &
             s__treatedPage(V__PAGE,V__EXPERIMENT))
         =>
         (s__member(V__ACCESSING,V__QPVIEWS))))))
=>
((V__QPVIEWS = s__QPViewsFn(V__VISITOR))))
)
)

UXExperimentalTerms.kif 4381-4396
( ! [V__SUBJECT,V__EXPERIMENT1,V__TESTCOL2,V__TESTCOL1] :
   (((s__subclass(V__EXPERIMENT1,s__Process) &
         s__instance(V__TESTCOL2,s__Collection) &
         s__instance(V__TESTCOL1,s__Collection))
       =>
       (((s__orthogonalTests(V__TESTCOL1,V__TESTCOL2)
           &
           s__instance(V__SUBJECT,s__Human) &
           s__instance(V__EXPERIMENT1,s__Experimenting) &
           s__member(V__EXPERIMENT1,V__TESTCOL1)
         &
         s__capability(V__EXPERIMENT1,s__experimentalSubject__m,V__SUBJECT))
     =>
     (( ? [V__EXPERIMENT2] :
         ((s__instance(V__EXPERIMENT2,s__Experimenting) &
             s__member(V__EXPERIMENT2,V__TESTCOL2)
           &
           s__capability(V__EXPERIMENT2,s__experimentalSubject__m,V__SUBJECT))))))))
)
)

UXExperimentalTerms.kif 4669-4680
( ! [V__FORMULA,V__EXPERIMENT,V__VALUE] :
   ((s__instance(V__VALUE,s__RealNumber) =>
       (((s__pValue(V__EXPERIMENT,V__VALUE)
           &
           s__instance(V__EXPERIMENT,s__Experimenting) &
           s__instance(V__FORMULA,s__Formula) &
           s__patient(V__EXPERIMENT,V__FORMULA)
         &
         (V__VALUE = n__0))
       =>
       (s__truth(V__FORMULA,'$true__m')))))
)
)

UXExperimentalTerms.kif 712-719
( ! [V__FORMULA,V__EXPERIMENT,V__VALUE] :
   ((s__instance(V__VALUE,s__RealNumber) =>
       (((s__pValue(V__EXPERIMENT,V__VALUE)
           &
           s__instance(V__EXPERIMENT,s__Experimenting) &
           s__instance(V__FORMULA,s__Formula) &
           s__patient(V__EXPERIMENT,V__FORMULA)
         &
         (V__VALUE = n__1))
       =>
       (s__truth(V__FORMULA,'$false__m')))))
)
)

UXExperimentalTerms.kif 721-728
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 704-710
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4004-4014
( ! [V__EXPERIMENT] :
   ((s__instance(V__EXPERIMENT,s__Experimenting) =>
       (( ? [V__QUALIFYING_EVENTS] :
           ((s__instance(V__QUALIFYING_EVENTS,s__Collection) &
               ( ! [V__EVENT] :
                 (((s__instance(V__EVENT,s__Process) &
                       (s__experimentalControlProcess(V__EXPERIMENT,V__EVENT)
                       |
                       s__experimentalVariableProcess(V__EXPERIMENT,V__EVENT)))
                 =>
                 (s__member(V__EVENT,V__QUALIFYING_EVENTS)))))
         &
         (s__QualifyingEventsFn(V__EXPERIMENT)
         = V__QUALIFYING_EVENTS))))))
)
)

UXExperimentalTerms.kif 4414-4429

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__EXP,V__ATTR] :
   ((s__instance(V__EXP,s__Object) =>
       (((s__attribute(V__EXP,V__ATTR)
           &
           s__instance(V__ATTR,s__ExperimentAttribute))
         =>
         (s__instance(V__EXP,s__Experimenting)))))
   )
)

UXExperimentalTerms.kif 4610-4614
( ! [V__EXPERIMENT,V__TEST] :
   ((s__instance(V__EXPERIMENT,s__Object) =>
       (((s__instance(V__TEST,s__MultivariateTest) &
             s__member(V__EXPERIMENT,V__TEST))
         =>
         (s__instance(V__EXPERIMENT,s__Experimenting)))))
   )
)

UXExperimentalTerms.kif 4695-4699
( ! [V__SUBJECT,V__EXPERIMENT1,V__TESTCOL2,V__TESTCOL1] :
   (((s__subclass(V__EXPERIMENT1,s__Process) &
         s__instance(V__TESTCOL2,s__Collection) &
         s__instance(V__TESTCOL1,s__Collection))
       =>
       (((s__orthogonalTests(V__TESTCOL1,V__TESTCOL2)
           &
           s__instance(V__SUBJECT,s__Human) &
           s__instance(V__EXPERIMENT1,s__Experimenting) &
           s__member(V__EXPERIMENT1,V__TESTCOL1)
         &
         s__capability(V__EXPERIMENT1,s__experimentalSubject__m,V__SUBJECT))
     =>
     (( ? [V__EXPERIMENT2] :
         ((s__instance(V__EXPERIMENT2,s__Experimenting) &
             s__member(V__EXPERIMENT2,V__TESTCOL2)
           &
           s__capability(V__EXPERIMENT2,s__experimentalSubject__m,V__SUBJECT))))))))
)
)

UXExperimentalTerms.kif 4669-4680
( ! [V__MEMBER,V__TESTCOL2,V__TESTCOL1] :
   (((s__instance(V__MEMBER,s__Object) &
         s__instance(V__TESTCOL2,s__Collection) &
         s__instance(V__TESTCOL1,s__Collection))
       =>
       (((s__orthogonalTests(V__TESTCOL1,V__TESTCOL2)
           &
           s__member(V__MEMBER,V__TESTCOL1))
       =>
       (s__instance(V__MEMBER,s__Experimenting)))))
)
)

UXExperimentalTerms.kif 4657-4661
( ! [V__MEMBER,V__TESTCOL2,V__TESTCOL1] :
   (((s__instance(V__MEMBER,s__Object) &
         s__instance(V__TESTCOL2,s__Collection) &
         s__instance(V__TESTCOL1,s__Collection))
       =>
       (((s__orthogonalTests(V__TESTCOL1,V__TESTCOL2)
           &
           s__member(V__MEMBER,V__TESTCOL2))
       =>
       (s__instance(V__MEMBER,s__Experimenting)))))
)
)

UXExperimentalTerms.kif 4663-4667
( ! [V__LAB] :
   ((s__instance(V__LAB,s__Laboratory) =>
       (( ? [V__EXPERIMENT] :
           ((s__instance(V__EXPERIMENT,s__Experimenting) &
               s__eventLocated(V__EXPERIMENT,V__LAB))))))
   )
)

Mid-level-ontology.kif 13388-13393
( ! [V__TPS] :
   ((s__instance(V__TPS,s__TestProtocolSpecification) =>
       (( ? [V__PLAN, V__EXPERIMENT, V__PROC] :
           ((s__instance(V__PLAN,s__Plan) &
               s__instance(V__EXPERIMENT,s__Experimenting) &
               s__instance(V__PROC,s__Process) &
               s__represents(V__PLAN,V__PROC)
             &
             s__subProcess(V__EXPERIMENT,V__PROC)
           &
           s__containsInformation(V__TPS,V__PLAN))))))
)
)

UXExperimentalTerms.kif 2961-2970


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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