Class EXPERIMENTAL-RESULT

Subclass-Of: Information
Axioms:
(=> (Experimental-Result ?Self)
    (Exists (?A) (And (Outcome-Of ?Self ?A) (Experimentation ?A))))