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 13368-13371
(domain experimentalControl 1 Experimenting) Mid-level-ontology.kif 13373-13373 The number 1 argument of experimental control is an instance of experimenting
(domain experimentalControl 2 Object) Mid-level-ontology.kif 13374-13374 The number 2 argument of experimental control is an instance of object
(instance experimentalControl CaseRole) Mid-level-ontology.kif 13372-13372 experimental control is an instance of case role
(subrelation experimentalControl patient) Mid-level-ontology.kif 13375-13375 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 243-243
(termFormat EnglishLanguage experimentalControl "experimental control") domainEnglishFormat.kif 4223-4223 "experimental control" is the printable form of experimental control in english language


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