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
-------------------------


(documentation Experimenting ChineseLanguage "这是通过建立并观察实验来 Investigating Proposition 的真相。注:实验可以是对照或非对照、双盲或解盲性。") chinese_format.kif 3232-3233
(documentation Experimenting 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 12331-12333
(subclass Experimenting Investigating) Merge.kif 12330-12330 Experimenting is a subclass of investigating

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


(termFormat ChineseLanguage Experimenting "试验") domainEnglishFormat.kif 22809-22809
(termFormat ChineseTraditionalLanguage Experimenting "試驗") domainEnglishFormat.kif 22808-22808
(termFormat EnglishLanguage Experimenting "experimenting") domainEnglishFormat.kif 22807-22807

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


(domain GPIFn 1 Experimenting) UXExperimentalTerms.kif 3365-3365 The number 1 argument of GPW is an instance of experimenting
(domain GPSFn 1 Experimenting) UXExperimentalTerms.kif 3332-3332 The number 1 argument of GPS is an instance of experimenting
(domain PPIFn 1 Experimenting) UXExperimentalTerms.kif 3291-3291 The number 1 argument of qualifying purchases per user per interval is an instance of experimenting
(domain PPSFn 1 Experimenting) UXExperimentalTerms.kif 3254-3254 The number 1 argument of qualifying purchases per user is an instance of experimenting
(domain QualifyingEventsFn 1 Experimenting) UXExperimentalTerms.kif 4405-4405 The number 1 argument of Qualifying Factor or Event is an instance of experimenting
(domain QualifyingPurchasesFn 1 Experimenting) UXExperimentalTerms.kif 3240-3240 The number 1 argument of Qualifying Purchase is an instance of experimenting
(domain TreatedUsersFn 1 Experimenting) UXExperimentalTerms.kif 4478-4478 The number 1 argument of TreatedUsersFn is an instance of experimenting
(domain burnInPeriod 1 Experimenting) UXExperimentalTerms.kif 4505-4505 The number 1 argument of burn-in period is an instance of experimenting
(domain confidenceInterval 1 Experimenting) UXExperimentalTerms.kif 660-660 The number 1 argument of confidence interval is an instance of experimenting
(domain controlGroup 2 Experimenting) UXExperimentalTerms.kif 4050-4050 The number 2 argument of control group is an instance of experimenting
(domain conversionEvent 1 Experimenting) UXExperimentalTerms.kif 3034-3034 The number 1 argument of conversionEvent is an instance of experimenting
(domain exclusiveEvent 1 Experimenting) UXExperimentalTerms.kif 4535-4535 The number 1 argument of exclusive is an instance of experimenting
(domain experimentID 2 Experimenting) UXExperimentalTerms.kif 4224-4224 The number 2 argument of experiment identifier string is an instance of experimenting
(domain experimentUpdate 2 Experimenting) UXExperimentalTerms.kif 2883-2883 The number 2 argument of live experiment update is an instance of experimenting
(domain experimentalControl 1 Experimenting) Mid-level-ontology.kif 14868-14868 The number 1 argument of experimental control is an instance of experimenting
(domain experimentalControlProcess 1 Experimenting) UXExperimentalTerms.kif 4030-4030 The number 1 argument of experimental control (process) is an instance of experimenting
(domain experimentalSubject 1 Experimenting) UXExperimentalTerms.kif 4120-4120 The number 1 argument of experimental subject is an instance of experimenting
(domain experimentalTreatmentCollection 2 Experimenting) UXExperimentalTerms.kif 4243-4243 The number 2 argument of experimental treatment is an instance of experimenting
(domain experimentalVariableProcess 1 Experimenting) UXExperimentalTerms.kif 4077-4077 The number 1 argument of experimental variable (process) is an instance of experimenting
(domain experimenter 1 Experimenting) UXExperimentalTerms.kif 4149-4149 The number 1 argument of experimental subject is an instance of experimenting
(domain finalExperimentReport 2 Experimenting) UXExperimentalTerms.kif 2904-2904 The number 2 argument of final experiment report is an instance of experimenting
(domain pValue 1 Experimenting) UXExperimentalTerms.kif 702-702 The number 1 argument of confidence interval is an instance of experimenting
(domain qualifiedExperiment 1 Experimenting) UXExperimentalTerms.kif 4261-4261 The number 1 argument of qualifiedExperiment is an instance of experimenting
(domain qualifiedPageView 1 Experimenting) UXExperimentalTerms.kif 4278-4278 The number 1 argument of qualifiedPageView is an instance of experimenting
(domain qualifiedTreatment 1 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
-------------------------


(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?CONFIDENCE 100))
    (truth ?FORMULA False))
UXExperimentalTerms.kif 682-689
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?CONFIDENCE 100))
    (truth ?FORMULA True))
UXExperimentalTerms.kif 673-680
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA))
    (represents ?CONFIDENCE
        (ProbabilityFn ?FORMULA)))
UXExperimentalTerms.kif 664-670
(=>
    (and
        (instance ?EVP Process)
        (instance ?AGENT Agent)
        (instance ?EXP Experimenting)
        (treatedUser ?AGENT ?EXP)
        (experimentalVariableProcess ?EXP ?EVP)
        (experiencer ?PROC ?AGENT)
        (experiencer ?EVP ?AGENT)
        (exclusiveEvent ?EXP ?PROC))
    (exists (?EXPERIMENTER)
        (and
            (instance ?EXPERIMENTER Agent)
            (experimenter ?EXP ?EXPERIMENTER)
            (believes ?EXPERIMENTER
                (modalAttribute
                    (causes ?EVP ?PROC) Likely)))))
UXExperimentalTerms.kif 4561-4578
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalControlProcess ?EXPERIMENT ?CONTROL))
    (not
        (experimentalVariableProcess ?EXPERIMENT ?CONTROL)))
UXExperimentalTerms.kif 4104-4109
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalControlProcess ?EXPERIMENT ?CONTROL))
    (subProcess ?CONTROL ?EXPERIMENT))
UXExperimentalTerms.kif 4036-4040
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (not
        (experimentalControlProcess ?EXPERIMENT ?VARIABLE)))
UXExperimentalTerms.kif 4096-4101
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (subProcess ?VARIABLE ?EXPERIMENT))
UXExperimentalTerms.kif 4089-4093
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (instance ?INTERVAL TimeInterval))
    (equal
        (DivisionFn
            (CardinalityFn
                (KappaFn ?PURCHASE
                    (and
                        (instance ?PURCHASE Buying)
                        (member ?PURCHASE
                            (QualifyingPurchasesFn ?EXPERIMENT))
                        (during
                            (WhenFn ?PURCHASE) ?INTERVAL))))
            (CardinalityFn
                (KappaFn ?USER
                    (and
                        (member ?USER
                            (TreatedUsersFn ?EXPERIMENT))
                        (instance ?ACCESSING AccessingWebPage)
                        (during
                            (WhenFn ?ACCESSING) ?INTERVAL)
                        (agent ?ACCESSING ?USER)))))
        (PPIFn ?EXPERIMENT ?INTERVAL)))
UXExperimentalTerms.kif 3302-3321
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (instance ?INTERVAL TimeInterval))
    (equal
        (DivisionFn
            (CardinalityFn
                (KappaFn ?PURCHASE
                    (and
                        (instance ?PURCHASE Buying)
                        (member ?PURCHASE
                            (QualifyingPurchasesFn ?EXPERIMENT)))))
            (CardinalityFn
                (KappaFn ?USER
                    (and
                        (member ?USER
                            (TreatedUsersFn ?EXPERIMENT))
                        (instance ?ACCESSING AccessingWebPage)
                        (agent ?ACCESSING ?USER)))))
        (PPSFn ?EXPERIMENT)))
UXExperimentalTerms.kif 3263-3280
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (instance ?SUBJECT Human)
        (experimentalSubject ?EXPERIMENT ?SUBJECT))
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Process)
            (experiencer ?PROCESS ?SUBJECT)
            (or
                (experimentalControlProcess ?EXPERIMENT ?PROCESS)
                (experimentalVariableProcess ?EXPERIMENT ?PROCESS)))))
UXExperimentalTerms.kif 4130-4141
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (result ?EXPERIMENT ?RESULT))
    (instance ?RESULT Formula))
UXExperimentalTerms.kif 4001-4005
(=>
    (and
        (instance ?SAMPLE_COLL Collection)
        (instance ?POP_COLL Collection)
        (instance ?EXPERIMENT Experimenting)
        (instance ?AGENT CognitiveAgent)
        (agent ?EXPERIMENT ?AGENT)
        (statisticalPopulation ?SAMPLE_COLL ?POP_COLL ?EXPERIMENT))
    (forall (?ATTRIBUTE)
        (=>
            (and
                (instance ?ATTRIBUTE Attribute)
                (property ?SAMPLE_COLL ?ATTRIBUTE)
                (inScopeOfInterest ?AGENT ?ATTRIBUTE)
                (not
                    (equal ?ATTRIBUTE RepresentativeSample)))
            (property ?POP_COLL ?ATTRIBUTE))))
UXExperimentalTerms.kif 629-645
(=>
    (and
        (instance ?SAMPLE_COLL Collection)
        (instance ?POP_COLL Collection)
        (instance ?EXPERIMENT Experimenting)
        (statisticalPopulation ?SAMPLE_COLL ?POP_COLL ?EXPERIMENT))
    (subCollection ?SAMPLE_COLL ?POP_COLL))
UXExperimentalTerms.kif 608-614
(=>
    (and
        (instance ?TEST MultivariateTest)
        (subProcess ?EXPERIMENT1 ?TEST)
        (subProcess ?EXPERIMENT2 ?TEST)
        (instance ?EXPERIMENT1 Experimenting)
        (instance ?EXPERIMENT2 Experimenting)
        (instance ?VARIABLE1 Process)
        (instance ?VARIABLE2 Process)
        (experimentalVariableProcess ?EXPERIMENT1 ?VARIABLE1)
        (experimentalVariableProcess ?EXPERIMENT2 ?VARIABLE2))
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Process)
            (subProcess ?VARIABLE1 ?PROCESS)
            (subProcess ?VARIABLE2 ?PROCESS)
            (not
                (equal ?VARIABLE1 ?VARIABLE2)))))
UXExperimentalTerms.kif 4702-4719
(=>
    (and
        (instance ?VARIABLE Process)
        (instance ?EXPERIMENT Experimenting)
        (instance ?AGENT Agent)
        (experiencer ?AGENT Agent)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (exists (?CONTROL_GROUP)
        (and
            (instance ?CONTROL_GROUP Collection)
            (member ?AGENT ?CONTROL_GROUP)
            (controlGroup ?CONTROL_GROUP ?EXPERIMENT))))
UXExperimentalTerms.kif 4058-4069
(=>
    (and
        (instance ?VARIABLE Process)
        (instance ?EXPERIMENT Experimenting)
        (instance ?AGENT Agent)
        (experiencer ?AGENT Agent)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (exists (?TREATMENT_GROUP)
        (and
            (instance ?TREATMENT_GROUP Collection)
            (member ?AGENT ?TREATMENT_GROUP)
            (treatmentGroup ?TREATMENT_GROUP ?EXPERIMENT))))
UXExperimentalTerms.kif 4175-4186
(=>
    (and
        (instance ?VISITOR Human)
        (instance ?COLL Collection)
        (forall (?EXPERIMENTING ?EVENT)
            (=>
                (and
                    (instance ?EXPERIMENTING Experimenting)
                    (instance ?EVENT Process)
                    (member ?EVENT
                        (QualifyingEventsFn ?EXPERIMENT))
                    (capability ?EVENT experiencer ?VISITOR))
                (member ?EVENT ?COLL)))
        (=>
            (member ?PROC ?COLL)
            (and
                (instance ?PROC Process)
                (exists (?EXP)
                    (and
                        (instance ?EXP Experimenting)
                        (member ?PROC
                            (QualifyingEventsFn ?EXP))
                        (capability ?PROC experiencer ?VISITOR))))))
    (equal
        (QualifiedTreatmentsFn ?VISITOR) ?COLL))
UXExperimentalTerms.kif 4448-4471
(=>
    (and
        (instance ?VISITOR Human)
        (instance ?QPVIEWS Collection)
        (forall (?PAGE ?ACCESSING ?EXPERIMENT)
            (=>
                (and
                    (instance ?PAGE WebPage)
                    (instance ?ACCESSING AccessingWebPage)
                    (instance ?EXPERIMENT Experimenting)
                    (agent ?ACCESSING ?VISITOR)
                    (patient ?ACCESSING ?PAGE)
                    (treatedPage ?PAGE ?EXPERIMENT))
                (member ?ACCESSING ?QPVIEWS))))
    (equal ?QPVIEWS
        (QPViewsFn ?VISITOR)))
UXExperimentalTerms.kif 4382-4397
(=>
    (and
        (orthogonalTests ?TESTCOL1 ?TESTCOL2)
        (instance ?SUBJECT Human)
        (instance ?EXPERIMENT1 Experimenting)
        (member ?EXPERIMENT1 ?TESTCOL1)
        (capability ?EXPERIMENT1 experimentalSubject ?SUBJECT))
    (exists (?EXPERIMENT2)
        (and
            (instance ?EXPERIMENT2 Experimenting)
            (member ?EXPERIMENT2 ?TESTCOL2)
            (capability ?EXPERIMENT2 experimentalSubject ?SUBJECT))))
UXExperimentalTerms.kif 4670-4681
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?VALUE 0))
    (truth ?FORMULA True))
UXExperimentalTerms.kif 714-721
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?VALUE 1))
    (truth ?FORMULA False))
UXExperimentalTerms.kif 723-730
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA))
    (represents ?VALUE
        (ProbabilityFn ?FORMULA)))
UXExperimentalTerms.kif 706-712
(=>
    (instance ?EXPERIMENT Experimenting)
    (exists (?FORMULA ?RESULT)
        (and
            (instance ?RESULT Formula)
            (result ?EXPERIMENT ?RESULT)
            (instance ?FORMULA Formula)
            (patient ?EXPERIMENT ?FORMULA)
            (represents
                (ProbabilityFn ?FORMULA) ?RESULT))))
UXExperimentalTerms.kif 4007-4017
(=>
    (instance ?EXPERIMENT Experimenting)
    (exists (?QUALIFYING_EVENTS)
        (and
            (instance ?QUALIFYING_EVENTS Collection)
            (forall (?EVENT)
                (=>
                    (and
                        (instance ?EVENT Process)
                        (or
                            (experimentalControlProcess ?EXPERIMENT ?EVENT)
                            (experimentalVariableProcess ?EXPERIMENT ?EVENT)))
                    (member ?EVENT ?QUALIFYING_EVENTS)))
            (equal
                (QualifyingEventsFn ?EXPERIMENT) ?QUALIFYING_EVENTS))))
UXExperimentalTerms.kif 4415-4430

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (attribute ?EXP ?ATTR)
        (instance ?ATTR ExperimentAttribute))
    (instance ?EXP Experimenting))
UXExperimentalTerms.kif 4611-4615
(=>
    (and
        (instance ?TEST MultivariateTest)
        (member ?EXPERIMENT ?TEST))
    (instance ?EXPERIMENT Experimenting))
UXExperimentalTerms.kif 4696-4700
(=>
    (and
        (orthogonalTests ?TESTCOL1 ?TESTCOL2)
        (instance ?SUBJECT Human)
        (instance ?EXPERIMENT1 Experimenting)
        (member ?EXPERIMENT1 ?TESTCOL1)
        (capability ?EXPERIMENT1 experimentalSubject ?SUBJECT))
    (exists (?EXPERIMENT2)
        (and
            (instance ?EXPERIMENT2 Experimenting)
            (member ?EXPERIMENT2 ?TESTCOL2)
            (capability ?EXPERIMENT2 experimentalSubject ?SUBJECT))))
UXExperimentalTerms.kif 4670-4681
(=>
    (and
        (orthogonalTests ?TESTCOL1 ?TESTCOL2)
        (member ?MEMBER ?TESTCOL1))
    (instance ?MEMBER Experimenting))
UXExperimentalTerms.kif 4658-4662
(=>
    (and
        (orthogonalTests ?TESTCOL1 ?TESTCOL2)
        (member ?MEMBER ?TESTCOL2))
    (instance ?MEMBER Experimenting))
UXExperimentalTerms.kif 4664-4668
(=>
    (instance ?LAB Laboratory)
    (exists (?EXPERIMENT)
        (and
            (instance ?EXPERIMENT Experimenting)
            (eventLocated ?EXPERIMENT ?LAB))))
Mid-level-ontology.kif 14856-14861
(=>
    (instance ?TPS TestProtocolSpecification)
    (exists (?PLAN ?EXPERIMENT ?PROC)
        (and
            (instance ?PLAN Plan)
            (instance ?EXPERIMENT Experimenting)
            (instance ?PROC Process)
            (represents ?PLAN ?PROC)
            (subProcess ?EXPERIMENT ?PROC)
            (containsInformation ?TPS ?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