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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 15717-15720
(domain experimentalControl 1 Experimenting) Mid-level-ontology.kif 15722-15722 Le nombre 1 argument de experimentalControl est une instance de Experimenting
(domain experimentalControl 2 Object) Mid-level-ontology.kif 15723-15723 Le nombre 2 argument de experimentalControl est une instance de objet
(instance experimentalControl CaseRole) Mid-level-ontology.kif 15721-15721 experimentalControl est une instance de r�le d�pendant du cas
(subrelation experimentalControl patient) Mid-level-ontology.kif 15724-15724 experimentalControl est une sous-relation de patient

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


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


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