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 12727-12729
(subclass Experimenting Investigating) Merge.kif 12726-12726 subclass Experimenting and 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 domain GPIFn, 1 and Experimenting
(domain GPSFn 1 Experimenting) UXExperimentalTerms.kif 3332-3332 domain GPSFn, 1 and Experimenting
(domain PPIFn 1 Experimenting) UXExperimentalTerms.kif 3291-3291 domain PPIFn, 1 and Experimenting
(domain PPSFn 1 Experimenting) UXExperimentalTerms.kif 3254-3254 domain PPSFn, 1 and Experimenting
(domain QualifyingEventsFn 1 Experimenting) UXExperimentalTerms.kif 4407-4407 domain QualifyingEventsFn, 1 and Experimenting
(domain QualifyingPurchasesFn 1 Experimenting) UXExperimentalTerms.kif 3240-3240 domain QualifyingPurchasesFn, 1 and Experimenting
(domain TreatedUsersFn 1 Experimenting) UXExperimentalTerms.kif 4480-4480 domain TreatedUsersFn, 1 and Experimenting
(domain burnInPeriod 1 Experimenting) UXExperimentalTerms.kif 4507-4507 domain burnInPeriod, 1 and Experimenting
(domain confidenceInterval 1 Experimenting) UXExperimentalTerms.kif 660-660 domain confidenceInterval, 1 and Experimenting
(domain controlGroup 2 Experimenting) UXExperimentalTerms.kif 4052-4052 domain controlGroup, 2 and Experimenting
(domain conversionEvent 1 Experimenting) UXExperimentalTerms.kif 3034-3034 domain conversionEvent, 1 and Experimenting
(domain exclusiveEvent 1 Experimenting) UXExperimentalTerms.kif 4537-4537 domain exclusiveEvent, 1 and Experimenting
(domain experimentID 2 Experimenting) UXExperimentalTerms.kif 4226-4226 domain experimentID, 2 and Experimenting
(domain experimentUpdate 2 Experimenting) UXExperimentalTerms.kif 2883-2883 domain experimentUpdate, 2 and Experimenting
(domain experimentalControl 1 Experimenting) Mid-level-ontology.kif 15222-15222 domain experimentalControl, 1 and Experimenting
(domain experimentalControlProcess 1 Experimenting) UXExperimentalTerms.kif 4032-4032 domain experimentalControlProcess, 1 and Experimenting
(domain experimentalSubject 1 Experimenting) UXExperimentalTerms.kif 4122-4122 domain experimentalSubject, 1 and Experimenting
(domain experimentalTreatmentCollection 2 Experimenting) UXExperimentalTerms.kif 4245-4245 domain experimentalTreatmentCollection, 2 and Experimenting
(domain experimentalVariableProcess 1 Experimenting) UXExperimentalTerms.kif 4079-4079 domain experimentalVariableProcess, 1 and Experimenting
(domain experimenter 1 Experimenting) UXExperimentalTerms.kif 4151-4151 domain experimenter, 1 and Experimenting
(domain finalExperimentReport 2 Experimenting) UXExperimentalTerms.kif 2904-2904 domain finalExperimentReport, 2 and Experimenting
(domain pValue 1 Experimenting) UXExperimentalTerms.kif 702-702 domain pValue, 1 and Experimenting
(domain qualifiedExperiment 1 Experimenting) UXExperimentalTerms.kif 4263-4263 domain qualifiedExperiment, 1 and Experimenting
(domain qualifiedPageView 1 Experimenting) UXExperimentalTerms.kif 4280-4280 domain qualifiedPageView, 1 and Experimenting
(domain qualifiedTreatment 1 Experimenting) UXExperimentalTerms.kif 4301-4301 domain qualifiedTreatment, 1 and 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 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 4106-4111
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalControlProcess ?EXPERIMENT ?CONTROL))
    (subProcess ?CONTROL ?EXPERIMENT))
UXExperimentalTerms.kif 4038-4042
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (not
        (experimentalControlProcess ?EXPERIMENT ?VARIABLE)))
UXExperimentalTerms.kif 4098-4103
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (subProcess ?VARIABLE ?EXPERIMENT))
UXExperimentalTerms.kif 4091-4095
(=>
    (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 4132-4143
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (result ?EXPERIMENT ?RESULT))
    (instance ?RESULT Formula))
UXExperimentalTerms.kif 4003-4007
(=>
    (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 4704-4721
(=>
    (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 4060-4071
(=>
    (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 4177-4188
(=>
    (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 4450-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 4384-4399
(=>
    (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 4672-4683
(=>
    (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 4009-4019
(=>
    (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 4417-4432

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 4698-4702
(=>
    (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 4672-4683
(=>
    (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 15210-15215
(=>
    (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