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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - experimentalSubject
experimentalSubject

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


s__documentation(s__experimentalSubject__m,s__EnglishLanguage,'"The CaseRole (experimentalSubject ?EXPERIMENT ?SUBJECT) means that ?SUBJECT is a Human who is the experiencer of either and experimentalControlProcess or an experimentalVariableProcess."')

UXExperimentalTerms.kif 4126-4128
s__domain(s__experimentalSubject__m,n__1,s__Experimenting)

UXExperimentalTerms.kif 4120-4120 The number 1 argument of experimental subject is an instance of experimenting
s__domain(s__experimentalSubject__m,n__2,s__Human)

UXExperimentalTerms.kif 4122-4122 The number 2 argument of experimental subject is an instance of human
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__experimentalSubject__m,s__CaseRole)

UXExperimentalTerms.kif 4118-4118 experimental subject is an instance of case role

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


s__format(s__ChineseLanguage,s__experimentalSubject__m,'"%2 是在 %1 的 subject "')

domainEnglishFormat.kif 3367-3367
s__format(s__ChineseTraditionalLanguage,s__experimentalSubject__m,'"%2 是在 %1 的 subject "')

domainEnglishFormat.kif 3366-3366
s__format(s__EnglishLanguage,s__experimentalSubject__m,'"%2 is a subject in %1"')

domainEnglishFormat.kif 3365-3365
s__termFormat(s__EnglishLanguage,s__experimentalSubject__m,'"experimental subject"')

UXExperimentalTerms.kif 4124-4124

antecedent
-------------------------


( ! [V__SUBJECT,V__EXPERIMENT] :
   (((s__instance(V__EXPERIMENT,s__Experimenting) &
         s__instance(V__SUBJECT,s__Human) &
         s__experimentalSubject(V__EXPERIMENT,V__SUBJECT))
     =>
     (( ? [V__PROCESS] :
         ((s__instance(V__PROCESS,s__Process) &
             s__experiencer(V__PROCESS,V__SUBJECT)
           &
           (s__experimentalControlProcess(V__EXPERIMENT,V__PROCESS)
           |
           s__experimentalVariableProcess(V__EXPERIMENT,V__PROCESS)))))))
)
)

UXExperimentalTerms.kif 4130-4141
( ! [V__SUBJECT,V__EXPERIMENT1,V__TESTCOL2,V__TESTCOL1] :
   (((s__subclass(V__EXPERIMENT1,s__Process) &
         s__instance(V__TESTCOL2,s__Collection) &
         s__instance(V__TESTCOL1,s__Collection))
       =>
       (((s__orthogonalTests(V__TESTCOL1,V__TESTCOL2)
           &
           s__instance(V__SUBJECT,s__Human) &
           s__instance(V__EXPERIMENT1,s__Experimenting) &
           s__member(V__EXPERIMENT1,V__TESTCOL1)
         &
         s__capability(V__EXPERIMENT1,s__experimentalSubject__m,V__SUBJECT))
     =>
     (( ? [V__EXPERIMENT2] :
         ((s__instance(V__EXPERIMENT2,s__Experimenting) &
             s__member(V__EXPERIMENT2,V__TESTCOL2)
           &
           s__capability(V__EXPERIMENT2,s__experimentalSubject__m,V__SUBJECT))))))))
)
)

UXExperimentalTerms.kif 4670-4681

consequent
-------------------------


( ! [V__SUBJECT,V__EXPERIMENT1,V__TESTCOL2,V__TESTCOL1] :
   (((s__subclass(V__EXPERIMENT1,s__Process) &
         s__instance(V__TESTCOL2,s__Collection) &
         s__instance(V__TESTCOL1,s__Collection))
       =>
       (((s__orthogonalTests(V__TESTCOL1,V__TESTCOL2)
           &
           s__instance(V__SUBJECT,s__Human) &
           s__instance(V__EXPERIMENT1,s__Experimenting) &
           s__member(V__EXPERIMENT1,V__TESTCOL1)
         &
         s__capability(V__EXPERIMENT1,s__experimentalSubject__m,V__SUBJECT))
     =>
     (( ? [V__EXPERIMENT2] :
         ((s__instance(V__EXPERIMENT2,s__Experimenting) &
             s__member(V__EXPERIMENT2,V__TESTCOL2)
           &
           s__capability(V__EXPERIMENT2,s__experimentalSubject__m,V__SUBJECT))))))))
)
)

UXExperimentalTerms.kif 4670-4681
( ! [V__EXPERIMENT,V__VISITOR] :
   (((s__instance(V__EXPERIMENT,s__Experimenting) &
         s__subclass(V__EXPERIMENT,s__Process) &
         s__instance(V__VISITOR,s__Human))
       =>
       ((s__qualifiedExperiment(V__EXPERIMENT,V__VISITOR)
         =>
         (s__capability(V__EXPERIMENT,s__experimentalSubject__m,V__VISITOR)))))
)
)

UXExperimentalTerms.kif 4268-4270
( ! [V__EXPERIMENT,V__VISITOR] :
   (((s__instance(V__EXPERIMENT,s__Human) &
         s__instance(V__EXPERIMENT,s__Experimenting) &
         s__instance(V__VISITOR,s__Human) &
         s__instance(V__VISITOR,s__Experimenting))
       =>
       ((s__treatedUser(V__VISITOR,V__EXPERIMENT)
         =>
         (s__experimentalSubject(V__VISITOR,V__EXPERIMENT)))))
)
)

UXExperimentalTerms.kif 4212-4214


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