    # KEHOME/knowledge/applications/SemanticWeb/OpenCyc/mkePerson.html
    # Sep/14/2003

# MKE: Person isa* ?;

### Notes

- "x isa* y" means "x iss* y" if x is a concept.
  "x isa* y" means "x isu* y" if x is a unit.
- context:
  tabula rasa
- identity:
  person is man;

## Person isa* ?;

    $ ke
    ...
    ke$ person isa* ?;
    man
    \  ANIMAL
    \\    entity
    \\\      existent
    ke$ exit;
    ...
    $

MKE home