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 4126-4128
(domain experimentalSubject 1 Experimenting) UXExperimentalTerms.kif 4120-4120 experimentalSubject 的 1 数量 是 试验instance
(domain experimentalSubject 2 Human) UXExperimentalTerms.kif 4122-4122 experimentalSubject 的 2 数量 是 人类instance
(instance experimentalSubject CaseRole) UXExperimentalTerms.kif 4118-4118 experimentalSubject格角色instance

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


(format ChineseLanguage experimentalSubject "%2 是在 %1 的 subject ") domainEnglishFormat.kif 3367-3367
(format ChineseTraditionalLanguage experimentalSubject "%2 是在 %1 的 subject ") domainEnglishFormat.kif 3366-3366
(format EnglishLanguage experimentalSubject "%2 is a subject in %1") domainEnglishFormat.kif 3365-3365
(termFormat EnglishLanguage experimentalSubject "experimental subject") UXExperimentalTerms.kif 4124-4124

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 4130-4141
(=>
    (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 4670-4681

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 4670-4681
(=>
    (qualifiedExperiment ?EXPERIMENT ?VISITOR)
    (capability ?EXPERIMENT experimentalSubject ?VISITOR))
UXExperimentalTerms.kif 4268-4270
(=>
    (treatedUser ?VISITOR ?EXPERIMENT)
    (experimentalSubject ?VISITOR ?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