conclude action with the word not to remove a relation instance between two relation items or classes:
conclude that item is not relation-name item
For example, this button breaks a relation between
computer-1 and computer-2, which are instances of the COMPUTER class. In the relation definition, First-class and Second-class both specify the COMPUTER class.
![]() |
conclude that every computer
is not in-communication-with
every computer
Deleting a relation in this manner does not cause forward chaining in rules. For more information, see Invoking Rules when a Relation is Deleted.