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
. . . . . .