Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Experimenting
Experimenting(experimenting)Michelson-Morley_experiment, by_experimentation, by_trial_and_error, data-based, double-blind_experiment, double-blind_procedure, double-blind_study, embryonic_stem-cell_research, empirically, experiment, experimental, experimentally, experimentation, observational, run, stem-cell_research, test, testing, through_an_experiment, through_empirical_observation, trial

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 12714-12716
No TPTP formula. May not be expressible in strict first order. Merge.kif 12713-12713 Experimenting is a subclass of investigating

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22809-22809
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22808-22808
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22807-22807

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3365-3365 The number 1 argument of GPW is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3332-3332 The number 1 argument of GPS is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3291-3291 The number 1 argument of qualifying purchases per user per interval is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3254-3254 The number 1 argument of qualifying purchases per user is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4405-4405 The number 1 argument of Qualifying Factor or Event is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3240-3240 The number 1 argument of Qualifying Purchase is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4478-4478 The number 1 argument of TreatedUsersFn is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4505-4505 The number 1 argument of burn-in period is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 660-660 The number 1 argument of confidence interval is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4050-4050 The number 2 argument of control group is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3034-3034 The number 1 argument of conversionEvent is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4535-4535 The number 1 argument of exclusive is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4224-4224 The number 2 argument of experiment identifier string is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2883-2883 The number 2 argument of live experiment update is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15171-15171 The number 1 argument of experimental control is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4030-4030 The number 1 argument of experimental control (process) is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4120-4120 The number 1 argument of experimental subject is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4243-4243 The number 2 argument of experimental treatment is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4077-4077 The number 1 argument of experimental variable (process) is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4149-4149 The number 1 argument of experimental subject is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2904-2904 The number 2 argument of final experiment report is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 702-702 The number 1 argument of confidence interval is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4261-4261 The number 1 argument of qualifiedExperiment is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4278-4278 The number 1 argument of qualifiedPageView is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4299-4299 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
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 682-689
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 673-680
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 664-670
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4561-4578
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4104-4109
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4036-4040
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4096-4101
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4089-4093
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3302-3321
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3263-3280
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4130-4141
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4001-4005
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 629-645
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 608-614
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4702-4719
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4058-4069
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4175-4186
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4448-4471
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4382-4397
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4670-4681
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 714-721
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 723-730
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 706-712
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4007-4017
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4415-4430

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 4611-4615
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4696-4700
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4670-4681
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4658-4662
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4664-4668
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15159-15164
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2964-2973


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