TreeView 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 12950-12952
(subclass Experimenting Investigating)	Merge.kif 12949-12949	Experimenting ist eine teilkategorie von Investigating

appearance as argument number 2

(termFormat ChineseLanguage Experimenting "试验")	domainEnglishFormat.kif 22816-22816
(termFormat ChineseTraditionalLanguage Experimenting "試驗")	domainEnglishFormat.kif 22815-22815
(termFormat EnglishLanguage Experimenting "experimenting")	domainEnglishFormat.kif 22814-22814

appearance as argument number 3

(domain GPIFn 1 Experimenting)	UXExperimentalTerms.kif 3158-3158	Die Zahl 1 Argument von GPIFn ist ein fall von Experimenting %n{nicht}
(domain GPSFn 1 Experimenting)	UXExperimentalTerms.kif 3125-3125	Die Zahl 1 Argument von GPSFn ist ein fall von Experimenting %n{nicht}
(domain PPIFn 1 Experimenting)	UXExperimentalTerms.kif 3084-3084	Die Zahl 1 Argument von PPIFn ist ein fall von Experimenting %n{nicht}
(domain PPSFn 1 Experimenting)	UXExperimentalTerms.kif 3047-3047	Die Zahl 1 Argument von PPSFn ist ein fall von Experimenting %n{nicht}
(domain QualifyingEventsFn 1 Experimenting)	UXExperimentalTerms.kif 4198-4198	Die Zahl 1 Argument von QualifyingEventsFn ist ein fall von Experimenting %n{nicht}
(domain QualifyingPurchasesFn 1 Experimenting)	UXExperimentalTerms.kif 3033-3033	Die Zahl 1 Argument von QualifyingPurchasesFn ist ein fall von Experimenting %n{nicht}
(domain TreatedUsersFn 1 Experimenting)	UXExperimentalTerms.kif 4274-4274	Die Zahl 1 Argument von TreatedUsersFn ist ein fall von Experimenting %n{nicht}
(domain burnInPeriod 1 Experimenting)	UXExperimentalTerms.kif 4301-4301	Die Zahl 1 Argument von burnInPeriod ist ein fall von Experimenting %n{nicht}
(domain confidenceInterval 1 Experimenting)	UXExperimentalTerms.kif 528-528	Die Zahl 1 Argument von confidenceInterval ist ein fall von Experimenting %n{nicht}
(domain controlGroup 2 Experimenting)	UXExperimentalTerms.kif 3843-3843	Die Zahl 2 Argument von controlGroup ist ein fall von Experimenting %n{nicht}
(domain conversionEvent 1 Experimenting)	UXExperimentalTerms.kif 2824-2824	Die Zahl 1 Argument von conversionEvent ist ein fall von Experimenting %n{nicht}
(domain exclusiveEvent 1 Experimenting)	UXExperimentalTerms.kif 4331-4331	Die Zahl 1 Argument von exclusiveEvent ist ein fall von Experimenting %n{nicht}
(domain experimentID 2 Experimenting)	UXExperimentalTerms.kif 4017-4017	Die Zahl 2 Argument von experimentID ist ein fall von Experimenting %n{nicht}
(domain experimentUpdate 2 Experimenting)	UXExperimentalTerms.kif 2673-2673	Die Zahl 2 Argument von experimentUpdate ist ein fall von Experimenting %n{nicht}
(domain experimentalControl 1 Experimenting)	Mid-level-ontology.kif 15722-15722	Die Zahl 1 Argument von experimentalControl ist ein fall von Experimenting %n{nicht}
(domain experimentalControlProcess 1 Experimenting)	UXExperimentalTerms.kif 3823-3823	Die Zahl 1 Argument von experimentalControlProcess ist ein fall von Experimenting %n{nicht}
(domain experimentalSubject 1 Experimenting)	UXExperimentalTerms.kif 3913-3913	Die Zahl 1 Argument von experimentalSubject ist ein fall von Experimenting %n{nicht}
(domain experimentalTreatmentCollection 2 Experimenting)	UXExperimentalTerms.kif 4036-4036	Die Zahl 2 Argument von experimentalTreatmentCollection ist ein fall von Experimenting %n{nicht}
(domain experimentalVariableProcess 1 Experimenting)	UXExperimentalTerms.kif 3870-3870	Die Zahl 1 Argument von experimentalVariableProcess ist ein fall von Experimenting %n{nicht}
(domain experimenter 1 Experimenting)	UXExperimentalTerms.kif 3942-3942	Die Zahl 1 Argument von experimenter ist ein fall von Experimenting %n{nicht}
(domain finalExperimentReport 2 Experimenting)	UXExperimentalTerms.kif 2694-2694	Die Zahl 2 Argument von finalExperimentReport ist ein fall von Experimenting %n{nicht}
(domain pValue 1 Experimenting)	UXExperimentalTerms.kif 566-566	Die Zahl 1 Argument von pValue ist ein fall von Experimenting %n{nicht}
(domain qualifiedExperiment 1 Experimenting)	UXExperimentalTerms.kif 4054-4054	Die Zahl 1 Argument von qualifiedExperiment ist ein fall von Experimenting %n{nicht}
(domain qualifiedPageView 1 Experimenting)	UXExperimentalTerms.kif 4072-4072	Die Zahl 1 Argument von qualifiedPageView ist ein fall von Experimenting %n{nicht}
(domain qualifiedTreatment 1 Experimenting)	UXExperimentalTerms.kif 4093-4093	Die Zahl 1 Argument von qualifiedTreatment ist ein fall von Experimenting %n{nicht}

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	Wenn confidenceInterval Experimenting and RealNumber und Experimenting ist ein fall von Experimenting %n{nicht} und Sentence ist ein fall von Formula %n{nicht} und Sentence ist ein patient von Experimenting %n{nicht} und RealNumber ist gleich 100 %n{nicht}, dann truth ** Sentence and False
(=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA True))	UXExperimentalTerms.kif 540-547	Wenn confidenceInterval Experimenting and RealNumber und Experimenting ist ein fall von Experimenting %n{nicht} und Sentence ist ein fall von Formula %n{nicht} und Sentence ist ein patient von Experimenting %n{nicht} und RealNumber ist gleich 100 %n{nicht}, dann truth ** Sentence and True
(=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA)) (represents ?CONFIDENCE (ProbabilityFn ?FORMULA)))	UXExperimentalTerms.kif 531-537	Wenn confidenceInterval Experimenting and RealNumber und Experimenting ist ein fall von Experimenting %n{nicht} und Formula ist ein fall von Formula %n{nicht} und Formula ist ein patient von Experimenting %n{nicht}, dann RealNumber drueckt die wahrscheinlichkeit von ** Formula aus
(=> (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	Wenn Process ist ein fall von Process %n{nicht} und Human ist ein fall von AutonomousAgent %n{nicht} und Experimenting ist ein fall von Experimenting %n{nicht} und treatedUser Human and Experimenting und experimentalVariableProcess Experimenting and Process und Human erfaehrt Process %n{nicht} und Human erfaehrt Process %n{nicht} und exclusiveEvent Experimenting and Process, dann es gibt ExperimentingERIMENTER um ExperimentingERIMENTER ist ein fall von AutonomousAgent %n{nicht} und experimenter Experimenting and ExperimentingERIMENTER und ExperimentingERIMENTER glaubt %n{nicht}, dass die Aussage Process verursacht ** Process %n{nicht} hat die modale Kraft von Likely
(=> (and (instance ?EXPERIMENT Experimenting) (experimentalControlProcess ?EXPERIMENT ?CONTROL)) (not (experimentalVariableProcess ?EXPERIMENT ?CONTROL)))	UXExperimentalTerms.kif 3897-3902	Wenn Experimenting ist ein fall von Experimenting %n{nicht} und experimentalControlProcess Experimenting and Process, dann experimentalVariableProcess Experimenting and ** Process
(=> (and (instance ?EXPERIMENT Experimenting) (experimentalControlProcess ?EXPERIMENT ?CONTROL)) (subProcess ?CONTROL ?EXPERIMENT))	UXExperimentalTerms.kif 3829-3833	Wenn Experimenting ist ein fall von Experimenting %n{nicht} und experimentalControlProcess Experimenting and Process, dann Process ist ein subProzess von ** Experimenting
(=> (and (instance ?EXPERIMENT Experimenting) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (not (experimentalControlProcess ?EXPERIMENT ?VARIABLE)))	UXExperimentalTerms.kif 3889-3894	Wenn Experimenting ist ein fall von Experimenting %n{nicht} und experimentalVariableProcess Experimenting and Process, dann experimentalControlProcess Experimenting and ** Process
(=> (and (instance ?EXPERIMENT Experimenting) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (subProcess ?VARIABLE ?EXPERIMENT))	UXExperimentalTerms.kif 3882-3886	Wenn Experimenting ist ein fall von Experimenting %n{nicht} und experimentalVariableProcess Experimenting and Process, dann Process ist ein subProzess von ** 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	Wenn Experimenting ist ein fall von Experimenting %n{nicht} und TimeInterval ist ein fall von TimeInterval %n{nicht}, dann die Zahl Faellen in die kategorie die SymbolicString beschreibt und die Zahl Faellen in die kategorie die SymbolicString beschreibt ist gleich PPIFn Experimenting and ** TimeInterval %n{nicht}
(=> (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	Wenn Experimenting ist ein fall von Experimenting %n{nicht} und Entity ist ein fall von TimeInterval %n{nicht}, dann die Zahl Faellen in die kategorie die SymbolicString beschreibt und die Zahl Faellen in die kategorie die SymbolicString beschreibt ist gleich PPSFn Experimenting %n{nicht}
(=> (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	Wenn Experimenting ist ein fall von Experimenting %n{nicht} und Human ist ein fall von Human %n{nicht} und experimentalSubject Experimenting and Human, dann es gibt Process um Process ist ein fall von Process %n{nicht} und Human erfaehrt Process %n{nicht} und experimentalControlProcess Experimenting and Process oder experimentalVariableProcess Experimenting and ** Process
(=> (and (instance ?EXPERIMENT Experimenting) (result ?EXPERIMENT ?RESULT)) (instance ?RESULT Formula))	UXExperimentalTerms.kif 3794-3798	Wenn Process ist ein fall von Experimenting %n{nicht} und Entity ist ein resultat von Process %n{nicht}, dann Entity ist ein fall von Formula %n{nicht}
(=> (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	Wenn entity_COLL ist ein fall von Collection %n{nicht} und entity_COLL ist ein fall von Collection %n{nicht} und Experimenting ist ein fall von Experimenting %n{nicht} und CognitiveAgent ist ein fall von CognitiveAgent %n{nicht} und Experimenting ist der agent von CognitiveAgent %n{nicht} und statisticalPopulation entity_COLL, entity_COLL and Experimenting, dann fuer alle Attribute wenn Attribute ist ein fall von Attribute %n{nicht} und entity_COLL hat ein attribut Attribute %n{nicht} und CognitiveAgent ist an Attribute interessiert %n{nicht} und Attribute ist gleich RepresentativeSample nicht, dann entity_COLL hat ein attribut Attribute %n{nicht}
(=> (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	Wenn entity_COLL ist ein fall von Collection %n{nicht} und entity_COLL ist ein fall von Collection %n{nicht} und Experimenting ist ein fall von Experimenting %n{nicht} und statisticalPopulation entity_COLL, entity_COLL and Experimenting, dann entity_COLL ist eine korrekte teilsammlung von entity_COLL %n{nicht}
(=> (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	Wenn Process ist ein fall von MultivariateTest %n{nicht} und Experimenting ist ein subProzess von Process und Experimenting ist ein subProzess von Process und Experimenting ist ein fall von Experimenting %n{nicht} und Experimenting ist ein fall von Experimenting %n{nicht} und Process ist ein fall von Process %n{nicht} und Process ist ein fall von Process %n{nicht} und experimentalVariableProcess Experimenting and Process und experimentalVariableProcess Experimenting and Process, dann es gibt Process um Process ist ein fall von Process %n{nicht} und Process ist ein subProzess von Process und Process ist ein subProzess von Process und Process ist gleich Process nicht
(=> (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	Wenn Process ist ein fall von Process %n{nicht} und Experimenting ist ein fall von Experimenting %n{nicht} und Process ist ein fall von AutonomousAgent %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und experimentalVariableProcess Experimenting and Process, dann es gibt entity_GROUP um entity_GROUP ist ein fall von Collection %n{nicht} und Process ist ein Mitglied von entity_GROUP %n{nicht} und controlGroup entity_GROUP and ** 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	Wenn Process ist ein fall von Process %n{nicht} und Experimenting ist ein fall von Experimenting %n{nicht} und Process ist ein fall von AutonomousAgent %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und experimentalVariableProcess Experimenting and Process, dann es gibt entity_GROUP um entity_GROUP ist ein fall von Collection %n{nicht} und Process ist ein Mitglied von entity_GROUP %n{nicht} und treatmentGroup entity_GROUP and ** 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	Wenn Human ist ein fall von Human %n{nicht} und Collection ist ein fall von Collection %n{nicht} und fuer alle Experimenting und Physical wenn es gibt Process um Experimenting ist ein fall von Experimenting %n{nicht} und Physical ist ein fall von Process %n{nicht} und Physical ist ein Mitglied von QualifyingEventsFn Experimenting %n{nicht} und Physical ist ein fall von Process %n{nicht} und Human ist faehig %n{nicht}, in der Rolle experiencer Process zu tun, dann Physical ist ein Mitglied von Collection %n{nicht} und wenn Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von Process %n{nicht} und es gibt Experimenting und PhysicalESS um Experimenting ist ein fall von Experimenting %n{nicht} und Physical ist ein Mitglied von QualifyingEventsFn Experimenting %n{nicht} und Physical ist ein fall von PhysicalESS %n{nicht} und Human ist faehig %n{nicht}, in der Rolle experiencer PhysicalESS zu tun , dann QualifiedTreatmentsFn Human ist gleich Collection %n{nicht}
(=> (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	Wenn Human ist ein fall von Human %n{nicht} und Collection ist ein fall von Collection %n{nicht} und fuer alle WebPage, Process, and und Experimenting wenn WebPage ist ein fall von WebPage %n{nicht} und Process ist ein fall von AccessingWebPage %n{nicht} und Experimenting ist ein fall von Experimenting %n{nicht} und Process ist der agent von Human %n{nicht} und WebPage ist ein patient von Process %n{nicht} und treatedPage WebPage and Experimenting, dann Process ist ein Mitglied von Collection %n{nicht} , dann Collection ist gleich QPViewsFn ** Human %n{nicht}
(=> (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	Wenn orthogonalTests Collection and Collection und Object ist ein fall von Human %n{nicht} und Physical ist ein fall von Process %n{nicht} und Process ist eine teilkategorie von Experimenting und Physical ist ein Mitglied von Collection %n{nicht} und Object ist faehig %n{nicht}, in der Rolle experimentalSubject Process zu tun, dann es gibt Physical und Process um Physical ist ein fall von Process %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht} und Process ist eine teilkategorie von Experimenting und Object ist faehig %n{nicht}, in der Rolle experimentalSubject Process zu tun
(=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?VALUE 0)) (truth ?FORMULA True))	UXExperimentalTerms.kif 577-584	Wenn pValue Experimenting and RealNumber und Experimenting ist ein fall von Experimenting %n{nicht} und Sentence ist ein fall von Formula %n{nicht} und Sentence ist ein patient von Experimenting %n{nicht} und RealNumber ist gleich 0 %n{nicht}, dann truth ** Sentence and True
(=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?VALUE 1)) (truth ?FORMULA False))	UXExperimentalTerms.kif 586-593	Wenn pValue Experimenting and RealNumber und Experimenting ist ein fall von Experimenting %n{nicht} und Sentence ist ein fall von Formula %n{nicht} und Sentence ist ein patient von Experimenting %n{nicht} und RealNumber ist gleich 1 %n{nicht}, dann truth ** Sentence and False
(=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA)) (represents ?VALUE (ProbabilityFn ?FORMULA)))	UXExperimentalTerms.kif 569-575	Wenn pValue Experimenting and RealNumber und Experimenting ist ein fall von Experimenting %n{nicht} und Formula ist ein fall von Formula %n{nicht} und Formula ist ein patient von Experimenting %n{nicht}, dann RealNumber drueckt die wahrscheinlichkeit von ** Formula aus
(=> (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	Wenn Process ist ein fall von Experimenting %n{nicht}, dann es gibt Formula und Entity um Entity ist ein fall von Formula %n{nicht} und Entity ist ein resultat von Process %n{nicht} und Formula ist ein fall von Formula %n{nicht} und Formula ist ein patient von Process %n{nicht} und die wahrscheinlichkeit von Formula drueckt Entity aus
(=> (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	Wenn Experimenting ist ein fall von Experimenting %n{nicht}, dann es gibt entity_EVENTS um entity_EVENTS ist ein fall von Collection %n{nicht} und fuer alle Process wenn Process ist ein fall von Process %n{nicht} und experimentalControlProcess Experimenting and Process oder experimentalVariableProcess Experimenting and Process, dann Process ist ein Mitglied von entity_EVENTS %n{nicht} und QualifyingEventsFn Experimenting ist gleich entity_EVENTS %n{nicht}

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	Wenn Attribute ist ein attribut von Object %n{nicht} und Attribute ist ein fall von ExperimentAttribute %n{nicht}, dann Object ist ein fall von Experimenting %n{nicht}
(=> (and (instance ?TEST MultivariateTest) (member ?EXPERIMENT ?TEST)) (instance ?EXPERIMENT Experimenting))	UXExperimentalTerms.kif 4495-4499	Wenn Collection ist ein fall von MultivariateTest %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von Experimenting %n{nicht}
(=> (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	Wenn orthogonalTests Collection and Collection und Object ist ein fall von Human %n{nicht} und Physical ist ein fall von Process %n{nicht} und Process ist eine teilkategorie von Experimenting und Physical ist ein Mitglied von Collection %n{nicht} und Object ist faehig %n{nicht}, in der Rolle experimentalSubject Process zu tun, dann es gibt Physical und Process um Physical ist ein fall von Process %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht} und Process ist eine teilkategorie von Experimenting und Object ist faehig %n{nicht}, in der Rolle experimentalSubject Process zu tun
(=> (and (orthogonalTests ?TESTCOL1 ?TESTCOL2) (member ?MEMBER ?TESTCOL1)) (instance ?MEMBER Experimenting))	UXExperimentalTerms.kif 4455-4459	Wenn orthogonalTests Collection and Collection und Physical ist ein Mitglied von Collection %n{nicht}, dann ** Physical ist ein fall von Experimenting %n{nicht}
(=> (and (orthogonalTests ?TESTCOL1 ?TESTCOL2) (member ?MEMBER ?TESTCOL2)) (instance ?MEMBER Experimenting))	UXExperimentalTerms.kif 4461-4465	Wenn orthogonalTests Collection and Collection und Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von Experimenting %n{nicht}
(=> (instance ?LAB Laboratory) (exists (?EXPERIMENT) (and (instance ?EXPERIMENT Experimenting) (eventLocated ?EXPERIMENT ?LAB))))	Mid-level-ontology.kif 15710-15715	Wenn Object ist ein fall von Laboratory %n{nicht}, dann es gibt Process um Process ist ein fall von Experimenting %n{nicht} und eventLocated Process and ** 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	Wenn ContentBearingPhysical ist ein fall von TestProtocolSpecification %n{nicht}, dann es gibt Proposition, Process, and und Process um Proposition ist ein fall von Plan %n{nicht} und Process ist ein fall von Experimenting %n{nicht} und Process ist ein fall von Process %n{nicht} und Proposition drueckt Process aus und Process ist ein subProzess von Process und ContentBearingPhysical enthaelt Informationen ueber ** Proposition

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: