Template
Types¶
template $tType¶
Describes the features that a single modelet should have for an engine to accept it as input.
- a semantic function signature
- properties and requirements of modelets
Source: engines-and-modelets.tff¶
template_set $tType¶
Some particular set of templates which describe the inputs to an engine.
Example
- {t1, t2, t3}
- {t2}
- {}
Source: engines-and-modelets.tff¶
Relations¶
template_has_concept_requirement (template>concept)¶
The concept symbolizing the phenomenon class of a template.
Source: engines-and-modelets.tff¶
template_formalism_requirement (template>formalism)¶
The formalism this template expects the phenomenon to be described by.
Source: engines-and-templates.tff¶
template_has_location_requirement (template>spacetime_point)¶
The time and spatial location a template refers to.
A template may have a specific temporal scope or expect an observation
at a specific spacetime_point.
Source: engines-and-modelets.tff¶
template_has_extent_requirement (template>extent)¶
The time and spatial extent a template covers. A template may expect an area/volume/duration of reference.
Source: engines-and-modelets.tff¶
template_has_creator_requirement (template>engine)¶
The engine a template requires a modelet to have been created by.
Source: engines-and-modelets.tff¶
is_in_template_set ((template*template_set) >$o)¶
Check if a template is a member of a template_set.