TreeView 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	试验是调查的 subclass

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 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3125-3125	GPSFn 的 1 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3084-3084	PPIFn 的 1 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3047-3047	PPSFn 的 1 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4198-4198	QualifyingEventsFn 的 1 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3033-3033	QualifyingPurchasesFn 的 1 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4274-4274	TreatedUsersFn 的 1 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4301-4301	burnInPeriod 的 1 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 528-528	confidenceInterval 的 1 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3843-3843	controlGroup 的 2 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2824-2824	conversionEvent 的 1 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4331-4331	exclusiveEvent 的 1 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4017-4017	experimentID 的 2 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2673-2673	experimentUpdate 的 2 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15722-15722	实验控制的 1 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3823-3823	experimentalControlProcess 的 1 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3913-3913	experimentalSubject 的 1 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4036-4036	experimentalTreatmentCollection 的 2 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3870-3870	experimentalVariableProcess 的 1 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3942-3942	experimenter 的 1 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2694-2694	finalExperimentReport 的 2 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 566-566	pValue 的 1 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4054-4054	qualifiedExperiment 的 1 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4072-4072	qualifiedPageView 的 1 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4093-4093	qualifiedTreatment 的 1 数量是试验的 instance

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	如果实数是在试验 confidence 和那个试验是试验的 instance 和句子是公式的 instance 和那个句子是那个试验的 patient 和那个实数 equal 100，然后那个句子是假
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 540-547	如果实数是在试验 confidence 和那个试验是试验的 instance 和句子是公式的 instance 和那个句子是那个试验的 patient 和那个实数 equal 100，然后那个句子是真正
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 531-537	如果实数是在试验 confidence 和那个试验是试验的 instance 和公式是公式的 instance 和那个公式是那个试验的 patient，然后那个实数表达那个公式的机率
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4357-4374	如果过程是过程的 instance 和人类是施事体的 instance 和试验是试验的 instance 和那个人类是个 treated used 在那个试验和那个过程在那个试验的 process 和那个人类经历了另一个过程和那个人类经历了那个过程和那个试验 causes 那个另外过程，然后有存在那个试验ERIMENTER 这样那个试验ERIMENTER 是施事体的 instance 和那个试验ERIMENTER 是在那个试验的 experimenter 和那个试验ERIMENTER believes 那个过程 causes 那个另外过程的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3897-3902	如果试验是试验的 instance 和 control 在实验那个试验是过程，然后不那个过程在那个试验的 process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3829-3833	如果试验是试验的 instance 和 control 在实验那个试验是过程，然后那个过程%n是那个试验的subProcess
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3889-3894	如果试验是试验的 instance 和过程在那个试验的 process ，然后不 control 在实验那个试验是那个过程
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3882-3886	如果试验是试验的 instance 和过程在那个试验的 process ，然后那个过程%n是那个试验的subProcess
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3095-3114	如果试验是试验的 instance 和时距是时距的 instance，然后符号串所描述的类别 instance 的数量和另一个符号串所描述的类别 instance 的数量 equal purchases per user 在那个试验期间那个时距
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3056-3073	如果试验是试验的 instance 和实体是时距的 instance，然后符号串所描述的类别 instance 的数量和另一个符号串所描述的类别 instance 的数量 equal purchases per user 在那个试验
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3923-3934	如果试验是试验的 instance 和人类是人类的 instance 和那个人类是在那个试验的 subject ，然后有存在过程这样那个过程是过程的 instance 和那个人类经历了那个过程和 control 在实验那个试验是那个过程或那个过程在那个试验的 process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3794-3798	如果过程是试验的 instance 和实体是那个过程的 result，然后那个实体是公式的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 501-517	如果实体_COLL 是群体的 instance 和另一个实体_COLL 是群体的 instance 和试验是试验的 instance 和有认知的主事是有认知的主事的 instance 和那个有认知的主事是那个试验的 agent 和那个实体_COLL 是那个另外实体_COLL 的 sample 对于那个试验，然后对所有属性如果那个属性是属性的 instance 和那个实体_COLL 有那个属性的 attribute 和那个有认知的主事对那个属性感兴趣和那个属性不 equal RepresentativeSample，然后那个另外实体_COLL 有那个属性的 attribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 483-489	如果实体_COLL 是群体的 instance 和另一个实体_COLL 是群体的 instance 和试验是试验的 instance 和那个实体_COLL 是那个另外实体_COLL 的 sample 对于那个试验，然后那个实体_COLL 是那个另外实体_COLL 的真正的子集
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4501-4518	如果过程是 MultivariateTest 的 instance 和试验%n是那个过程的subProcess 和另一个试验%n是那个过程的subProcess 和那个试验是试验的 instance 和那个另外试验是试验的 instance 和另一个过程是过程的 instance 和第三过程是过程的 instance 和那个另外过程在那个试验的 process 和那个第三过程在那个另外试验的 process ，然后有存在第四过程这样那个第四过程是过程的 instance 和那个另外过程%n是那个第四过程的subProcess 和那个第三过程%n是那个第四过程的subProcess 和那个另外过程不 equal 那个第三过程
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3851-3862	如果过程是过程的 instance 和试验是试验的 instance 和另一个过程是施事体的 instance 和施事体经历了那个另外过程和那个过程在那个试验的 process ，然后有存在实体_GROUP 这样那个实体_GROUP 是群体的 instance 和那个另外过程是那个实体_GROUP 的 member 和那个实体_GROUP 是在那个试验的 control group
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3968-3979	如果过程是过程的 instance 和试验是试验的 instance 和另一个过程是施事体的 instance 和施事体经历了那个另外过程和那个过程在那个试验的 process ，然后有存在实体_GROUP 这样那个实体_GROUP 是群体的 instance 和那个另外过程是那个实体_GROUP 的 member 和那个实体_GROUP 是 treatment group 在那个试验
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4241-4267	如果人类是人类的 instance 和群体是群体的 instance 和对所有试验和物理如果有存在有点过程这样那个试验是试验的 instance 和那个物理是过程的 instance 和那个物理是 events 在那个试验的 member 和那个物理是有点过程的 instance 和那个人类能够担当经历者的角色做那个有点过程，然后那个物理是那个群体的 member 和如果另一个物理是那个群体的 member，然后那个另外物理是过程的 instance 和有存在另一个试验和那个另外物理ESS 这样那个另外试验是试验的 instance 和那个另外物理是 events 在那个另外试验的 member 和那个另外物理是那个另外物理ESS 的 instance 和那个人类能够担当经历者的角色做那个另外物理ESS ，然后所有流程那个人类是 qualified 对于 equal 那个群体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4175-4190	如果人类是人类的 instance 和群体是群体的 instance 和对所有 WebPage，过程， and 和试验如果那个 WebPage 是 WebPage 的 instance 和那个过程是 AccessingWebPage 的 instance 和那个试验是试验的 instance 和那个人类是那个过程的 agent 和那个 WebPage 是那个过程的 patient 和那个 WebPage 是那个试验的研究对象，然后那个过程是那个群体的 member ，然后那个群体 equal 所有的 treated web page 浏览从那个人类
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4467-4480	如果群体和另一个群体是 orthogonal tests 和客体是人类的 instance 和物理是有点过程的 instance 和有点过程是试验的 subclass 和那个物理是那个群体的 member 和那个客体能够担当 experimentalSubject 的角色做那个有点过程，然后有存在另一个物理和另一个有点过程这样那个另外物理是另一个有点过程的 instance 和那个另外物理是那个另外群体的 member 和那个另外有点过程是试验的 subclass 和那个客体能够担当 experimentalSubject 的角色做那个另外有点过程
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 577-584	如果试验的 p-value 是实数和那个试验是试验的 instance 和句子是公式的 instance 和那个句子是那个试验的 patient 和那个实数 equal 0，然后那个句子是真正
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 586-593	如果试验的 p-value 是实数和那个试验是试验的 instance 和句子是公式的 instance 和那个句子是那个试验的 patient 和那个实数 equal 1，然后那个句子是假
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 569-575	如果试验的 p-value 是实数和那个试验是试验的 instance 和公式是公式的 instance 和那个公式是那个试验的 patient，然后那个实数表达那个公式的机率
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3800-3810	如果过程是试验的 instance，然后有存在公式和实体这样那个实体是公式的 instance 和那个实体是那个过程的 result 和那个公式是公式的 instance 和那个公式是那个过程的 patient 和那个公式的机率表达那个实体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4208-4223	如果试验是试验的 instance，然后有存在实体_EVENTS 这样那个实体_EVENTS 是群体的 instance 和对所有过程如果那个过程是过程的 instance 和 control 在实验那个试验是那个过程或那个过程在那个试验的 process ，然后那个过程是那个实体_EVENTS 的 member 和 events 在那个试验 equal 那个实体_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 和那个属性是 ExperimentAttribute 的 instance，然后那个客体是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4495-4499	如果群体是 MultivariateTest 的 instance 和物理是那个群体的 member，然后那个物理是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4467-4480	如果群体和另一个群体是 orthogonal tests 和客体是人类的 instance 和物理是有点过程的 instance 和有点过程是试验的 subclass 和那个物理是那个群体的 member 和那个客体能够担当 experimentalSubject 的角色做那个有点过程，然后有存在另一个物理和另一个有点过程这样那个另外物理是另一个有点过程的 instance 和那个另外物理是那个另外群体的 member 和那个另外有点过程是试验的 subclass 和那个客体能够担当 experimentalSubject 的角色做那个另外有点过程
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4455-4459	如果群体和另一个群体是 orthogonal tests 和物理是那个群体的 member，然后那个物理是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4461-4465	如果群体和另一个群体是 orthogonal tests 和物理是那个另外群体的 member，然后那个物理是试验的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15710-15715	如果客体是实验室的 instance，然后有存在过程这样那个过程是试验的 instance 和那个过程是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2754-2763	如果内容承载物理是 TestProtocolSpecification 的 instance，然后有存在命题，过程， and 和另一个过程这样那个命题是计划的 instance 和那个过程是试验的 instance 和那个另外过程是过程的 instance 和那个命题表达那个另外过程和那个过程%n是那个另外过程的subProcess 和那个内容承载物理 contains 那个命题的资料

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: