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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Experimenting

 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 12841-12843
(subclass Experimenting Investigating) Merge.kif 12840-12840 试验 是 调查 的 subclass

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 3364-3364 GPIFn 的 1 数量 是 试验 的 instance
(domain GPSFn 1 Experimenting) UXExperimentalTerms.kif 3331-3331 GPSFn 的 1 数量 是 试验 的 instance
(domain PPIFn 1 Experimenting) UXExperimentalTerms.kif 3290-3290 PPIFn 的 1 数量 是 试验 的 instance
(domain PPSFn 1 Experimenting) UXExperimentalTerms.kif 3253-3253 PPSFn 的 1 数量 是 试验 的 instance
(domain QualifyingEventsFn 1 Experimenting) UXExperimentalTerms.kif 4404-4404 QualifyingEventsFn 的 1 数量 是 试验 的 instance
(domain QualifyingPurchasesFn 1 Experimenting) UXExperimentalTerms.kif 3239-3239 QualifyingPurchasesFn 的 1 数量 是 试验 的 instance
(domain TreatedUsersFn 1 Experimenting) UXExperimentalTerms.kif 4480-4480 TreatedUsersFn 的 1 数量 是 试验 的 instance
(domain burnInPeriod 1 Experimenting) UXExperimentalTerms.kif 4507-4507 burnInPeriod 的 1 数量 是 试验 的 instance
(domain confidenceInterval 1 Experimenting) UXExperimentalTerms.kif 660-660 confidenceInterval 的 1 数量 是 试验 的 instance
(domain controlGroup 2 Experimenting) UXExperimentalTerms.kif 4049-4049 controlGroup 的 2 数量 是 试验 的 instance
(domain conversionEvent 1 Experimenting) UXExperimentalTerms.kif 3030-3030 conversionEvent 的 1 数量 是 试验 的 instance
(domain exclusiveEvent 1 Experimenting) UXExperimentalTerms.kif 4537-4537 exclusiveEvent 的 1 数量 是 试验 的 instance
(domain experimentID 2 Experimenting) UXExperimentalTerms.kif 4223-4223 experimentID 的 2 数量 是 试验 的 instance
(domain experimentUpdate 2 Experimenting) UXExperimentalTerms.kif 2879-2879 experimentUpdate 的 2 数量 是 试验 的 instance
(domain experimentalControl 1 Experimenting) Mid-level-ontology.kif 15592-15592 实验控制 的 1 数量 是 试验 的 instance
(domain experimentalControlProcess 1 Experimenting) UXExperimentalTerms.kif 4029-4029 experimentalControlProcess 的 1 数量 是 试验 的 instance
(domain experimentalSubject 1 Experimenting) UXExperimentalTerms.kif 4119-4119 experimentalSubject 的 1 数量 是 试验 的 instance
(domain experimentalTreatmentCollection 2 Experimenting) UXExperimentalTerms.kif 4242-4242 experimentalTreatmentCollection 的 2 数量 是 试验 的 instance
(domain experimentalVariableProcess 1 Experimenting) UXExperimentalTerms.kif 4076-4076 experimentalVariableProcess 的 1 数量 是 试验 的 instance
(domain experimenter 1 Experimenting) UXExperimentalTerms.kif 4148-4148 experimenter 的 1 数量 是 试验 的 instance
(domain finalExperimentReport 2 Experimenting) UXExperimentalTerms.kif 2900-2900 finalExperimentReport 的 2 数量 是 试验 的 instance
(domain pValue 1 Experimenting) UXExperimentalTerms.kif 702-702 pValue 的 1 数量 是 试验 的 instance
(domain qualifiedExperiment 1 Experimenting) UXExperimentalTerms.kif 4260-4260 qualifiedExperiment 的 1 数量 是 试验 的 instance
(domain qualifiedPageView 1 Experimenting) UXExperimentalTerms.kif 4278-4278 qualifiedPageView 的 1 数量 是 试验 的 instance
(domain qualifiedTreatment 1 Experimenting) UXExperimentalTerms.kif 4299-4299 qualifiedTreatment 的 1 数量 是 试验 的 instance

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 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 4563-4580
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalControlProcess ?EXPERIMENT ?CONTROL))
    (not
        (experimentalVariableProcess ?EXPERIMENT ?CONTROL)))		 UXExperimentalTerms.kif 4103-4108
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalControlProcess ?EXPERIMENT ?CONTROL))
    (subProcess ?CONTROL ?EXPERIMENT))		 UXExperimentalTerms.kif 4035-4039
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (not
        (experimentalControlProcess ?EXPERIMENT ?VARIABLE)))		 UXExperimentalTerms.kif 4095-4100
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (subProcess ?VARIABLE ?EXPERIMENT))		 UXExperimentalTerms.kif 4088-4092
(=>
    (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 3301-3320
(=>
    (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 3262-3279
(=>
    (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 4129-4140
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (result ?EXPERIMENT ?RESULT))
    (instance ?RESULT Formula))		 UXExperimentalTerms.kif 4000-4004
(=>
    (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 4706-4723
(=>
    (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 4057-4068
(=>
    (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 4174-4185
(=>
    (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 4447-4473
(=>
    (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 4381-4396
(=>
    (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 4672-4685
(=>
    (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 4006-4016
(=>
    (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 4414-4429

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 4613-4617
(=>
    (and
        (instance ?TEST MultivariateTest)
        (member ?EXPERIMENT ?TEST))
    (instance ?EXPERIMENT Experimenting))		 UXExperimentalTerms.kif 4700-4704
(=>
    (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 4672-4685
(=>
    (and
        (orthogonalTests ?TESTCOL1 ?TESTCOL2)
        (member ?MEMBER ?TESTCOL1))
    (instance ?MEMBER Experimenting))		 UXExperimentalTerms.kif 4660-4664
(=>
    (and
        (orthogonalTests ?TESTCOL1 ?TESTCOL2)
        (member ?MEMBER ?TESTCOL2))
    (instance ?MEMBER Experimenting))		 UXExperimentalTerms.kif 4666-4670
(=>
    (instance ?LAB Laboratory)
    (exists (?EXPERIMENT)
        (and
            (instance ?EXPERIMENT Experimenting)
            (eventLocated ?EXPERIMENT ?LAB))))		 Mid-level-ontology.kif 15580-15585
(=>
    (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 2960-2969


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