Template IP: Assignment of indirect property

This page shows work in progress, and is intended as informative only.

See also: TemplateDescriptionIPC

Purpose of the template

Definition

Signature

The following table indicates what the roles (or "arguments"), are, and the requirements on entity types for each.

IDt

role names:	IP_PropertyBearer	IP_Property
entity types required:	Possible Individual	Property

Normative representation in first-order logic

Examples of expressions that this template should be able to represent

Graph illustrating an example