TestProtocolSpecification - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

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

If X is an instance of test protocol specification, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of plan (3) Z is an instance of experimenting (4) W is an instance of process (5) Y expresses W (6) Z is a subprocess of W (7) X contains information Y