RELATION class. For a summary, see The Relation Class.
To create a relation definition:
![]() |
KB Workspace > New Definition > relation, and click to place the relation definition on the workspace.
Relation-name attribute to specify the relation's name.
First-class attribute.
Second-class attribute.
First-class are related to one or more items of the Second-class via the Relation-name. For more information, see Creating a Relation.
Choosing a Relation Name
When specifying the Relation-name attribute of a relation definition, choose a name that is descriptive and meaningful when read in a conclude action. Names attribute. The name of a relation is the symbol you provide in the Relation-name attribute. For a description of how you use the conclude action with relations, see Creating a Relation.
For example, you might conclude that a particular tank is
the-holding-tank-for another tank.
conclude that tank-1 is the-holding-tank-for tank-2
conclude that tank-1 is a-holding-tank-for tank-2
located-at a station:
conclude that bottle-1 is located-at washing-station