    # KEHOME/knowledge/applications/SemanticWeb/TAP/tapPerson.html
    # Sep/14/2003

# TAP: 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.
- The TAP KB contains a contradiction;
  it considers Person to be both a concept
  Person iss Agent;
  and a unit
  Person isu Class;

## Person iss* ?;

    ke$ Person iss* ?;
    Person
    \  Agent
    \\    Resource
    ke$

## Person isu* ?;

    ke$ Person isu* ?;
    Person
    \  Class
    \\    Resource
    ke$

MKE home