2020-08-11 13:55:39 +03:00
|
|
|
'new kind thing of object': ok
|
|
|
|
'new kind device of thing': ok
|
|
|
|
'new kind vehicle of thing': ok
|
2020-08-10 01:42:41 +03:00
|
|
|
'super of device': thing
|
|
|
|
'super of super of device': object
|
2020-08-12 01:59:29 +03:00
|
|
|
'super of super of super of device': sayable value
|
|
|
|
'join of thing and device': thing
|
|
|
|
'join of device and thing': thing
|
|
|
|
'join of device and object': object
|
|
|
|
'join of device and vehicle': thing
|
|
|
|
'join of thing and text': sayable value
|
2020-08-10 01:42:41 +03:00
|
|
|
'weaken thing': object
|
|
|
|
'weaken device': object
|
|
|
|
'weaken relation of things to texts': relation of objects to texts
|
2020-08-11 13:55:39 +03:00
|
|
|
'object <= text?': false
|
|
|
|
'object <= thing?': false
|
|
|
|
'thing <= object?': true
|
|
|
|
'device <= thing?': true
|
|
|
|
'device <= object?': true
|
2020-08-10 01:42:41 +03:00
|
|
|
'dereference number valued property': number
|
|
|
|
'dereference list of number valued properties': list of numbers
|