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


KB Term:  Term intersection
English Word: 

Sigma KEE - Experimenting
Experimenting(experimenting)

appearance as argument number 1
-------------------------


(subclass Experimenting Investigating) Merge.kif 13125-13125 Experimenting is a subclass of investigating
(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 13126-13128 Experimenting is a subclass of investigating

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


(termFormat EnglishLanguage Experimenting "experimenting") domainEnglishFormat.kif 22810-22810
(termFormat ChineseTraditionalLanguage Experimenting "試驗") domainEnglishFormat.kif 22811-22811
(termFormat ChineseLanguage Experimenting "试验") domainEnglishFormat.kif 22812-22812

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


(domain experimentalControl 1 Experimenting) Mid-level-ontology.kif 17247-17247 The number 1 argument of experimental control is an instance of experimenting
(domain statisticalPopulation 3 Experimenting) UXExperimentalTerms.kif 476-476 The number 3 argument of statistical population is an instance of experimenting
(domain confidenceInterval 1 Experimenting) UXExperimentalTerms.kif 528-528 The number 1 argument of confidence interval is an instance of experimenting
(domain pValue 1 Experimenting) UXExperimentalTerms.kif 566-566 The number 1 argument of confidence interval is an instance of experimenting
(domain experimentUpdate 2 Experimenting) UXExperimentalTerms.kif 2673-2673 The number 2 argument of live experiment update is an instance of experimenting
(domain finalExperimentReport 2 Experimenting) UXExperimentalTerms.kif 2694-2694 The number 2 argument of final experiment report is an instance of experimenting
(domain conversionEvent 1 Experimenting) UXExperimentalTerms.kif 2824-2824 The number 1 argument of conversionEvent is an instance of experimenting
(domain QualifyingPurchasesFn 1 Experimenting) UXExperimentalTerms.kif 3032-3032 The number 1 argument of Qualifying Purchase is an instance of experimenting
(domain PPSFn 1 Experimenting) UXExperimentalTerms.kif 3046-3046 The number 1 argument of qualifying purchases per user is an instance of experimenting
(domain PPIFn 1 Experimenting) UXExperimentalTerms.kif 3083-3083 The number 1 argument of qualifying purchases per user per interval is an instance of experimenting
(domain GPSFn 1 Experimenting) UXExperimentalTerms.kif 3124-3124 The number 1 argument of GPS is an instance of experimenting
(domain GPIFn 1 Experimenting) UXExperimentalTerms.kif 3157-3157 The number 1 argument of GPW is an instance of experimenting
(domain experimentalControlProcess 1 Experimenting) UXExperimentalTerms.kif 3822-3822 The number 1 argument of experimental control (process) is an instance of experimenting
(domain controlGroup 2 Experimenting) UXExperimentalTerms.kif 3842-3842 The number 2 argument of control group is an instance of experimenting
(domain experimentalVariableProcess 1 Experimenting) UXExperimentalTerms.kif 3869-3869 The number 1 argument of experimental variable (process) is an instance of experimenting
(domain experimentalSubject 1 Experimenting) UXExperimentalTerms.kif 3912-3912 The number 1 argument of experimental subject is an instance of experimenting
(domain experimenter 1 Experimenting) UXExperimentalTerms.kif 3941-3941 The number 1 argument of experimental subject is an instance of experimenting
(domain treatmentGroup 2 Experimenting) UXExperimentalTerms.kif 3959-3959 The number 2 argument of treatment group is an instance of experimenting
(domain treatedUser 2 Experimenting) UXExperimentalTerms.kif 3990-3990 The number 2 argument of treated user is an instance of experimenting
(domain experimentID 2 Experimenting) UXExperimentalTerms.kif 4016-4016 The number 2 argument of experiment identifier string is an instance of experimenting
(domain experimentalTreatmentCollection 2 Experimenting) UXExperimentalTerms.kif 4035-4035 The number 2 argument of experimental treatment is an instance of experimenting
(domain qualifiedExperiment 1 Experimenting) UXExperimentalTerms.kif 4053-4053 The number 1 argument of qualified experiment is an instance of experimenting
(domain qualifiedPageView 1 Experimenting) UXExperimentalTerms.kif 4071-4071 The number 1 argument of qualified page view is an instance of experimenting
(domain qualifiedTreatment 1 Experimenting) UXExperimentalTerms.kif 4092-4092 The number 1 argument of qualified treatment is an instance of experimenting
(domain treatedPage 2 Experimenting) UXExperimentalTerms.kif 4113-4113 The number 2 argument of treated page is an instance of experimenting

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (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 If ?SAMPLE_COLL is an instance of collection, ?POP_COLL is an instance of collection, Z is an instance of experimenting, and ?SAMPLE_COLL is a sample of ?POP_COLL for Z, then ?SAMPLE_COLL is a proper sub-collection of ?POP_COLL
(=>
    (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 If All of the following hold: (1) ?SAMPLE_COLL is an instance of collection (2) ?POP_COLL is an instance of collection (3) Z is an instance of experimenting (4) W is an instance of cognitive agent (5) W is an agent of Z (6) ?SAMPLE_COLL is a sample of ?POP_COLL for Z, then For all Attribute V: if ?SAMPLE_COLL the attribute V, W is interested in V, and equal V and representative sample, then ?POP_COLL the attribute V
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA))
    (represents ?CONFIDENCE
        (ProbabilityFn ?FORMULA)))		 UXExperimentalTerms.kif 531-537 If X is the confidence in Y, Y is an instance of experimenting, Z is an instance of formula, and Z is a patient of Y, then X expresses the probability of Z
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?CONFIDENCE 100))
    (truth ?FORMULA True))		 UXExperimentalTerms.kif 540-547 If X is the confidence in Y, Y is an instance of experimenting, Z is an instance of formula, Z is a patient of Y, and equal X and 100, then Z is true
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?CONFIDENCE 100))
    (truth ?FORMULA False))		 UXExperimentalTerms.kif 549-556 If X is the confidence in Y, Y is an instance of experimenting, Z is an instance of formula, Z is a patient of Y, and equal X and 100, then Z is false
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA))
    (represents ?VALUE
        (ProbabilityFn ?FORMULA)))		 UXExperimentalTerms.kif 569-575 If the p-value of X is Y, X is an instance of experimenting, Z is an instance of formula, and Z is a patient of X, then Y expresses the probability of Z
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?VALUE 0))
    (truth ?FORMULA True))		 UXExperimentalTerms.kif 577-584 If the p-value of X is Y, X is an instance of experimenting, Z is an instance of formula, Z is a patient of X, and equal Y and 0, then Z is true
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?VALUE 1))
    (truth ?FORMULA False))		 UXExperimentalTerms.kif 586-593 If the p-value of X is Y, X is an instance of experimenting, Z is an instance of formula, Z is a patient of X, and equal Y and 1, then Z is false
(=>
    (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 If X is an instance of experimenting and Y is an instance of timeframe, then equal the number of instances in the class described by Z, the number of instances in the class described by W, and purchases per user in X
(=>
    (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 If X is an instance of experimenting and Y is an instance of timeframe, then equal the number of instances in the class described by Z, the number of instances in the class described by W, and purchases per user in X during Y
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (result ?EXPERIMENT ?RESULT))
    (instance ?RESULT Formula))		 UXExperimentalTerms.kif 3793-3797 If X is an instance of experimenting and Y is a result of X, then Y is an instance of formula
(=>
    (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 If X is an instance of experimenting, then there exist Y, Z such that Z is an instance of formula, Z is a result of X, Y is an instance of formula, Y is a patient of X, and the probability of Y expresses Z
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalControlProcess ?EXPERIMENT ?CONTROL))
    (subProcess ?CONTROL ?EXPERIMENT))		 UXExperimentalTerms.kif 3828-3832 If X is an instance of experimenting and the control in experiment X is Y, then Y is a subprocess of X
(=>
    (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 If X is an instance of process, Y is an instance of experimenting, Z is an instance of agent, agent experiences Z, and X is a process in Y, then there exists ?CONTROL_GROUP such that ?CONTROL_GROUP is an instance of collection, Z is a member of ?CONTROL_GROUP, and ?CONTROL_GROUP is the control group in Y
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (subProcess ?VARIABLE ?EXPERIMENT))		 UXExperimentalTerms.kif 3881-3885 If X is an instance of experimenting and Y is a process in X, then Y is a subprocess of X
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (not
        (experimentalControlProcess ?EXPERIMENT ?VARIABLE)))		 UXExperimentalTerms.kif 3888-3893 If X is an instance of experimenting and Y is a process in X, then the control in experiment X is Y
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalControlProcess ?EXPERIMENT ?CONTROL))
    (not
        (experimentalVariableProcess ?EXPERIMENT ?CONTROL)))		 UXExperimentalTerms.kif 3896-3901 If X is an instance of experimenting and the control in experiment X is Y, then Y is a process in X
(=>
    (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 If X is an instance of experimenting, Y is an instance of human, and Y is a subject in X, then there exists Z such that Z is an instance of process, Y experiences Z, and the control in experiment X is Z or Z is a process in X
(=>
    (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 If X is an instance of process, Y is an instance of experimenting, Z is an instance of agent, agent experiences Z, and X is a process in Y, then there exists ?TREATMENT_GROUP such that ?TREATMENT_GROUP is an instance of collection, Z is a member of ?TREATMENT_GROUP, and ?TREATMENT_GROUP is the treatment group in Y
(=>
    (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 If X is an instance of human, Y is an instance of collection, and For all WebPage Z, Process W, and Experimenting V: if W is an instance of accessing web page, X is an agent of W, Z is a patient of W, and Z is the object of study of V, then W is a member of Y, then equal Y and all the treated web page views from X
(=>
    (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 If X is an instance of experimenting, then there exists ?QUALIFYING_EVENTS such that ?QUALIFYING_EVENTS is an instance of collection, Z Z is an instance of process, the control in experiment X is Z or Z is a process in XZ is a member of ?QUALIFYING_EVENTS, equal events in X, and ?QUALIFYING_EVENTS
(=>
    (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 If X is an instance of human, Y is an instance of collection, For all Experimenting Z and Physical W: if there exists V such that Z is an instance of experimenting, W is an instance of process, W is a member of events in Z, W is an instance of V, and X is capable of doing V as a experiencer, then W is a member of Y, and if U is a member of Y, then U is an instance of process and there exist T, S such that T is an instance of experimenting, U is a member of events in T, U is an instance of S, and X is capable of doing S as a experiencer, then equal all the processes X is qualified for and Y
(=>
    (instance ?EXPERIMENT Experimenting)
    (exists (?TREATED_USERS)
        (and
            (instance ?TREATED_USERS Collection)
            (forall (?USER)
                (=>
                    (and
                        (instance ?USER Human)
                        (treatedUser ?USER ?EXPERIMENT))
                    (member ?USER ?TREATED_USERS)))
            (equal
                (TreatedUsersFn ?EXPERIMENT) ?TREATED_USERS))))		 UXExperimentalTerms.kif 4280-4292 If X is an instance of experimenting, then there exists ?TREATED_USERS such that ?TREATED_USERS is an instance of collection, Z Z is an instance of human, Z is a treated used in XZ is a member of ?TREATED_USERS, equal the treated users in X, and ?TREATED_USERS
(=>
    (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 If All of the following hold: (1) X is an instance of process (2) Y is an instance of agent (3) Z is an instance of experimenting (4) Y is a treated used in Z (5) X is a process in Z (6) Y experiences W (7) Y experiences X (8) Z causes W, then there exists V such that V is an instance of agent, V is the experimenter in Z, and V believes the statement X causes W has the modal force of likely
(=>
    (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 If All of the following hold: (1) X and Y are orthogonal tests (2) Z is an instance of human (3) W is an instance of V (4) V is a subclass of experimenting (5) W is a member of X (6) Z is capable of doing V as a experimental subject, then there exist U, T such that U is an instance of T, U is a member of Y, T is a subclass of experimenting, and Z is capable of doing T as a experimental subject

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (instance ?LAB Laboratory)
    (exists (?EXPERIMENT)
        (and
            (instance ?EXPERIMENT Experimenting)
            (eventLocated ?EXPERIMENT ?LAB))))		 Mid-level-ontology.kif 17235-17240 If X is an instance of laboratory, then there exists Y such that Y is an instance of experimenting and Y is located at X
(=>
    (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 If X is an instance of test protocol specification, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of plan (3) Z is an instance of experimenting (4) W is an instance of process (5) Y expresses W (6) Z is a subprocess of W (7) X contains information Y
(=>
    (and
        (attribute ?EXP ?ATTR)
        (instance ?ATTR ExperimentAttribute))
    (instance ?EXP Experimenting))		 UXExperimentalTerms.kif 4406-4410 If X is an attribute of Y and X is an instance of experiment attribute, then Y is an instance of experimenting
(=>
    (and
        (orthogonalTests ?TESTCOL1 ?TESTCOL2)
        (member ?MEMBER ?TESTCOL1))
    (instance ?MEMBER Experimenting))		 UXExperimentalTerms.kif 4454-4458 If X and Y are orthogonal tests and Z is a member of X, then Z is an instance of experimenting
(=>
    (and
        (orthogonalTests ?TESTCOL1 ?TESTCOL2)
        (member ?MEMBER ?TESTCOL2))
    (instance ?MEMBER Experimenting))		 UXExperimentalTerms.kif 4460-4464 If X and Y are orthogonal tests and Z is a member of Y, then Z is an instance of experimenting
(=>
    (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 If All of the following hold: (1) X and Y are orthogonal tests (2) Z is an instance of human (3) W is an instance of V (4) V is a subclass of experimenting (5) W is a member of X (6) Z is capable of doing V as a experimental subject, then there exist U, T such that U is an instance of T, U is a member of Y, T is a subclass of experimenting, and Z is capable of doing T as a experimental subject
(=>
    (and
        (instance ?TEST MultivariateTest)
        (member ?EXPERIMENT ?TEST))
    (instance ?EXPERIMENT Experimenting))		 UXExperimentalTerms.kif 4494-4498 If X is an instance of multivariate test and Y is a member of X, then Y is an instance of experimenting


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