TestProtocolSpecification - Sigma Knowledge base Browser

appearance as argument number 1

(documentation TestProtocolSpecification EnglishLanguage "A Document that containsInformation about a Plan for a subProcess of an instance of Experimenting.")	UXExperimentalTerms.kif 2751-2752
(subclass TestProtocolSpecification Document)	UXExperimentalTerms.kif 2747-2747

appearance as argument number 2

UXExperimentalTerms.kif 2749-2749

antecedent

(=>
    (instance ?TPS TestProtocolSpecification)
    (exists (?PLAN ?EXPERIMENT ?PROC)
        (and
            (instance ?PLAN Plan)
            (instance ?EXPERIMENT Experimenting)
            (instance ?PROC Process)
            (represents ?PLAN ?PROC)
            (subProcess ?EXPERIMENT ?PROC)
            (containsInformation ?TPS ?PLAN))))

UXExperimentalTerms.kif 2754-2763