From d3e1f1500e08c0c7fb22e6b8ed0e682810ce3606 Mon Sep 17 00:00:00 2001 From: krasimir Date: Sun, 22 May 2016 11:34:17 +0000 Subject: [PATCH] add the sense id of familiar_with_A2 --- lib/src/translator/Dictionary.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/src/translator/Dictionary.gf b/lib/src/translator/Dictionary.gf index 7d2a76519..ac72f825a 100644 --- a/lib/src/translator/Dictionary.gf +++ b/lib/src/translator/Dictionary.gf @@ -20481,7 +20481,7 @@ fun fame_V2 : V2 ; fun familial_A : A ; -- 02940759 relating to or having the characteristics of a family; "children of the same familial background"; "familial aggregation" fun familiar_A : A ; -- 00965606 well known or easily recognized; "a familiar figure"; "familiar songs"; "familiar guests" fun familiar_N : N ; -- 10077106 a person attached to the household of a high official (as a pope or bishop) who renders service in return for support -fun familiar_with_A2 : A2 ; +fun familiar_with_A2 : A2 ; -- 01307067 well informed about or knowing thoroughly; "familiar with the complex machinery"; "he was familiar with those roads" fun familiarity_N : N ; -- 05817145 personal knowledge or information about someone or something fun familiarization_N : N ; -- 05758382 the experience of becoming familiar with something fun familiarize_V2 : V2 ; -- 00874175 make familiar or conversant with; "We familiarized ourselves with the new surroundings"