:ADD-INSTANCE

Purpose

Creates a new instance.

(variable class): A variable to be bound to the new instance, and the class of the new instance.
clause*: Clauses to be asserted about the new instance. If a (:NAME ...) clause is included, the new instance will be created with the name given in that clause.

  (:ADD-INSTANCE (?t1 Trucks) (:NAME ?t1 "F-150"))
  (:ADD-INSTANCE (?mycat Cats)  (:NAME ?mycat "Shadow") (enemyOf ?mycat Rover))

Succeeds if the instance is successfully created.

Fails if the instance can not be created.

The class of the new instance must already exist.