Practical Systems For Formalizing Scientific Terminology And Protocols