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

Formal Language: 



KB Term:  Term intersection
English Word: 

  experimentalSubject

 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 3927-3929
(domain experimentalSubject 1 Experimenting) UXExperimentalTerms.kif 3921-3921 Le nombre 1 argument de experimentalSubject est une instance de Experimenting
(domain experimentalSubject 2 Human) UXExperimentalTerms.kif 3923-3923 Le nombre 2 argument de experimentalSubject est une instance de humain
(instance experimentalSubject CaseRole) UXExperimentalTerms.kif 3919-3919 experimentalSubject est une instance de r�le d�pendant du cas

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

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 3931-3942
(=>
    (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 4475-4488

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 4475-4488
(=>
    (qualifiedExperiment ?EXPERIMENT ?VISITOR)
    (and
        (instance ?EXPERIMENT ?CLASS)
        (capability ?CLASS experimentalSubject ?VISITOR)))		 UXExperimentalTerms.kif 4069-4073
(=>
    (treatedUser ?VISITOR ?EXPERIMENT)
    (experimentalSubject ?VISITOR ?EXPERIMENT))		 UXExperimentalTerms.kif 4013-4015


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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