A System of Knowledge Representation Based in Formulae of Predicate Calculus whose Variables are Annotated by Expressions of A "Fuzzy"Terminological Logic. - Rita Maria da Silva; Antônio Eduardo C. Pereira; Márcio L. Andrade Netto (IPMU, 1994)