axioms for Thing and Nothing

This email reprises and restates my earlier comments
on OWL documents.

Paraphrasing http://rhm.cdepot.net/kb/tabrasa.html

Thing is Thing;
A isa Thing;  # any Thing
A is A;
A or not A is Thing;
A and not A is Nothing;

Nothing is not Nothing;  # contradiction
B is Nothing;  # any Nothing
B is not B;
B or not B is Nothing;
B and not B is Nothing;

Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;