qualifiedExperiment - Sigma Knowledge base Browser

appearance as argument number 1

(documentation qualifiedExperiment EnglishLanguage "(qualifiedExperiment ?EXPERIMENT ?HUMAN means that ?HUMAN has the capabilty of being the experimentalSubject of ?EXPERIMENT")	UXExperimentalTerms.kif 4058-4059
(domain qualifiedExperiment 1 Experimenting)	UXExperimentalTerms.kif 4054-4054	The number 1 argument of qualified experiment is an instance of experimenting
(domain qualifiedExperiment 2 Human)	UXExperimentalTerms.kif 4056-4056	The number 2 argument of qualified experiment is an instance of human
(instance qualifiedExperiment BinaryPredicate)	UXExperimentalTerms.kif 4052-4052	qualified experiment is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage qualifiedExperiment "%2 是 %1 的 qualified subject ")	domainEnglishFormat.kif 4294-4294
(format ChineseTraditionalLanguage qualifiedExperiment "%2 是 %1 的 qualified subject ")	domainEnglishFormat.kif 4293-4293
(format EnglishLanguage qualifiedExperiment "%2 is a qualified subject of %1")	domainEnglishFormat.kif 4292-4292
(termFormat EnglishLanguage qualifiedExperiment "qualified experiment")	domainEnglishFormat.kif 65967-65967

antecedent

(=>
    (qualifiedExperiment ?EXPERIMENT ?VISITOR)
    (and
        (instance ?EXPERIMENT ?CLASS)
        (capability ?CLASS experimentalSubject ?VISITOR)))

UXExperimentalTerms.kif 4061-4065