TreeView Knowledge Base Browser - experimentalVariableProcess

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

experimentalVariableProcess

Sigma KEE - experimentalVariableProcess

experimentalVariableProcess

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3876-3880
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 3872-3872	experimentalVariableProcess 的 2 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3868-3868	experimentalVariableProcess 是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3370-3370
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3369-3369
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3368-3368
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3874-3874

antecedent

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 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 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 在那个试验

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4043-4047	如果群体是在试验的 processes 和过程是那个群体的 member，然后那个过程在那个试验的 process
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 3923-3934	如果试验是试验的 instance 和人类是人类的 instance 和那个人类是在那个试验的 subject ，然后有存在过程这样那个过程是过程的 instance 和那个人类经历了那个过程和 control 在实验那个试验是那个过程或那个过程在那个试验的 process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4432-4437	如果 ABTest 是客体的 attribute，然后有存在过程这样那个过程是过程的 instance 和那个过程在那个客体的 process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4345-4355	如果试验 causes 过程，然后有存在另一个过程和人类这样那个另外过程是过程的 instance 和那个人类是施事体的 instance 和那个人类是个 treated used 在那个试验和那个另外过程在那个试验的 process 和那个人类经历了那个过程和那个人类经历了那个另外过程和那个另外过程出现的 time 比那个过程出现的 time发生的earlier
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

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