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 12708-12710
(subclass Experimenting Investigating)	Merge.kif 12707-12707	Experimenting is a subclass of 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	The number 1 argument of GPW is an instance of experimenting
(domain GPSFn 1 Experimenting)	UXExperimentalTerms.kif 3332-3332	The number 1 argument of GPS is an instance of experimenting
(domain PPIFn 1 Experimenting)	UXExperimentalTerms.kif 3291-3291	The number 1 argument of qualifying purchases per user per interval is an instance of experimenting
(domain PPSFn 1 Experimenting)	UXExperimentalTerms.kif 3254-3254	The number 1 argument of qualifying purchases per user is an instance of experimenting
(domain QualifyingEventsFn 1 Experimenting)	UXExperimentalTerms.kif 4405-4405	The number 1 argument of Qualifying Factor or Event is an instance of experimenting
(domain QualifyingPurchasesFn 1 Experimenting)	UXExperimentalTerms.kif 3240-3240	The number 1 argument of Qualifying Purchase is an instance of experimenting
(domain TreatedUsersFn 1 Experimenting)	UXExperimentalTerms.kif 4478-4478	The number 1 argument of TreatedUsersFn is an instance of experimenting
(domain burnInPeriod 1 Experimenting)	UXExperimentalTerms.kif 4505-4505	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 4050-4050	The number 2 argument of control group is an instance of experimenting
(domain conversionEvent 1 Experimenting)	UXExperimentalTerms.kif 3034-3034	The number 1 argument of conversionEvent is an instance of experimenting
(domain exclusiveEvent 1 Experimenting)	UXExperimentalTerms.kif 4535-4535	The number 1 argument of exclusive is an instance of experimenting
(domain experimentID 2 Experimenting)	UXExperimentalTerms.kif 4224-4224	The number 2 argument of experiment identifier string is an instance of experimenting
(domain experimentUpdate 2 Experimenting)	UXExperimentalTerms.kif 2883-2883	The number 2 argument of live experiment update is an instance of experimenting
(domain experimentalControl 1 Experimenting)	Mid-level-ontology.kif 15167-15167	The number 1 argument of experimental control is an instance of experimenting
(domain experimentalControlProcess 1 Experimenting)	UXExperimentalTerms.kif 4030-4030	The number 1 argument of experimental control (process) is an instance of experimenting
(domain experimentalSubject 1 Experimenting)	UXExperimentalTerms.kif 4120-4120	The number 1 argument of experimental subject is an instance of experimenting
(domain experimentalTreatmentCollection 2 Experimenting)	UXExperimentalTerms.kif 4243-4243	The number 2 argument of experimental treatment is an instance of experimenting
(domain experimentalVariableProcess 1 Experimenting)	UXExperimentalTerms.kif 4077-4077	The number 1 argument of experimental variable (process) is an instance of experimenting
(domain experimenter 1 Experimenting)	UXExperimentalTerms.kif 4149-4149	The number 1 argument of experimental subject is an instance of experimenting
(domain finalExperimentReport 2 Experimenting)	UXExperimentalTerms.kif 2904-2904	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 4261-4261	The number 1 argument of qualifiedExperiment is an instance of experimenting
(domain qualifiedPageView 1 Experimenting)	UXExperimentalTerms.kif 4278-4278	The number 1 argument of qualifiedPageView 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 Agent) (instance ?EXP Experimenting) (treatedUser ?AGENT ?EXP) (experimentalVariableProcess ?EXP ?EVP) (experiencer ?PROC ?AGENT) (experiencer ?EVP ?AGENT) (exclusiveEvent ?EXP ?PROC)) (exists (?EXPERIMENTER) (and (instance ?EXPERIMENTER Agent) (experimenter ?EXP ?EXPERIMENTER) (believes ?EXPERIMENTER (modalAttribute (causes ?EVP ?PROC) Likely)))))	UXExperimentalTerms.kif 4561-4578	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 4104-4109	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 4036-4040	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 4096-4101	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 4089-4093	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 3302-3321	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 3263-3280	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 4130-4141	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 4001-4005	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 4702-4719	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 Agent) (experiencer ?AGENT Agent) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (exists (?CONTROL_GROUP) (and (instance ?CONTROL_GROUP Collection) (member ?AGENT ?CONTROL_GROUP) (controlGroup ?CONTROL_GROUP ?EXPERIMENT))))	UXExperimentalTerms.kif 4058-4069	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 Agent) (experiencer ?AGENT Agent) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (exists (?TREATMENT_GROUP) (and (instance ?TREATMENT_GROUP Collection) (member ?AGENT ?TREATMENT_GROUP) (treatmentGroup ?TREATMENT_GROUP ?EXPERIMENT))))	UXExperimentalTerms.kif 4175-4186	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 (?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 4448-4471	If a human is an instance of human and a collection is an instance of collection and for all an entity and a kind of process if the entity is an instance of experimenting and a kind of process is an instance of process and the kind of process is a member of events in an experimenting and the human is capable of doing the kind of process as a experiencer, then the kind of process is a member of the collection and if another kind of process is a member of the collection, then another kind of process is an instance of process and there exists another experimenting such that the other experimenting is an instance of experimenting and the other kind of process is a member of events in the other experimenting and the human is capable of doing the other kind of process 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 4382-4397	If a human is an instance of human and a collection is an instance of collection and for all a WebPage, a process and an experimenting if the WebPage is an instance of WebPage and the process is an instance of AccessingWebPage and the experimenting is an instance of experimenting and the human is an agent of the process and the WebPage is a patient of the process and the WebPage 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 Experimenting) (member ?EXPERIMENT1 ?TESTCOL1) (capability ?EXPERIMENT1 experimentalSubject ?SUBJECT)) (exists (?EXPERIMENT2) (and (instance ?EXPERIMENT2 Experimenting) (member ?EXPERIMENT2 ?TESTCOL2) (capability ?EXPERIMENT2 experimentalSubject ?SUBJECT))))	UXExperimentalTerms.kif 4670-4681	If a collection and another collection are orthogonal tests and an object is an instance of human and a kind of process is an instance of experimenting and a kind of process is a member of the collection and the object is capable of doing the kind of process as a experimental subject, then there exists another kind of process such that another kind of process is an instance of experimenting and the other kind of process is a member of the other collection 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 4007-4017	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 4415-4430	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 4611-4615	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 4696-4700	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 Experimenting) (member ?EXPERIMENT1 ?TESTCOL1) (capability ?EXPERIMENT1 experimentalSubject ?SUBJECT)) (exists (?EXPERIMENT2) (and (instance ?EXPERIMENT2 Experimenting) (member ?EXPERIMENT2 ?TESTCOL2) (capability ?EXPERIMENT2 experimentalSubject ?SUBJECT))))	UXExperimentalTerms.kif 4670-4681	If a collection and another collection are orthogonal tests and an object is an instance of human and a kind of process is an instance of experimenting and a kind of process is a member of the collection and the object is capable of doing the kind of process as a experimental subject, then there exists another kind of process such that another kind of process is an instance of experimenting and the other kind of process is a member of the other collection 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 4658-4662	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 4664-4668	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 15155-15160	If an entity 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 2
(=> (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	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: