Class
EXPERIMENTAL-RESULT
Subclass-Of
:
Information
Axioms:
(=> (
Experimental-Result
?Self) (Exists (?A) (And (
Outcome-Of
?Self ?A) (
Experimentation
?A))))
Defined in theory:
Social-objects
Source code:
Social-Objects.lisp