TestProtocolSpecification
|
|
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 | Test protocol specification is a subclass of document |
appearance as argument number 2 |
(termFormat EnglishLanguage TestProtocolSpecification "test protocol specification") | 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 |
|