16. META SEGMENTS I
为了实现自解释,Socrates 系统包含一组元语义:
? subject is type
? predicate is subject
? is is predicate
? is objType subject
? objType is predicate
? objType objType subject
? type is subject
? string is type
? name is predicate
? name objType string
? storage is predicate
? storage objType string
? uri is predicate
? uri objType string
. . . . . .