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 12996-12998
(subclass Experimenting Investigating)	Merge.kif 12995-12995	Experimenting is a subclass of investigating

appearance as argument number 2

(termFormat ChineseLanguage Experimenting "试验")	domainEnglishFormat.kif 22831-22831
(termFormat ChineseTraditionalLanguage Experimenting "試驗")	domainEnglishFormat.kif 22830-22830
(termFormat EnglishLanguage Experimenting "experimenting")	domainEnglishFormat.kif 22829-22829

appearance as argument number 3

(domain GPIFn 1 Experimenting)	UXExperimentalTerms.kif 3158-3158	The number 1 argument of GPW is an instance of experimenting
(domain GPSFn 1 Experimenting)	UXExperimentalTerms.kif 3125-3125	The number 1 argument of GPS is an instance of experimenting
(domain PPIFn 1 Experimenting)	UXExperimentalTerms.kif 3084-3084	The number 1 argument of qualifying purchases per user per interval is an instance of experimenting
(domain PPSFn 1 Experimenting)	UXExperimentalTerms.kif 3047-3047	The number 1 argument of qualifying purchases per user is an instance of experimenting
(domain QualifyingEventsFn 1 Experimenting)	UXExperimentalTerms.kif 4198-4198	The number 1 argument of Qualifying Factor or Event is an instance of experimenting
(domain QualifyingPurchasesFn 1 Experimenting)	UXExperimentalTerms.kif 3033-3033	The number 1 argument of Qualifying Purchase is an instance of experimenting
(domain TreatedUsersFn 1 Experimenting)	UXExperimentalTerms.kif 4274-4274	The number 1 argument of treated users fn is an instance of experimenting
(domain burnInPeriod 1 Experimenting)	UXExperimentalTerms.kif 4301-4301	The number 1 argument of burn-in period 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 controlGroup 2 Experimenting)	UXExperimentalTerms.kif 3843-3843	The number 2 argument of control group 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 exclusiveEvent 1 Experimenting)	UXExperimentalTerms.kif 4331-4331	The number 1 argument of exclusive is an instance of experimenting
(domain experimentID 2 Experimenting)	UXExperimentalTerms.kif 4017-4017	The number 2 argument of experiment identifier string 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 experimentalControl 1 Experimenting)	Mid-level-ontology.kif 15940-15940	The number 1 argument of experimental control is an instance of experimenting
(domain experimentalControlProcess 1 Experimenting)	UXExperimentalTerms.kif 3823-3823	The number 1 argument of experimental control (process) is an instance of experimenting
(domain experimentalSubject 1 Experimenting)	UXExperimentalTerms.kif 3913-3913	The number 1 argument of experimental subject is an instance of experimenting
(domain experimentalTreatmentCollection 2 Experimenting)	UXExperimentalTerms.kif 4036-4036	The number 2 argument of experimental treatment is an instance of experimenting
(domain experimentalVariableProcess 1 Experimenting)	UXExperimentalTerms.kif 3870-3870	The number 1 argument of experimental variable (process) is an instance of experimenting
(domain experimenter 1 Experimenting)	UXExperimentalTerms.kif 3942-3942	The number 1 argument of experimental subject 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 pValue 1 Experimenting)	UXExperimentalTerms.kif 566-566	The number 1 argument of confidence interval is an instance of experimenting
(domain qualifiedExperiment 1 Experimenting)	UXExperimentalTerms.kif 4054-4054	The number 1 argument of qualified experiment is an instance of experimenting
(domain qualifiedPageView 1 Experimenting)	UXExperimentalTerms.kif 4072-4072	The number 1 argument of qualified page view is an instance of experimenting
(domain qualifiedTreatment 1 Experimenting)	UXExperimentalTerms.kif 4093-4093	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 549-556	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 540-547	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 531-537	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 4357-4374	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 3897-3902	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 3829-3833	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 3889-3894	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 3882-3886	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 3095-3114	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 3056-3073	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 3923-3934	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 3794-3798	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 501-517	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 483-489	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 4501-4518	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 3851-3862	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 3968-3979	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 4241-4267	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 4175-4190	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 4467-4480	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 577-584	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 586-593	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 569-575	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 3800-3810	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 4208-4223	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 4407-4411	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 4495-4499	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 4467-4480	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 4455-4459	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 4461-4465	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 15928-15933	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 2754-2763	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: