Qnames for individuals

I have just implemented the following 
convention in MKR/MKE.

    "i" is the qualifier for individuals.

"i" is short, so MKR readability is still good.
It's very useful for distinguishing individuals
and classes in hierarchy printouts.

Here's a brief example.

ke$ policeman,fireman,engineer iss person;
ke$ bob isu fireman;
ke$ dick isu engineer;
ke$ sue isu person;
ke$ person isc* ?;
man
/  engineer
//    i:dick
/  fireman
//    i:bob
/  policeman
/  i:sue
ke$

Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://rhm.cdepot.net/

Received on Saturday, 24 September 2005 21:23:14 UTC