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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Experimenting
ExperimentingMichelson-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, experimenting, 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 的真相。注:实验可以是对照或非对照、双盲或解盲性。')

Merge.kif 12824-12825
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 12821-12823
s__instance(s__Investigating,s__SetOrClass)

Merge.kif 12820-12820

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


s__termFormat(s__EnglishLanguage,s__Experimenting,'experimenting')

domainEnglishFormat.kif 4224-4224

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


s__domain(s__GPIFn__m,1,s__Experimenting)

UXExperimentalTerms.kif 3362-3362
s__domain(s__GPSFn__m,1,s__Experimenting)

UXExperimentalTerms.kif 3329-3329
s__domain(s__PPIFn__m,1,s__Experimenting)

UXExperimentalTerms.kif 3288-3288
s__domain(s__PPSFn__m,1,s__Experimenting)

UXExperimentalTerms.kif 3251-3251
s__domain(s__QualifyingEventsFn__m,1,s__Experimenting)

UXExperimentalTerms.kif 4396-4396
s__domain(s__QualifyingPurchasesFn__m,1,s__Experimenting)

UXExperimentalTerms.kif 3237-3237
s__domain(s__TreatedUsersFn__m,1,s__Experimenting)

UXExperimentalTerms.kif 4469-4469
s__domain(s__burnInPeriod__m,1,s__Experimenting)

UXExperimentalTerms.kif 4496-4496
s__domain(s__confidenceInterval__m,1,s__Experimenting)

UXExperimentalTerms.kif 658-658
s__domain(s__controlGroup__m,2,s__Experimenting)

UXExperimentalTerms.kif 4038-4038
s__domain(s__conversionEvent__m,1,s__Experimenting)

UXExperimentalTerms.kif 3031-3031
s__domain(s__exclusiveEvent__m,1,s__Experimenting)

UXExperimentalTerms.kif 4526-4526
s__domain(s__experimentID__m,2,s__Experimenting)

UXExperimentalTerms.kif 4212-4212
s__domain(s__experimentUpdate__m,2,s__Experimenting)

UXExperimentalTerms.kif 2880-2880
s__domain(s__experimentalControl__m,1,s__Experimenting)

Mid-level-ontology.kif 13373-13373
s__domain(s__experimentalControlProcess__m,1,s__Experimenting)

UXExperimentalTerms.kif 4018-4018
s__domain(s__experimentalSubject__m,1,s__Experimenting)

UXExperimentalTerms.kif 4108-4108
s__domain(s__experimentalTreatmentCollection__m,2,s__Experimenting)

UXExperimentalTerms.kif 4231-4231
s__domain(s__experimentalVariableProcess__m,1,s__Experimenting)

UXExperimentalTerms.kif 4065-4065
s__domain(s__experimenter__m,1,s__Experimenting)

UXExperimentalTerms.kif 4137-4137
s__domain(s__finalExperimentReport__m,2,s__Experimenting)

UXExperimentalTerms.kif 2901-2901
s__domain(s__pValue__m,1,s__Experimenting)

UXExperimentalTerms.kif 700-700
s__domain(s__qualifedPageView__m,1,s__Experimenting)

UXExperimentalTerms.kif 4267-4267
s__domain(s__qualifiedExperiment__m,1,s__Experimenting)

UXExperimentalTerms.kif 4250-4250
s__domain(s__statisticalPopulation__m,3,s__Experimenting)

UXExperimentalTerms.kif 599-599

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4552-4569
( ! [V__EXPERIMENT,V__CONTROL] :
   ((s__instance(V__EXPERIMENT,s__Experimenting) &
       s__experimentalControlProcess(V__EXPERIMENT,V__CONTROL))
   =>
   (~ s__experimentalVariableProcess(V__EXPERIMENT,V__CONTROL)))
)

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

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

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

UXExperimentalTerms.kif 4077-4081
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__EXPERIMENT,V__SUBJECT] :
   ((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 4118-4129
( ! [V__EXPERIMENT,V__RESULT] :
   ((s__instance(V__EXPERIMENT,s__Experimenting) &
       s__result(V__EXPERIMENT,V__RESULT))
   =>
   s__instance(V__RESULT,s__Formula))
)

UXExperimentalTerms.kif 3989-3993
( ! [V__SAMPLE_COLL,V__POP_COLL,V__EXPERIMENT,V__AGENT] :
   ((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__SAMPLE_COLL,V__POP_COLL,V__EXPERIMENT] :
   ((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__TEST,V__EXPERIMENT1,V__EXPERIMENT2,V__VARIABLE1,V__VARIABLE2] :
   ((s__instance(V__TEST,s__MultivariateTest) &
       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 4693-4708
( ! [V__VARIABLE,V__EXPERIMENT,V__AGENT] :
   ((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 4046-4057
( ! [V__VARIABLE,V__EXPERIMENT,V__AGENT] :
   ((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 4163-4174
( ! [V__VISITOR,V__COLL,V__EXPERIMENT,V__PROC] :
   ((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 4439-4462
( ! [V__VISITOR,V__QPVIEWS] :
   ((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 4373-4388
( ! [V__TESTCOL1,V__TESTCOL2,V__SUBJECT,V__EXPERIMENT1] :
   ((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 4661-4672
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3995-4005
( ! [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 4406-4421
( ! [V__EXPERIMENT] :
   (s__instance(V__EXPERIMENT,s__Experimenting) =>
     (? [V__TREATED_USERS] :
       (s__instance(V__TREATED_USERS,s__Collection) &
         (! [V__USER] :
           ((s__instance(V__USER,s__Human) &
               s__treatedUser(V__USER,V__EXPERIMENT))
           =>
           s__member(V__USER,V__TREATED_USERS)))
     &
     (s__TreatedUsersFn(V__EXPERIMENT)
     = V__TREATED_USERS))))
)

UXExperimentalTerms.kif 4476-4488

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


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

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

UXExperimentalTerms.kif 4687-4691
( ! [V__TESTCOL1,V__TESTCOL2,V__SUBJECT,V__EXPERIMENT1] :
   ((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 4661-4672
( ! [V__TESTCOL1,V__TESTCOL2,V__MEMBER] :
   ((s__orthogonalTests(V__TESTCOL1,V__TESTCOL2)
     &
     s__member(V__MEMBER,V__TESTCOL1))
=>
s__instance(V__MEMBER,s__Experimenting))
)

UXExperimentalTerms.kif 4649-4653
( ! [V__TESTCOL1,V__TESTCOL2,V__MEMBER] :
   ((s__orthogonalTests(V__TESTCOL1,V__TESTCOL2)
     &
     s__member(V__MEMBER,V__TESTCOL2))
=>
s__instance(V__MEMBER,s__Experimenting))
)

UXExperimentalTerms.kif 4655-4659
( ! [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 13361-13366
( ! [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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners