I had forgotten about the other problem with type, e.g.
John Doe type person
where
John Doe individualOf person
not
John Doe subClassOf person
============
Dick McCullough
knowledge := man do identify od existent done
knowledge haspart list of proposition