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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Experimenting

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 12727-12729
No TPTP formula. May not be expressible in strict first order. Merge.kif 12726-12726 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 4407-4407 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 4480-4480 The number 1 argument of TreatedUsersFn is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4507-4507 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 4052-4052 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 4537-4537 The number 1 argument of exclusive is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4226-4226 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 15222-15222 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 4032-4032 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 4122-4122 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 4245-4245 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 4079-4079 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 4151-4151 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 4263-4263 The number 1 argument of qualifiedExperiment is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4280-4280 The number 1 argument of qualifiedPageView is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4301-4301 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 4563-4580
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4106-4111
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4038-4042
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4098-4103
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4091-4095
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 4132-4143
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4003-4007
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 4704-4721
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4060-4071
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4177-4188
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4450-4473
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4384-4399
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4672-4683
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 4009-4019
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4417-4432

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 4613-4617
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4698-4702
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4672-4683
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4660-4664
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4666-4670
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15210-15215
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2964-2973


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