TreeView Knowledge Base Browser - qualifiedExperiment

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
(domain qualifiedExperiment 2 Human)	UXExperimentalTerms.kif 4056-4056
(instance qualifiedExperiment BinaryPredicate)	UXExperimentalTerms.kif 4052-4052

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

antecedent

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

UXExperimentalTerms.kif 4061-4065