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 12039-12041
No TPTP formula. May not be expressible in strict first order. Merge.kif 12038-12038 Experimenting is a subclass of 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 3362-3362 The number 1 argument of GPW is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3329-3329 The number 1 argument of GPS is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3288-3288 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 3251-3251 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 3237-3237 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 658-658 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 4047-4047 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 3031-3031 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 4221-4221 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 2880-2880 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 13400-13400 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 4027-4027 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 4117-4117 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 4240-4240 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 4074-4074 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 4146-4146 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 2901-2901 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 700-700 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 4258-4258 The number 1 argument of qualifiedExperiment is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4275-4275 The number 1 argument of qualifiedPageView is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4296-4296 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 680-687
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 671-678
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 662-668
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 4101-4106
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4033-4037
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4093-4098
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4086-4090
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3299-3318
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3260-3277
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4127-4138
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3998-4002
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 627-643
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 606-612
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 4055-4066
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4172-4183
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 712-719
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 721-728
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 704-710
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4004-4014
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 13388-13393
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2961-2970


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