Ronald J. Brachman What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks. 30-36 1983 16 IEEE Computer 10 db/journals/computer/computer16.html#Brachman83