Template:Sbv concept type

This is the 'sbv_concept_type' template. It should be called in the following format:

Explanation: The ‘Concept Type’ caption is used to specify a type of the entry concept. This is typically not used if the concept has no particular type other than what is obvious from the primary representation. ‘variable has type’ is implicitly for a binary fact type. concept.
 * A name is implicitly for an individual concept.
 * Any term is implicitly for an object type.
 * A fact type form is implicitly for a fact type.
 * For a fact type form, one placeholder implies a unary fact type and two placeholders imply a binary fact type. E.g.,
 * Where a definition formally gives a more general concept, the concept being defined specializes that more general

If more than one concept type is mentioned, then they are separated by commas. Order is insignificant. The concept type ‘role’ is commonly used where the primary entry is a term. The example below shows that the concept ‘logical operand’ is a role that is played by a logical formulation. Since the entry concept of a term is implicitly an object type, the additional indication that it is a role implies that it is, by definition, a situational role. logical operand Concept Type: role Definition: logical formulation upon which a given logical operation operates Any object type that specializes the concept ‘concept’ can be given as a concept type. The concept ‘obligation formulation’ is a logical formulation kind, which is defined below. logical formulation kind Definition: concept that specializes the concept ‘logical formulation’ and that classifies a logical formulation based on the presence or absence of a main logical operation or quantification obligation formulation Concept Type: logical formulation kind

Edit the page to see the template text.