Experimenting - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3232-3233
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12950-12952
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12949-12949	子類試驗 and Investigating

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22816-22816
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22815-22815
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22814-22814

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3158-3158	域 GPIFn, 1 and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3125-3125	域 GPSFn, 1 and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3084-3084	域 PPIFn, 1 and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3047-3047	域 PPSFn, 1 and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4198-4198	域 QualifyingEventsFn, 1 and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3033-3033	域 QualifyingPurchasesFn, 1 and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4274-4274	域 TreatedUsersFn, 1 and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4301-4301	域 burnInPeriod, 1 and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 528-528	域 confidenceInterval, 1 and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3843-3843	域 controlGroup, 2 and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2824-2824	域 conversionEvent, 1 and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4331-4331	域 exclusiveEvent, 1 and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4017-4017	域 experimentID, 2 and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2673-2673	域 experimentUpdate, 2 and 試驗
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15722-15722	域實驗控制, 1 and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3823-3823	域 experimentalControlProcess, 1 and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3913-3913	域 experimentalSubject, 1 and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4036-4036	域 experimentalTreatmentCollection, 2 and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3870-3870	域 experimentalVariableProcess, 1 and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3942-3942	域 experimenter, 1 and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2694-2694	域 finalExperimentReport, 2 and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 566-566	域 pValue, 1 and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4054-4054	域 qualifiedExperiment, 1 and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4072-4072	域 qualifiedPageView, 1 and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4093-4093	域 qualifiedTreatment, 1 and 試驗

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 549-556	RealNumber 是在試驗 confidence 例試驗 and 試驗例 Sentence and Formula 患者試驗 and Sentence 等於 RealNumber and 100 真相 Sentence and 假
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 540-547	RealNumber 是在試驗 confidence 例試驗 and 試驗例 Sentence and Formula 患者試驗 and Sentence 等於 RealNumber and 100 真相 Sentence and 真正
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 531-537	RealNumber 是在試驗 confidence 例試驗 and 試驗例 Formula and Formula 患者試驗 and Formula 代表 RealNumber and 可能性 Formula
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4357-4374	例 Process and Process 例 Human and AutonomousAgent 例試驗 and 試驗 Human 是個 treated used 在試驗 Process 在試驗的 process 體驗者 Process and Human 體驗者 Process and Human 試驗 causes Process 試驗ERIMENTER 例試驗ERIMENTER and AutonomousAgent 試驗ERIMENTER 是在試驗的 experimenter 相信試驗ERIMENTER and 模態屬性原因 Process and Process and 容易
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3897-3902	例試驗 and 試驗 control 在實驗試驗是 Process Process 在試驗的 process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3829-3833	例試驗 and 試驗 control 在實驗試驗是 Process 子過程 Process and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3889-3894	例試驗 and 試驗 Process 在試驗的 process control 在實驗試驗是 Process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3882-3886	例試驗 and 試驗 Process 在試驗的 process 子過程 Process and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3095-3114	例試驗 and 試驗例 TimeInterval and TimeInterval 等於部基數卡帕 SymbolicString and 例 SymbolicString and Buying 會員 SymbolicString and purchases 在試驗期間何時 SymbolicString and TimeInterval and 基數卡帕 SymbolicString and 會員 SymbolicString and treated users 在試驗例 entity and AccessingWebPage 期間何時 entity and TimeInterval agent entity and SymbolicString and purchases per user 在試驗期間 TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3056-3073	例試驗 and 試驗例 Entity and TimeInterval 等於部基數卡帕 SymbolicString and 例 SymbolicString and Buying 會員 SymbolicString and purchases 在試驗 and 基數卡帕 SymbolicString and 會員 SymbolicString and treated users 在試驗例 entity and AccessingWebPage agent entity and SymbolicString and purchases per user 在試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3923-3934	例試驗 and 試驗例 Human and Human Human 是在試驗的 subject Process 例 Process and Process 體驗者 Process and Human control 在實驗試驗是 Process Process 在試驗的 process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3794-3798	例 Process and 試驗結果 Process and Entity 例 Entity and Formula
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 501-517	例 entity_COLL and Collection 例 entity_COLL and Collection 例試驗 and 試驗例 CognitiveAgent and CognitiveAgent agent 試驗 and CognitiveAgent entity_COLL 是 entity_COLL 的 sample 對於試驗 Attribute 例 Attribute and Attribute 屬性 entity_COLL and Attribute 在感興趣的範圍內 CognitiveAgent and Attribute 等於 Attribute and RepresentativeSample 屬性 entity_COLL and Attribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 483-489	例 entity_COLL and Collection 例 entity_COLL and Collection 例試驗 and 試驗 entity_COLL 是 entity_COLL 的 sample 對於試驗子集合 entity_COLL and entity_COLL
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4501-4518	例 Process and MultivariateTest 子過程試驗 and Process 子過程試驗 and Process 例試驗 and 試驗例試驗 and 試驗例 Process and Process 例 Process and Process Process 在試驗的 process Process 在試驗的 process Process 例 Process and Process 子過程 Process and Process 子過程 Process and Process 等於 Process and Process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3851-3862	例 Process and Process 例試驗 and 試驗例 Process and AutonomousAgent 體驗者 Process and AutonomousAgent Process 在試驗的 process entity_GROUP 例 entity_GROUP and Collection 會員 Process and entity_GROUP entity_GROUP 是在試驗的 control group
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3968-3979	例 Process and Process 例試驗 and 試驗例 Process and AutonomousAgent 體驗者 Process and AutonomousAgent Process 在試驗的 process entity_GROUP 例 entity_GROUP and Collection 會員 Process and entity_GROUP entity_GROUP 是 treatment group 在試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4241-4267	例 Human and Human 例 Collection and Collection 試驗 Physical Process 例試驗 and 試驗例 Physical and Process 會員 Physical and events 在試驗例 Physical and Process 能力 Process, 體驗者 and Human 會員 Physical and Collection 會員 Physical and Collection 例 Physical and Process 試驗 PhysicalESS 例試驗 and 試驗會員 Physical and events 在試驗例 Physical and PhysicalESS 能力 PhysicalESS, 體驗者 and Human 等於所有流程 Human 是 qualified 對於 and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4175-4190	例 Human and Human 例 Collection and Collection WebPage Process and 試驗例 WebPage and WebPage 例 Process and AccessingWebPage 例試驗 and 試驗 agent Process and Human 患者 Process and WebPage WebPage 是試驗的研究對象會員 Process and Collection 等於 Collection and 所有的 treated web page 瀏覽從 Human
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4467-4480	Collection 和 Collection 是 orthogonal tests 例 Object and Human 例 Physical and Process 子類 Process and 試驗會員 Physical and Collection 能力 Process, experimentalSubject and Object Physical Process 例 Physical and Process 會員 Physical and Collection 子類 Process and 試驗能力 Process, experimentalSubject and Object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 577-584	試驗的 p-value 是 RealNumber 例試驗 and 試驗例 Sentence and Formula 患者試驗 and Sentence 等於 RealNumber and 0 真相 Sentence and 真正
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 586-593	試驗的 p-value 是 RealNumber 例試驗 and 試驗例 Sentence and Formula 患者試驗 and Sentence 等於 RealNumber and 1 真相 Sentence and 假
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 569-575	試驗的 p-value 是 RealNumber 例試驗 and 試驗例 Formula and Formula 患者試驗 and Formula 代表 RealNumber and 可能性 Formula
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3800-3810	例 Process and 試驗 Formula Entity 例 Entity and Formula 結果 Process and Entity 例 Formula and Formula 患者 Process and Formula 代表可能性 Formula and Entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4208-4223	例試驗 and 試驗 entity_EVENTS 例 entity_EVENTS and Collection Process 例 Process and Process control 在實驗試驗是 Process Process 在試驗的 process 會員 Process and entity_EVENTS 等於 events 在試驗 and entity_EVENTS

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4407-4411	attribute Object and Attribute 例 Attribute and ExperimentAttribute 例 Object and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4495-4499	例 Collection and MultivariateTest 會員 Physical and Collection 例 Physical and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4467-4480	Collection 和 Collection 是 orthogonal tests 例 Object and Human 例 Physical and Process 子類 Process and 試驗會員 Physical and Collection 能力 Process, experimentalSubject and Object Physical Process 例 Physical and Process 會員 Physical and Collection 子類 Process and 試驗能力 Process, experimentalSubject and Object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4455-4459	Collection 和 Collection 是 orthogonal tests 會員 Physical and Collection 例 Physical and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4461-4465	Collection 和 Collection 是 orthogonal tests 會員 Physical and Collection 例 Physical and 試驗
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15710-15715	例 Object and 實驗室 Process 例 Process and 試驗 Process 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2754-2763	例內容承載物理 and TestProtocolSpecification Proposition Process and Process 例 Proposition and Plan 例 Process and 試驗例 Process and Process 代表 Proposition and Process 子過程 Process and Process 包含信息內容承載物理 and 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: