# KEHOME/knowledge/applications/SemanticWeb/OpenCyc/Notes.Person.html # Sep/14/2003
set echo=off,kbmode=cyc; #$Person iss* ?; set kbmode=mke,CommentMode=cyc; do check od knit done; do simplify lattice od #$Thing done; do check od knit done; #$Person iss* ?; exit;
MKE caching changes processing time from hours to minutes.
RDF has no contexts, and explicitly permits this same contradiction.
TAP permits this contradiction.
MKE enforces the unit/concept dichotomy as a matter of principle. The "same thing" cannot be both a unit and a concept in the same context.
MKE uses disjoint, genus-differentia hierarchies/contexts. The "person isa* ?;" lattice has exactly 1 path from person to existent.