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



KB Term:  Term intersection
English Word: 

  experimentalControl

Sigma KEE - experimentalControl
experimentalControl

appearance as argument number 1
-------------------------


(documentation experimentalControl EnglishLanguage "(experimentalControl ?EXPERIMENT ?OBJ) means that the Object ?OBJ serves as a control in the instance of Experimenting ?EXPERIMENT, i.e. ?OBJ is the standard against which something else in the experiment can be compared.") Mid-level-ontology.kif 17316-17319
(instance experimentalControl CaseRole) Mid-level-ontology.kif 17320-17320 experimental control is an instance of case role
(domain experimentalControl 1 Experimenting) Mid-level-ontology.kif 17321-17321 The number 1 argument of experimental control is an instance of experimenting
(domain experimentalControl 2 Object) Mid-level-ontology.kif 17322-17322 The number 2 argument of experimental control is an instance of object
(subrelation experimentalControl patient) Mid-level-ontology.kif 17323-17323 experimental control is a subrelation of patient

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


(format EnglishLanguage experimentalControl "%2 is %n an experimental control of %1") domainEnglishFormat.kif 937-937
(format ChineseTraditionalLanguage experimentalControl "%2 %n 是 %1 的 experimental 控制") domainEnglishFormat.kif 938-938
(format ChineseLanguage experimentalControl "%2 %n 是 %1 的 experimental 控制") domainEnglishFormat.kif 939-939
(termFormat EnglishLanguage experimentalControl "experimental control") domainEnglishFormat.kif 22804-22804
(termFormat ChineseTraditionalLanguage experimentalControl "實驗控制") domainEnglishFormat.kif 22805-22805
(termFormat ChineseLanguage experimentalControl "实验控制") domainEnglishFormat.kif 22806-22806


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners