(2006)), an ISO standard for lexical resource modelling, and an LMF version of FrameNet exists.
we believe that our usage of a typed formalism takes advantage of a strong logical foundation and the notions of inheritance and entailment (cf.