Are you sure that you are interpreting the word "subtype"
the way it is usually used? (02)
By definition, X is a subtype of Y if and only if
every instance of X is also an instance of Y. (03)
Therefore, "Employee < Person" or "Employee is as subtype of Person"
means nothing more nor less than every employee is a person. (04)
That is certainly true of most businesses. And if you wish to
allow mules to be considered persons, it would also be true
of the mining company. (05)
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (07)