Making Comparison Table

Making comparison table

Subject documentation have axiom

Constructing The subclass of Making in which a StationaryArtifact is built
(<=>
(exists (?BUILD)
(and
(instance ?BUILD Constructing)
(result ?BUILD ?ARTIFACT)))
(instance ?ARTIFACT StationaryArtifact))

Cooking The Making of an instance of Food
(=>
(instance ?MAKE Making)
(exists (?ARTIFACT)
(and
(instance ?ARTIFACT Artifact)
(result ?MAKE ?ARTIFACT))))

Manufacture The Making of Artifacts on a mass scale
(=>
(instance ?MAKE Making)
(exists (?ARTIFACT)
(and
(instance ?ARTIFACT Artifact)
(result ?MAKE ?ARTIFACT))))

Subject	documentation	have axiom
Constructing	The subclass of Making in which a StationaryArtifact is built	(<=> (exists (?BUILD) (and (instance ?BUILD Constructing) (result ?BUILD ?ARTIFACT))) (instance ?ARTIFACT StationaryArtifact))
Cooking	The Making of an instance of Food	(=> (instance ?MAKE Making) (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (result ?MAKE ?ARTIFACT))))
Manufacture	The Making of Artifacts on a mass scale	(=> (instance ?MAKE Making) (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (result ?MAKE ?ARTIFACT))))