Knowledge Explorer News
No. 12
June 1, 1999

Knowledge Explorer version 3.7

1. parts have values
I decided that combining parts and groups is just not right.
I've gone back to my original notion of parts with values.
You can use part values in many different ways, e.g., as
unique part identifiers, part counts, etc. Here are some
examples:

    body haspart arm = [left arm, right arm]
    body haspart head=1, arm=2, leg=2
    TV set haspart picture tube = picture tube_123456

Group/member relationships remain as previously described,
and are independent of the whole/part and concept/unit
relationships.

The syntax for specifying characteristics (attributes, actions,
relationships) and parts is now the same, i.e.

    existent has attrname = attrvalue
    entity do actname = actvalue
    existent isin relname = relvalue
    existent haspart partname = partvalue

2. part values are sequences
Some values are sets, some are sequences. Explicitly,

    attribute value is a set
    action value (event) is a sequence
    relation value (infon) is a set
    part value is a sequence

3. more examples
Some more examples of different ways to use part values
are included in the KE download file, e.g.

    KEHOME/identify/brain.ku
    KEHOME/expense/psummary.ku