@@ -24,8 +24,6 @@ Used to collect the inputs to an [engine](engine.md).
24
24
The [ phenomenon] ( phenomenon.md ) symbolizing the * phenomenon* of a [ modelet] ( modelet.md ) .
25
25
!!! question "TODO"
26
26
rename from 'concept' to something else.
27
- !!! question "TODO"
28
- Should we call this the intrinsic purpose? (as opposed to the [ ` role ` ] ( role.md ) ).
29
27
###### Source: ` engines-and-modelets.tff `
30
28
31
29
### ** formalism_of_modelet** ` ( ` [ ** ` modelet ` ** ] ( #modelet ) ` > ` [ ** ` formalism ` ** ] ( formalism.md ) ` ) ` { #formalism_of_modelet data-toc-label='formalism_of_modelet' }
@@ -40,23 +38,29 @@ The date a [modelet](#modelet) was created.
40
38
This may be solved by integration with ` spacetime_point ` .
41
39
###### Source: ` engines-and-modelets.tff `
42
40
43
- ### ** modelet_location ** ` ( ` [ ** ` modelet ` ** ] ( #modelet ) ` > ` [ ** ` spacetime_point ` ** ] ( spacetime_point.md ) ` ) ` { #modelet_location data-toc-label='modelet_location ' }
41
+ ### ** modelet_has_location ** ` ( ` [ ** ` modelet ` ** ] ( #modelet ) ` > ` [ ** ` spacetime_point ` ** ] ( spacetime_point.md ) ` ) ` { #modelet_has_location data-toc-label='modelet_has_location ' }
44
42
The time and spatial location a [ modelet] ( #modelet ) refers to.
45
43
[ Modelets] ( modelet.md ) may have a specific temporal scope or make an observation
46
44
at a specific [ ` spacetime_point ` ] ( spacetime_point.md ) .
47
45
###### Source: ` engines-and-modelets.tff `
48
46
49
- ### ** modelet_extent ** ` ( ` [ ** ` modelet ` ** ] ( #modelet ) ` > ` [ ** ` extent ` ** ] ( extent.md ) ` ) ` { #modelet_extent data-toc-label='modelet_extent ' }
47
+ ### ** modelet_has_extent ** ` ( ` [ ** ` modelet ` ** ] ( #modelet ) ` > ` [ ** ` extent ` ** ] ( extent.md ) ` ) ` { #modelet_has_extent data-toc-label='modelet_has_extent ' }
50
48
The time and spatial [ extent] ( extent.md ) a [ modelet] ( #modelet ) refers to.
51
49
[ Modelets] ( #modelet ) may have an area/volume/duration of reference.
52
50
###### Source: ` engines-and-modelets.tff `
53
51
54
- ### ** role_of_modelet ** ` ( ` [ ** ` modelet ` ** ] ( #modelet ) ` > ` [ ** ` role ` ** ] ( role .md) ` ) ` { #role_of_modelet data-toc-label='role_of_modelet ' }
55
- The [ role ] ( role .md) a [ modelet] ( #modelet ) plays when used by an [ engine] ( engine.md ) .
52
+ ### ** modelet_has_representation_class ** ` ( ` [ ** ` modelet ` ** ] ( #modelet ) ` > ` [ ** ` representation_class ` ** ] ( representation_class .md) ` ) ` { #modelet_has_representation_class data-toc-label='modelet_has_representation_class ' }
53
+ The [ representation_class ] ( representation_class .md) a [ modelet] ( #modelet ) 's relation to its parents has after being created by an [ engine] ( engine.md ) .
56
54
!!! question "TODO"
57
55
This looks like it will turn out to be HOL.
58
56
###### Source: ` engines-and-modelets.tff `
59
57
58
+ ### ** modelet_has_creator** ` ( ` [ ** ` modelet ` ** ] ( #modelet ) ` > ` [ ** ` engine ` ** ] ( engine.md ) ` ) ` { #modelet_has_creator data-toc-label='modelet_has_creator' }
59
+ The [ engine] ( engine.md ) that created the [ modelet] ( #modelet ) .
60
+ ###### Source: ` engines-and-modelets.tff `
61
+
62
+
63
+
60
64
61
65
### ** is_in_modelet_set** ` (( ` [ ** ` modelet ` ** ] ( #modelet ) ` * ` [ ** ` modelet_set ` ** ] ( #modelet_set ) ` ) > ` ** ` $o ` ** ` ) ` { #is_in_modelet_set data-toc-label='is_in_modelet_set' }
62
66
Check if a [ modelet] ( #modelet ) is a member of a [ modelet_set] ( #modelet_set ) .
0 commit comments