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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Experimenting
Experimenting

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 13104-13106
(subclass Experimenting Investigating) Merge.kif 13103-13103

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


(termFormat ChineseLanguage Experimenting "试验") domainEnglishFormat.kif 22819-22819
(termFormat ChineseTraditionalLanguage Experimenting "試驗") domainEnglishFormat.kif 22818-22818
(termFormat EnglishLanguage Experimenting "experimenting") domainEnglishFormat.kif 22817-22817

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


(domain GPIFn 1 Experimenting) UXExperimentalTerms.kif 3157-3157
(domain GPSFn 1 Experimenting) UXExperimentalTerms.kif 3124-3124
(domain PPIFn 1 Experimenting) UXExperimentalTerms.kif 3083-3083
(domain PPSFn 1 Experimenting) UXExperimentalTerms.kif 3046-3046
(domain QualifyingEventsFn 1 Experimenting) UXExperimentalTerms.kif 4197-4197
(domain QualifyingPurchasesFn 1 Experimenting) UXExperimentalTerms.kif 3032-3032
(domain TreatedUsersFn 1 Experimenting) UXExperimentalTerms.kif 4273-4273
(domain burnInPeriod 1 Experimenting) UXExperimentalTerms.kif 4300-4300
(domain confidenceInterval 1 Experimenting) UXExperimentalTerms.kif 528-528
(domain controlGroup 2 Experimenting) UXExperimentalTerms.kif 3842-3842
(domain conversionEvent 1 Experimenting) UXExperimentalTerms.kif 2824-2824
(domain exclusiveEvent 1 Experimenting) UXExperimentalTerms.kif 4330-4330
(domain experimentID 2 Experimenting) UXExperimentalTerms.kif 4016-4016
(domain experimentUpdate 2 Experimenting) UXExperimentalTerms.kif 2673-2673
(domain experimentalControl 1 Experimenting) Mid-level-ontology.kif 17084-17084
(domain experimentalControlProcess 1 Experimenting) UXExperimentalTerms.kif 3822-3822
(domain experimentalSubject 1 Experimenting) UXExperimentalTerms.kif 3912-3912
(domain experimentalTreatmentCollection 2 Experimenting) UXExperimentalTerms.kif 4035-4035
(domain experimentalVariableProcess 1 Experimenting) UXExperimentalTerms.kif 3869-3869
(domain experimenter 1 Experimenting) UXExperimentalTerms.kif 3941-3941
(domain finalExperimentReport 2 Experimenting) UXExperimentalTerms.kif 2694-2694
(domain pValue 1 Experimenting) UXExperimentalTerms.kif 566-566
(domain qualifiedExperiment 1 Experimenting) UXExperimentalTerms.kif 4053-4053
(domain qualifiedPageView 1 Experimenting) UXExperimentalTerms.kif 4071-4071
(domain qualifiedTreatment 1 Experimenting) UXExperimentalTerms.kif 4092-4092

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 549-556
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?CONFIDENCE 100))
    (truth ?FORMULA True))		 UXExperimentalTerms.kif 540-547
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA))
    (represents ?CONFIDENCE
        (ProbabilityFn ?FORMULA)))		 UXExperimentalTerms.kif 531-537
(=>
    (and
        (instance ?EVP Process)
        (instance ?AGENT AutonomousAgent)
        (instance ?EXP Experimenting)
        (treatedUser ?AGENT ?EXP)
        (experimentalVariableProcess ?EXP ?EVP)
        (experiencer ?PROC ?AGENT)
        (experiencer ?EVP ?AGENT)
        (exclusiveEvent ?EXP ?PROC))
    (exists (?EXPERIMENTER)
        (and
            (instance ?EXPERIMENTER AutonomousAgent)
            (experimenter ?EXP ?EXPERIMENTER)
            (believes ?EXPERIMENTER
                (modalAttribute
                    (causes ?EVP ?PROC) Likely)))))		 UXExperimentalTerms.kif 4356-4373
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalControlProcess ?EXPERIMENT ?CONTROL))
    (not
        (experimentalVariableProcess ?EXPERIMENT ?CONTROL)))		 UXExperimentalTerms.kif 3896-3901
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalControlProcess ?EXPERIMENT ?CONTROL))
    (subProcess ?CONTROL ?EXPERIMENT))		 UXExperimentalTerms.kif 3828-3832
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (not
        (experimentalControlProcess ?EXPERIMENT ?VARIABLE)))		 UXExperimentalTerms.kif 3888-3893
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (subProcess ?VARIABLE ?EXPERIMENT))		 UXExperimentalTerms.kif 3881-3885
(=>
    (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 3094-3113
(=>
    (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 3055-3072
(=>
    (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 3922-3933
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (result ?EXPERIMENT ?RESULT))
    (instance ?RESULT Formula))		 UXExperimentalTerms.kif 3793-3797
(=>
    (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 501-517
(=>
    (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 483-489
(=>
    (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 4500-4517
(=>
    (and
        (instance ?VARIABLE Process)
        (instance ?EXPERIMENT Experimenting)
        (instance ?AGENT AutonomousAgent)
        (experiencer ?AGENT AutonomousAgent)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (exists (?CONTROL_GROUP)
        (and
            (instance ?CONTROL_GROUP Collection)
            (member ?AGENT ?CONTROL_GROUP)
            (controlGroup ?CONTROL_GROUP ?EXPERIMENT))))		 UXExperimentalTerms.kif 3850-3861
(=>
    (and
        (instance ?VARIABLE Process)
        (instance ?EXPERIMENT Experimenting)
        (instance ?AGENT AutonomousAgent)
        (experiencer ?AGENT AutonomousAgent)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (exists (?TREATMENT_GROUP)
        (and
            (instance ?TREATMENT_GROUP Collection)
            (member ?AGENT ?TREATMENT_GROUP)
            (treatmentGroup ?TREATMENT_GROUP ?EXPERIMENT))))		 UXExperimentalTerms.kif 3967-3978
(=>
    (and
        (instance ?VISITOR Human)
        (instance ?COLL Collection)
        (forall (?EXPERIMENT ?EVENT)
            (=>
                (exists (?CLASS)
                    (and
                        (instance ?EXPERIMENT Experimenting)
                        (instance ?EVENT Process)
                        (member ?EVENT
                            (QualifyingEventsFn ?EXPERIMENT))
                        (instance ?EVENT ?CLASS)
                        (capability ?CLASS experiencer ?VISITOR)))
                (member ?EVENT ?COLL)))
        (=>
            (member ?PROC ?COLL)
            (and
                (instance ?PROC Process)
                (exists (?EXP ?PROCESS)
                    (and
                        (instance ?EXP Experimenting)
                        (member ?PROC
                            (QualifyingEventsFn ?EXP))
                        (instance ?PROC ?PROCESS)
                        (capability ?PROCESS experiencer ?VISITOR))))))
    (equal
        (QualifiedTreatmentsFn ?VISITOR) ?COLL))		 UXExperimentalTerms.kif 4240-4266
(=>
    (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 4174-4189
(=>
    (and
        (orthogonalTests ?TESTCOL1 ?TESTCOL2)
        (instance ?SUBJECT Human)
        (instance ?EXPERIMENT1 ?CLASS1)
        (subclass ?CLASS1 Experimenting)
        (member ?EXPERIMENT1 ?TESTCOL1)
        (capability ?CLASS1 experimentalSubject ?SUBJECT))
    (exists (?EXPERIMENT2 ?CLASS2)
        (and
            (instance ?EXPERIMENT2 ?CLASS2)
            (member ?EXPERIMENT2 ?TESTCOL2)
            (subclass ?CLASS2 Experimenting)
            (capability ?CLASS2 experimentalSubject ?SUBJECT))))		 UXExperimentalTerms.kif 4466-4479
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?VALUE 0))
    (truth ?FORMULA True))		 UXExperimentalTerms.kif 577-584
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?VALUE 1))
    (truth ?FORMULA False))		 UXExperimentalTerms.kif 586-593
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA))
    (represents ?VALUE
        (ProbabilityFn ?FORMULA)))		 UXExperimentalTerms.kif 569-575
(=>
    (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 3799-3809
(=>
    (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 4207-4222

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 4406-4410
(=>
    (and
        (instance ?TEST MultivariateTest)
        (member ?EXPERIMENT ?TEST))
    (instance ?EXPERIMENT Experimenting))		 UXExperimentalTerms.kif 4494-4498
(=>
    (and
        (orthogonalTests ?TESTCOL1 ?TESTCOL2)
        (instance ?SUBJECT Human)
        (instance ?EXPERIMENT1 ?CLASS1)
        (subclass ?CLASS1 Experimenting)
        (member ?EXPERIMENT1 ?TESTCOL1)
        (capability ?CLASS1 experimentalSubject ?SUBJECT))
    (exists (?EXPERIMENT2 ?CLASS2)
        (and
            (instance ?EXPERIMENT2 ?CLASS2)
            (member ?EXPERIMENT2 ?TESTCOL2)
            (subclass ?CLASS2 Experimenting)
            (capability ?CLASS2 experimentalSubject ?SUBJECT))))		 UXExperimentalTerms.kif 4466-4479
(=>
    (and
        (orthogonalTests ?TESTCOL1 ?TESTCOL2)
        (member ?MEMBER ?TESTCOL1))
    (instance ?MEMBER Experimenting))		 UXExperimentalTerms.kif 4454-4458
(=>
    (and
        (orthogonalTests ?TESTCOL1 ?TESTCOL2)
        (member ?MEMBER ?TESTCOL2))
    (instance ?MEMBER Experimenting))		 UXExperimentalTerms.kif 4460-4464
(=>
    (instance ?LAB Laboratory)
    (exists (?EXPERIMENT)
        (and
            (instance ?EXPERIMENT Experimenting)
            (eventLocated ?EXPERIMENT ?LAB))))		 Mid-level-ontology.kif 17072-17077
(=>
    (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 2754-2763


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