|
|
   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 | 子類 TestProtocolSpecification and 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 |
|
|
|
|