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
-------------------------


(documentation experimentalSubject 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 4114-4116
(domain experimentalSubject 1 Experimenting) UXExperimentalTerms.kif 4108-4108 The number 1 argument of experimental subject is an instance of experimenting
(domain experimentalSubject 2 Human) UXExperimentalTerms.kif 4110-4110 The number 2 argument of experimental subject is an instance of human
(instance experimentalSubject CaseRole) UXExperimentalTerms.kif 4106-4106 experimental subject is an instance of case role

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


(format ChineseLanguage experimentalSubject "%2 是在 %1 的 subject ") domainEnglishFormat.kif 3363-3363
(format ChineseTraditionalLanguage experimentalSubject "%2 是在 %1 的 subject ") domainEnglishFormat.kif 3362-3362
(format EnglishLanguage experimentalSubject "%2 is a subject in %1") domainEnglishFormat.kif 3361-3361
(termFormat EnglishLanguage experimentalSubject "experimental subject") UXExperimentalTerms.kif 4112-4112 "experimental subject" is the printable form of experimental subject in english language

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


(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (instance ?SUBJECT Human)
        (experimentalSubject ?EXPERIMENT ?SUBJECT))
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Process)
            (experiencer ?PROCESS ?SUBJECT)
            (or
                (experimentalControlProcess ?EXPERIMENT ?PROCESS)
                (experimentalVariableProcess ?EXPERIMENT ?PROCESS)))))
UXExperimentalTerms.kif 4118-4129
(=>
    (and
        (orthogonalTests ?TESTCOL1 ?TESTCOL2)
        (instance ?SUBJECT Human)
        (instance ?EXPERIMENT1 Experimenting)
        (member ?EXPERIMENT1 ?TESTCOL1)
        (capability ?EXPERIMENT1 experimentalSubject ?SUBJECT))
    (exists (?EXPERIMENT2)
        (and
            (instance ?EXPERIMENT2 Experimenting)
            (member ?EXPERIMENT2 ?TESTCOL2)
            (capability ?EXPERIMENT2 experimentalSubject ?SUBJECT))))
UXExperimentalTerms.kif 4661-4672

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


(=>
    (and
        (orthogonalTests ?TESTCOL1 ?TESTCOL2)
        (instance ?SUBJECT Human)
        (instance ?EXPERIMENT1 Experimenting)
        (member ?EXPERIMENT1 ?TESTCOL1)
        (capability ?EXPERIMENT1 experimentalSubject ?SUBJECT))
    (exists (?EXPERIMENT2)
        (and
            (instance ?EXPERIMENT2 Experimenting)
            (member ?EXPERIMENT2 ?TESTCOL2)
            (capability ?EXPERIMENT2 experimentalSubject ?SUBJECT))))
UXExperimentalTerms.kif 4661-4672
(=>
    (qualifiedExperiment ?EXPERIMENT ?VISITOR)
    (capability ?EXPERIMENT experimentalSubject ?VISITOR))
UXExperimentalTerms.kif 4257-4259
(=>
    (treatedUser ?VISITOR ?EXPERIMENT)
    (experimentalSubject ?VISTOR ?EXPERIMENT))
UXExperimentalTerms.kif 4200-4202


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