(=> (instance ?MAKE Making) (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (result ?MAKE ?ARTIFACT))))
Kinds of Making :
Up: Creation