The existence of the Ontolingua language (based on KIF) in general and the Ontology Editor in particular has greatly facilitated the process of converting the natural language specification of the ontology into a formal language. We extend thanks to James Rice in particular and the team at KSL Services in general who were extremely helpful during the coding effort showing unusual commitment to our being satisfied users.
The choice of Ontolingua as a representation language has proved highly
suitable from the point of view of representational adequacy.
At this point, suitability from other vantage points, e.g. in the
software, remains largely untested.