# KEHOME/knowledge/applications/SemanticWeb/TAP/tapPerson.html
# Sep/14/2003
TAP: Person isa* ?;
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