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, experimenting, 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 11883-11885
No TPTP formula. May not be expressible in strict first order. Merge.kif 11882-11882 Experimenting is a subclass of investigating

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22747-22747 "试验" is the printable form of experimenting in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22746-22746 "試驗" is the printable form of experimenting in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22745-22745 "experimenting" is the printable form of experimenting in english language

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3360-3360 The number 1 argument of GPW is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3327-3327 The number 1 argument of GPS is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3286-3286 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 3249-3249 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 4402-4402 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 3235-3235 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 4475-4475 The number 1 argument of TreatedUsersFn is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4502-4502 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 656-656 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 4045-4045 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 3029-3029 The number 1 argument of conversionEvent is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4532-4532 The number 1 argument of exclusive is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4219-4219 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 2878-2878 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 13372-13372 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 4025-4025 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 4115-4115 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 4238-4238 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 4072-4072 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 4144-4144 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 2899-2899 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 698-698 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 4256-4256 The number 1 argument of qualifiedExperiment is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4273-4273 The number 1 argument of qualifiedPageView is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4294-4294 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 678-685
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 669-676
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 660-666
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4558-4575
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4099-4104
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4031-4035
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4091-4096
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4084-4088
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3297-3316
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3258-3275
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4125-4136
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3996-4000
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 625-641
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 604-610
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4699-4716
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4053-4064
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4170-4181
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4445-4468
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4379-4394
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4667-4678
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 710-717
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 719-726
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 702-708
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4002-4012
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4412-4427

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 4608-4612
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4693-4697
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4667-4678
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4655-4659
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4661-4665
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13360-13365
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2959-2968


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners