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 3919-3921
(domain experimentalSubject 1 Experimenting) UXExperimentalTerms.kif 3913-3913 The number 1 argument of experimental subject is an instance of experimenting
(domain experimentalSubject 2 Human) UXExperimentalTerms.kif 3915-3915 The number 2 argument of experimental subject is an instance of human
(instance experimentalSubject CaseRole) UXExperimentalTerms.kif 3911-3911 experimental subject is an instance of case role

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


(format ChineseLanguage experimentalSubject "%2 是在 %1 的 subject ") domainEnglishFormat.kif 3362-3362
(format ChineseTraditionalLanguage experimentalSubject "%2 是在 %1 的 subject ") domainEnglishFormat.kif 3361-3361
(format EnglishLanguage experimentalSubject "%2 is a subject in %1") domainEnglishFormat.kif 3360-3360
(termFormat EnglishLanguage experimentalSubject "experimental subject") UXExperimentalTerms.kif 3917-3917

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 3923-3934
(=>
    (and
        (orthogonalTests ?TESTCOL1 ?TESTCOL2)
        (instance ?SUBJECT Human)
        (instance ?EXPERIMENT1 ?CLASS1)
        (subclass ?CLASS1 Experimenting)
        (member ?EXPERIMENT1 ?TESTCOL1)
        (capability ?CLASS1 experimentalSubject ?SUBJECT))
    (exists (?EXPERIMENT2 ?CLASS2)
        (and
            (instance ?EXPERIMENT2 ?CLASS2)
            (member ?EXPERIMENT2 ?TESTCOL2)
            (subclass ?CLASS2 Experimenting)
            (capability ?CLASS2 experimentalSubject ?SUBJECT))))
UXExperimentalTerms.kif 4467-4480

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


(=>
    (and
        (orthogonalTests ?TESTCOL1 ?TESTCOL2)
        (instance ?SUBJECT Human)
        (instance ?EXPERIMENT1 ?CLASS1)
        (subclass ?CLASS1 Experimenting)
        (member ?EXPERIMENT1 ?TESTCOL1)
        (capability ?CLASS1 experimentalSubject ?SUBJECT))
    (exists (?EXPERIMENT2 ?CLASS2)
        (and
            (instance ?EXPERIMENT2 ?CLASS2)
            (member ?EXPERIMENT2 ?TESTCOL2)
            (subclass ?CLASS2 Experimenting)
            (capability ?CLASS2 experimentalSubject ?SUBJECT))))
UXExperimentalTerms.kif 4467-4480
(=>
    (qualifiedExperiment ?EXPERIMENT ?VISITOR)
    (and
        (instance ?EXPERIMENT ?CLASS)
        (capability ?CLASS experimentalSubject ?VISITOR)))
UXExperimentalTerms.kif 4061-4065
(=>
    (treatedUser ?VISITOR ?EXPERIMENT)
    (experimentalSubject ?VISITOR ?EXPERIMENT))
UXExperimentalTerms.kif 4005-4007


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