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 12343-12345
s__subclass(s__Experimenting,s__Investigating)

s__instance(s__Experimenting,s__Class)

s__instance(s__Investigating,s__Class)

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

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


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

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

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

domainEnglishFormat.kif 22807-22807

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


s__domain(s__GPIFn__m,n__1,s__Experimenting)

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

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

UXExperimentalTerms.kif 3291-3291 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 3254-3254 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 4405-4405 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 3240-3240 The number 1 argument of Qualifying Purchase is an instance of experimenting
s__domain(s__TreatedUsersFn__m,n__1,s__Experimenting)

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

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

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

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

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

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

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

UXExperimentalTerms.kif 2883-2883 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 15002-15002 The number 1 argument of experimental control is an instance of experimenting
s__domain(s__experimentalControlProcess__m,n__1,s__Experimenting)

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

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

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

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

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

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

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

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

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

UXExperimentalTerms.kif 4299-4299 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 682-689
( ! [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 673-680
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 664-670
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4561-4578
( ! [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 4104-4109
( ! [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 4036-4040
( ! [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 4096-4101
( ! [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 4089-4093
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3302-3321
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3263-3280
( ! [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 4130-4141
( ! [V__RESULT,V__EXPERIMENT] :
   (((s__instance(V__EXPERIMENT,s__Experimenting) &
         s__result(V__EXPERIMENT,V__RESULT))
     =>
     (s__instance(V__RESULT,s__Formula)))
   )
)

UXExperimentalTerms.kif 4001-4005
( ! [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
( ! [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 4702-4719
( ! [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 4058-4069
( ! [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 4175-4186
( ! [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 4448-4471
( ! [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 4382-4397
( ! [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 4670-4681
( ! [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 714-721
( ! [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 723-730
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 706-712
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4007-4017
( ! [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 4415-4430

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 4611-4615
( ! [V__EXPERIMENT,V__TEST] :
   ((s__instance(V__EXPERIMENT,s__Physical) =>
       (((s__instance(V__TEST,s__MultivariateTest) &
             s__member(V__EXPERIMENT,V__TEST))
         =>
         (s__instance(V__EXPERIMENT,s__Experimenting)))))
   )
)

UXExperimentalTerms.kif 4696-4700
( ! [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 4670-4681
( ! [V__MEMBER,V__TESTCOL2,V__TESTCOL1] :
   (((s__instance(V__MEMBER,s__Physical) &
         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 4658-4662
( ! [V__MEMBER,V__TESTCOL2,V__TESTCOL1] :
   (((s__instance(V__MEMBER,s__Physical) &
         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 4664-4668
( ! [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 14990-14995
( ! [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 2964-2973


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