Experimenting - Sigma Knowledge base Browser

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	Experimenting is a subclass of investigating

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	The number 1 argument of GPW is an instance of experimenting
(domain GPSFn 1 Experimenting)	UXExperimentalTerms.kif 3331-3331	The number 1 argument of GPS is an instance of experimenting
(domain PPIFn 1 Experimenting)	UXExperimentalTerms.kif 3290-3290	The number 1 argument of qualifying purchases per user per interval is an instance of experimenting
(domain PPSFn 1 Experimenting)	UXExperimentalTerms.kif 3253-3253	The number 1 argument of qualifying purchases per user is an instance of experimenting
(domain QualifyingEventsFn 1 Experimenting)	UXExperimentalTerms.kif 4404-4404	The number 1 argument of Qualifying Factor or Event is an instance of experimenting
(domain QualifyingPurchasesFn 1 Experimenting)	UXExperimentalTerms.kif 3239-3239	The number 1 argument of Qualifying Purchase is an instance of experimenting
(domain TreatedUsersFn 1 Experimenting)	UXExperimentalTerms.kif 4480-4480	The number 1 argument of treated users fn is an instance of experimenting
(domain burnInPeriod 1 Experimenting)	UXExperimentalTerms.kif 4507-4507	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 4049-4049	The number 2 argument of control group is an instance of experimenting
(domain conversionEvent 1 Experimenting)	UXExperimentalTerms.kif 3030-3030	The number 1 argument of conversionEvent is an instance of experimenting
(domain exclusiveEvent 1 Experimenting)	UXExperimentalTerms.kif 4537-4537	The number 1 argument of exclusive is an instance of experimenting
(domain experimentID 2 Experimenting)	UXExperimentalTerms.kif 4223-4223	The number 2 argument of experiment identifier string is an instance of experimenting
(domain experimentUpdate 2 Experimenting)	UXExperimentalTerms.kif 2879-2879	The number 2 argument of live experiment update is an instance of experimenting
(domain experimentalControl 1 Experimenting)	Mid-level-ontology.kif 15592-15592	The number 1 argument of experimental control is an instance of experimenting
(domain experimentalControlProcess 1 Experimenting)	UXExperimentalTerms.kif 4029-4029	The number 1 argument of experimental control (process) is an instance of experimenting
(domain experimentalSubject 1 Experimenting)	UXExperimentalTerms.kif 4119-4119	The number 1 argument of experimental subject is an instance of experimenting
(domain experimentalTreatmentCollection 2 Experimenting)	UXExperimentalTerms.kif 4242-4242	The number 2 argument of experimental treatment is an instance of experimenting
(domain experimentalVariableProcess 1 Experimenting)	UXExperimentalTerms.kif 4076-4076	The number 1 argument of experimental variable (process) is an instance of experimenting
(domain experimenter 1 Experimenting)	UXExperimentalTerms.kif 4148-4148	The number 1 argument of experimental subject is an instance of experimenting
(domain finalExperimentReport 2 Experimenting)	UXExperimentalTerms.kif 2900-2900	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 4260-4260	The number 1 argument of qualified experiment is an instance of experimenting
(domain qualifiedPageView 1 Experimenting)	UXExperimentalTerms.kif 4278-4278	The number 1 argument of qualified page view 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	If a real number is the confidence in an experimenting and the experimenting is an instance of experimenting and a sentence is an instance of formula and the sentence is a patient of the experimenting and the real number is equal to 100, then the sentence is false
(=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA True))	UXExperimentalTerms.kif 673-680	If a real number is the confidence in an experimenting and the experimenting is an instance of experimenting and a sentence is an instance of formula and the sentence is a patient of the experimenting and the real number is equal to 100, then the sentence is true
(=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA)) (represents ?CONFIDENCE (ProbabilityFn ?FORMULA)))	UXExperimentalTerms.kif 664-670	If a real number is the confidence in an experimenting and the experimenting is an instance of experimenting and a formula is an instance of formula and the formula is a patient of the experimenting, then the real number expresses the probability of the formula
(=> (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	If a process is an instance of process and a human is an instance of agent and an experimenting is an instance of experimenting and the human is a treated used in the experimenting and the process is a process in the experimenting and the human experiences another process and the human experiences the process and the experimenting causes the other process, then there exists the experimentingERIMENTER such that the experimentingERIMENTER is an instance of agent and the experimentingERIMENTER is the experimenter in the experimenting and the experimentingERIMENTER believes the statement the process causes the other process has the modal force of likely
(=> (and (instance ?EXPERIMENT Experimenting) (experimentalControlProcess ?EXPERIMENT ?CONTROL)) (not (experimentalVariableProcess ?EXPERIMENT ?CONTROL)))	UXExperimentalTerms.kif 4103-4108	If an experimenting is an instance of experimenting and the control in experiment the experimenting is a process, then not the process is a process in the experimenting
(=> (and (instance ?EXPERIMENT Experimenting) (experimentalControlProcess ?EXPERIMENT ?CONTROL)) (subProcess ?CONTROL ?EXPERIMENT))	UXExperimentalTerms.kif 4035-4039	If an experimenting is an instance of experimenting and the control in experiment the experimenting is a process, then the process is a subprocess of the experimenting
(=> (and (instance ?EXPERIMENT Experimenting) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (not (experimentalControlProcess ?EXPERIMENT ?VARIABLE)))	UXExperimentalTerms.kif 4095-4100	If an experimenting is an instance of experimenting and a process is a process in the experimenting, then not the control in experiment the experimenting is the process
(=> (and (instance ?EXPERIMENT Experimenting) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (subProcess ?VARIABLE ?EXPERIMENT))	UXExperimentalTerms.kif 4088-4092	If an experimenting is an instance of experimenting and a process is a process in the experimenting, then the process is a subprocess of the experimenting
(=> (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	If an experimenting is an instance of experimenting and a time interval is an instance of time interval, then the number of instances in the class described by a symbolic string and the number of instances in the class described by another symbolic string is equal to purchases per user in the experimenting during the time interval
(=> (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	If an experimenting is an instance of experimenting and an entity is an instance of time interval, then the number of instances in the class described by a symbolic string and the number of instances in the class described by another symbolic string is equal to purchases per user in the experimenting
(=> (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	If an experimenting is an instance of experimenting and a human is an instance of human and the human is a subject in the experimenting, then there exists a process such that the process is an instance of process and the human experiences the process and the control in experiment the experimenting is the process or the process is a process in the experimenting
(=> (and (instance ?EXPERIMENT Experimenting) (result ?EXPERIMENT ?RESULT)) (instance ?RESULT Formula))	UXExperimentalTerms.kif 4000-4004	If a process is an instance of experimenting and an entity is a result of the process, then the entity is an instance of formula
(=> (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	If an entity_COLL is an instance of collection and another entity_COLL is an instance of collection and an experimenting is an instance of experimenting and a cognitive agent is an instance of cognitive agent and the cognitive agent is an agent of the experimenting and the entity_COLL is a sample of the other entity_COLL for the experimenting, then for all an attribute if the attribute is an instance of attribute and the entity_COLL the attribute the attribute and the cognitive agent is interested in the attribute and the attribute is not equal to representative sample, then the other entity_COLL the attribute the attribute
(=> (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	If an entity_COLL is an instance of collection and another entity_COLL is an instance of collection and an experimenting is an instance of experimenting and the entity_COLL is a sample of the other entity_COLL for the experimenting, then the entity_COLL is a proper sub-collection of the other entity_COLL
(=> (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	If a process is an instance of multivariate test and an experimenting is a subprocess of the process and another experimenting is a subprocess of the process and the experimenting is an instance of experimenting and the other experimenting is an instance of experimenting and another process is an instance of process and a third process is an instance of process and the other process is a process in the experimenting and the third process is a process in the other experimenting, then there exists a fourth process such that the fourth process is an instance of process and the other process is a subprocess of the fourth process and the third process is a subprocess of the fourth process and the other process is not equal to the third process
(=> (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	If a process is an instance of process and an experimenting is an instance of experimenting and another process is an instance of agent and agent experiences the other process and the process is a process in the experimenting, then there exists an entity_GROUP such that the entity_GROUP is an instance of collection and the other process is a member of the entity_GROUP and the entity_GROUP is the control group in the experimenting
(=> (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	If a process is an instance of process and an experimenting is an instance of experimenting and another process is an instance of agent and agent experiences the other process and the process is a process in the experimenting, then there exists an entity_GROUP such that the entity_GROUP is an instance of collection and the other process is a member of the entity_GROUP and the entity_GROUP is the treatment group in the experimenting
(=> (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	If a human is an instance of human and a collection is an instance of collection and for all an experimenting and a physical if there exists a kind of process such that the experimenting is an instance of experimenting and the physical is an instance of process and the physical is a member of events in the experimenting and the physical is an instance of a kind of process and the human is capable of doing the kind of process as a experiencer, then the physical is a member of the collection and if another physical is a member of the collection, then the other physical is an instance of process and there exist another experimenting and the other physicalESS such that the other experimenting is an instance of experimenting and the other physical is a member of events in the other experimenting and the other physical is an instance of the other physicalESS and the human is capable of doing the other physicalESS as a experiencer , then all the processes the human is qualified for is equal to the collection
(=> (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	If a human is an instance of human and a collection is an instance of collection and for all a web page, a process and an experimenting if the web page is an instance of web page and the process is an instance of accessing web page and the experimenting is an instance of experimenting and the human is an agent of the process and the web page is a patient of the process and the web page is the object of study of the experimenting, then the process is a member of the collection , then the collection is equal to all the treated web page views from the human
(=> (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	If a collection and another collection are orthogonal tests and an object is an instance of human and a physical is an instance of a kind of process and a kind of process is a subclass of experimenting and the physical is a member of the collection and the object is capable of doing the kind of process as a experimental subject, then there exist another physical and another kind of process such that the other physical is an instance of another kind of process and the other physical is a member of the other collection and the other kind of process is a subclass of experimenting and the object is capable of doing the other kind of process as a experimental subject
(=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?VALUE 0)) (truth ?FORMULA True))	UXExperimentalTerms.kif 714-721	If the p-value of an experimenting is a real number and the experimenting is an instance of experimenting and a sentence is an instance of formula and the sentence is a patient of the experimenting and the real number is equal to 0, then the sentence is true
(=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?VALUE 1)) (truth ?FORMULA False))	UXExperimentalTerms.kif 723-730	If the p-value of an experimenting is a real number and the experimenting is an instance of experimenting and a sentence is an instance of formula and the sentence is a patient of the experimenting and the real number is equal to 1, then the sentence is false
(=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA)) (represents ?VALUE (ProbabilityFn ?FORMULA)))	UXExperimentalTerms.kif 706-712	If the p-value of an experimenting is a real number and the experimenting is an instance of experimenting and a formula is an instance of formula and the formula is a patient of the experimenting, then the real number expresses the probability of the 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 4006-4016	If a process is an instance of experimenting, then there exist a formula and an entity such that the entity is an instance of formula and the entity is a result of the process and the formula is an instance of formula and the formula is a patient of the process and the probability of the formula expresses the entity
(=> (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	If an experimenting is an instance of experimenting, then there exists an entity_EVENTS such that the entity_EVENTS is an instance of collection and for all a process if the process is an instance of process and the control in experiment the experimenting is the process or the process is a process in the experimenting, then the process is a member of the entity_EVENTS and events in the experimenting is equal to the entity_EVENTS

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	If an attribute is an attribute of an object and the attribute is an instance of experiment attribute, then the object is an instance of experimenting
(=> (and (instance ?TEST MultivariateTest) (member ?EXPERIMENT ?TEST)) (instance ?EXPERIMENT Experimenting))	UXExperimentalTerms.kif 4700-4704	If a collection is an instance of multivariate test and a physical is a member of the collection, then the physical 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 4672-4685	If a collection and another collection are orthogonal tests and an object is an instance of human and a physical is an instance of a kind of process and a kind of process is a subclass of experimenting and the physical is a member of the collection and the object is capable of doing the kind of process as a experimental subject, then there exist another physical and another kind of process such that the other physical is an instance of another kind of process and the other physical is a member of the other collection and the other kind of process is a subclass of experimenting and the object is capable of doing the other kind of process as a experimental subject
(=> (and (orthogonalTests ?TESTCOL1 ?TESTCOL2) (member ?MEMBER ?TESTCOL1)) (instance ?MEMBER Experimenting))	UXExperimentalTerms.kif 4660-4664	If a collection and another collection are orthogonal tests and a physical is a member of the collection, then the physical is an instance of experimenting
(=> (and (orthogonalTests ?TESTCOL1 ?TESTCOL2) (member ?MEMBER ?TESTCOL2)) (instance ?MEMBER Experimenting))	UXExperimentalTerms.kif 4666-4670	If a collection and another collection are orthogonal tests and a physical is a member of the other collection, then the physical is an instance of experimenting
(=> (instance ?LAB Laboratory) (exists (?EXPERIMENT) (and (instance ?EXPERIMENT Experimenting) (eventLocated ?EXPERIMENT ?LAB))))	Mid-level-ontology.kif 15580-15585	If an object is an instance of laboratory, then there exists a process such that the process is an instance of experimenting and the process is located at the object
(=> (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	If a content bearing physical is an instance of test protocol specification, then there exist a proposition, a process and another process such that the proposition is an instance of plan and the process is an instance of experimenting and the other process is an instance of process and the proposition expresses the other process and the process is a subprocess of the other process and the content bearing physical contains information the proposition

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

KB Term:			Term intersection

English Word: