A

MINIDICIONÁRIO ESCOLAR DA LÍNGUA PORTUGUESA - 2015 - DERMIVAL RIBEIRO RIOS - SÃO PAUL - EDITORA DCL

a- (letra = F) ou ~pronome ou ~preposição ~artigo; 

aba- F;

abacate- F;

abacaxi- F;

abade- ~profissão, ~título;

abadessa- ~profissão, ~título, ~gênero; 

abadia- F, /l;

abafado- F;

abafar- >.F;

abaixar- F, (x>   ) onde o leitor é o observador;

                       x

abaixo- y  "x está abaixo de y, onde o leitor é o observador";

             x

abaixoassinado- i(~pessoas^x);

abalado- x.s.m ou F ou x, /l.'x>/l°.x>/l.x';

abalar-  >.s.m ou F ou /l.'x>/l°.x>/l.x';

abalizar- fazer ter marcas, balizas, medir = >.F, >.i(_x);

abalo- nome de abalar = i(abalar);

abalroar- F;

abanador- F;

abanar- F;

abancar-se- F;

abandonar- '(x>y.b), x°>y.b ou '(x>/x.y), (x°>/x.y);

abandono- i('(x>y.b), x°>y.b ou '(x>/x.y), (x°>/x.y));

abarcar- F ou /x.y;

abarrotado- x está abarrotado = x°.y, °.z, z.(>x.y) ou _x ou #x maior do que p; 

abarrotar- nome de ação de afazer algo ficar abarrotado = i(x°.y, °.z, z.(>x.y) ou _x ou #x maior do que p);

abastado- x, x.[F], _[F] maior do que p;

abastar- nome de fazer x ter _[F] maior do que p = i(>x. _[F] maior do que p);

abastecer- >x.F.b;

abastecimento = nome de >x.F.b = i(>x.F.b);

abater- >x°.F, >x.m;

abatimento- i(>x°.F, >x.m);

abdicar- '(x.[y]), x>x°.[y];

abdômen- F;

abdominal- F, (dor abdominal = F.m);

abduzir- >/l°.x, x°.(^/l°.x);

abecedário- (F = imagem, som, escrita), (i(som) = i(F));

abelha- F;

abelhudo- curioso, indiscreto, intrometido = x.(^.iy), x.i((z°=y)>y°^>z.iy) ou x°.(>x.i((z°=y)>y°^>z.iy));

abençoar- >.b ou x>y.i(x^y.b);

aberração- x é uma aberração em relação a uma característica c = _x (de c) menor do que p, x>.s.m;

aberrar- >.aberração;

aberto- x.abertura; 

abertura- F, .abertura>(.y,y.(>/x.z));

abespinhar- s.m, x°^y, .y>x.s.m;

abiscoitar- F;

abismado- s, x.i(°.y), .y>x.s;

abismar- >.s;

abismo- F, _x maior do que p;

abjeção- s.m;

abjeto- >s.m, _s.m maior do que p;

abjudicar- '(x>x.[y])>.m, z>.i>(>x°.[y]);

abjurar- '(x.i(.y), '(x.i(.y)>x.s.b), x>z.i(x.i(°.y)), #z maior do que p;

ablação- F;

ablativo- >(.>F);

ablução- F, (x>F)>x.(s.b e i(>x°.m));

abnegação- (x>x°.(^.F), x^>.b;

abnegar- >.abnegação;

abóbada- F;

abobadar- >.abóbada;

abobado- x°.(i.b ou .iy e °.y)>x°>.b;

abobar- >.x°.(i.b ou .iy e °.y);

abóbora- F;

abocanhar- F;

aboletar- dar ordem escrita ou abrigar/alojar = >x.i((x°>y)>(x.m)) ou >/l.x;

abolição- x>(y>z), y.i(y°>z>y.m), k>(x°>(y>z)), k>y.i(y°>z°>y.m);

abolir- >.abolição;

abominar- x>.i(y>x.s.m), _s maior do que p;

abominável- =y no caso acima;

abonado- x, x.abono;

abonar- >.abono;

abono- (x>y)>x.[F];

abordagem- de uma pessoa y por outra pessoa x = x>y.i(x^(y.iz ou y>z)); 

abordar- >.abordagem;

aborígene- F;

aborrecer- >.s.m;

aborrecido- s.m;

abortar- >.aborto;

aborto- F;

abotoado- .abotoadura;

abotoadura- F, .abotoadura>.(>F);

abotoar- >.abotoadura;

abracadabra- a, .i(y°.>z), x>.i(a, .a>(x.>z));

abraçar- >.abraço;

abraço- F, (x>F)>x>y.i(x^y.s.b);

abrandar- >_(x>y) menor do que p; 

abranger- .i ou .;

abrasador- x, x>.F;

abrasar- >.F;

abreviar- >.abreviatura;

abreviatura- x>.iy, >_x menor do que p, x'>.iy; 

abricó- F;

abridor- x, x>.~abertura;

abrigar- (>/l.x)>(x.b);

abril- _F;

abrilhantar- >.F ou >(x.(>.b));

abrir- >.~abertura;

abrogar- x>(y>z), y.i(y°>z>y.m), k>(x°>(y>z)), k>y.i(y°>z°>y.m);

abrupto- x.i(_(>.y)=t), _(>.y) menor do que t e menor do que p;

abrutalhado- _(x>y) maior do que p ou x>.s.m ou x>.m;

abscesso- F;

absenteísmo- i(>.~abstinência);

absinto- F;

absolutismo- .x, (x°^(y>z))>y°>z, (x^(y>z))>y>z;

absoluto- x no caso acima ou (>.y)'>(x.(>y));

absolver- (x>.m)>(x.m)', x>.m, (y°>x>.m)';

absorto- x>x.iy, °.z e z>(x°>x.iy)';

absorver- x>(x'.y);

abstêmia- x>x.abstinência, x é ~feminina; 

abstêmio- x>x.abstinência, x é ~masculino;

abster- x.[>y], x°>y ou >.abstinência;

abstinência- x.(>.m), x°>.m;

abstração- x abstrair sobre y = x>x.i(y);

abstrato- .abstração;

absurdo- >.s ou >.s.m ou (>.i(.x))>(.i(°.x));

abundância- #x maior do que p;

abundante- x, x.abundância;

abundar- >.abundância;

abrupto- _(>x) maior do que p;

aburguesar- >x.(>x.[y]), >x.[F];

abusar- >.abuso;

abusivo- x, x>.abuso;

abuso- x°^(y>z), y>z ou (y>z)>.m ou (y°.[>z], y>z); 

abutre- F;

acabado- y, .i(x>(y1, y2...yn)>(x>y)>(x>(y1, y2...yn)), x>yi>x>yi+1), x>y;

acabar- x>y, .y;

acabrunhar- >.s.m;

academia- /l, (/l.x)>(x.iy);

acadêmico- x, ~academia.x;

açafrão- F;

acalcanhar- F;

acalentar- >°.s.m ou F;

acalmar- >°.s.m, >x°.(^>y.m);

acalorar- >.F ou >.s.b;

acamado- (x.m)>(/l.x); 

acamar- (.i(x.m))>(/l.x) ou >/l.x;

açambarcar- x.[y]>x.b, z>z.[y], (x°=z)>z>(x°.[y]);

acampamento- /l, x^(/l>(y.F, y.b));

acampar- >.~acampamento;

acanalhar- >(x>m, x^>m);

acanhado- .~acanhamento;

acanhamento- s, (x.s)>x°^(y.ix, /l.x);

acanhar- >.~acanhamento;

acantonar- F;

ação- F ou >x;

acarear- acarear x e y sobre z = x.i1z, y.i2z, i1z°=i2z, k>.i(.i1z ou i2z); 

acariciar- F;

acarretar- > ou .x>.y;

acasalar- F;

acaso- (z>y)>x°.iz;

acastelar- F;

acatar- x>y.i(x^y>z)>y>z;

acautelado- x no caso abaixo;

acautelar- (x.i((x>y).(>x.m)))>(x°>y ou (x>y e (x>z).(>x°.m)); 

acavalar- >/l.x, #x maior do que p;

aceder- aumentar ou concordar = ((>x.y)>_x menor do que_x') ou (x>.i1y, z>.i(z.i1y));

aceitar- x>y.i(x^(>y.[z]), x>y.i(x^.i(y^[z] ou y°^[z]), y>x.i(y^[z])> x>y.[z];

aceitável- no caso acima z é aceitável para y;

aceite- aceitar [F], .[F]>_[F'] maior do que [F];

aceito- eu aceito ou foi aceito = (y no caso "aceitar" acima, y=~eu, y>.i(y^.[z])) ou (z no caso "aceitar");

acelerar- >.F;

acenar- >.~aceno;

acendedor- x, (y.x)>(y.(>.F), '(z>.x), '(z^.x>(>.F)); 

acender- F;

aceno- i, x>y.i(x^y.b ou x^y.iz);

acento- i(y), x.i(y)>(x.i(x>.z, z.i(y), x°>.F)>.m);

acentuação- >.~acento ou i(>.~acento);

acentuar- >.~acento;

acepção- ix, x.y>.i(y);

acerbar- >.s.m ou >_F maior do que p;

acerbo- F;

acerca- x fala acerca de y = x>.i(y);

acercar- F, >x.(/l);

acertado- y no caso ~acerto;

acertar- >.acerto;

acerto- >.b ou x^y, x.i((>z).(>.y)), (x>z)>.y;

acervo- F, _#F maior do que p;

aceso- F;

acessível- .~acesso;

acesso- x é um acesso para y = .x>z.(>z.y ou >/y.z ou >z.[y]);

acessório- x, .x>y.(>z) ou (.(x,w)>y.(>z) e .w>y.(>z) e _(yxw>z) menor do que _(yx>z));

acetinado- F;

acha- '(x^.i(/y)), x>x.i(/y) ou x.i(k) "acha algo a respeito de k, opinião";

achacar- >.i, .i>.m;

achado- y no caso acima;

achaque- F, s.m ou >.m;

achar- x^.i(/y)>x>x.i(/y) "localizar";

achatar- F, >_x menor do que p;

achegar- x se achega a y = x>/y.x e (x>/y.x)>.s.b;

achincalhar- x.i(>y.iz)>y.i(z.m ou z>.m), (x^>z.s.m)>x>y.iz; 

acidentado- x em ~acidente;

acidental- é acidental = é acidente = tem ~acidente;

acidente- (y.y>x.m)>x°^(y.y), x°.i(y.y)', y.y;

acidificar- >.F;

acidez- _F;

ácido- F;

acima- x está acima de y onde o leitor é o observador = x

                                                                                         y

acinte- y no caso abaixo;

acintoso- x.i((x>y)>z.s.m, zº^(y.y)), (x^>z.s.m)>x>y;

acionar- x>y>z ou x>y.i(x^y>z ou y>z>.b);

acionista- x, (x.[y]).(>_[y'] maior do que _[y]);

acirrar- >x.iy>x.s.m, >y.ix>y.s.m, >_s maior do que p;

aclamar- >.i(x.b), _(>.i(x.b)) maior do que p;

aclarar- >.F ou >.i;

aclimar- >.F ou (habituar = >x.i(>y);

aço- F;

acobertado- x no caso abaixo;

acobertar- F ou >/l.x>x°.m ou ('x>m, y.i('x>m)>y>x.m, z°^x.m, z>y°.i('x>m);

acocorar-se- F;

açodar- >_F maior do que F' ou (precipitar-se = (x>y, _>y maior do que p)>.m);

ações- [F] ou y, x>y;

açoitar- >.~açoite;

açoite- F>.m;

acolá- f>r.i(/l, /l°=/f, /l°/r);

acolchoado- F;

acolchoar- >.F;

acolher- >.~acolhida;

acolhida- x^(/l.x), /l.y, (/l.x)>y>x.F;

acometer- >x.m;

acomodado- x, x.i(x.[y]>x.b), (z°=y)°>x^[z];

acomodar- x>(/l.y)>x.b;

acompanhar- (x>/l.x)>(y>/l.y), ou (x>.iz)>(y.iz);

acondicionar- >/l.x>x.b ou (>.condicão = >.((.x>.y),(°.x>°.y)); 

aconchegar- >/l.x. (/l.x)>x.b;

aconselhar- x^y.b, x.i(y.iz>y.b), x>y.iz;

acontecer- fazer ter ~acontecimento = >.x;

acontecimento- ser, existir, fato = x.x ou .x;

acordado- não dormindo ou de comum acordo = F ou w e z em ~acordar;

acórdão- F>.i((x>y>x.z)>.b, (x>y°>x.z)>.m), F^y;

acordar- sair do sono ou entrar em acordo = F ou (x^w, y^z, y.(>.w), x.(>.z), x>y.i(x^w), y>x.i(y^w), x>y.i((y>.w)>(x>.z))', y>x.i(y>.w)';

acorde- nota musical ou ordem para acordar = (F ou i) ou (x>y.i(x^y>F, (y°>F).(>y.m ou >x.s.m));

acordo- i(~entrar em acordo);

acorrentar- F;

acorrer- acudir, socorrer = x.i(y>z.m, >w>y°>z.m)>(x°^y.m)>x>w;

acossar- machucar ou perseguir = F ou (y^>x.m, (x>/l.x)>(y>/l.y), /l.(x,y)>y>x.m;

acostumado- .x°>y.s, 'y.i(.x, x);

acostumar- >x.iy ou >/x.y>x.iy;

açougue- /l, /l.x>x.m, y^/l>(x.m, y.b, F);

acovardar- >x.i(y.(>x.m))>x.s.m;

acre- F ou /l;

acreditado- z, x>y.i(z, x.i(.z))>y.i(.z) ou >.[F];

acreditar- x>y.i(z, x.i(.z))>y.i(.z) ou >.[F]

acrescentar- >.~acréscimo;

acrescer- >.~acréscimo;

acréscimo- z, (x>y'.z ou x>y.[z] ou x>_y maior do que p);

acrimônia- >.s.m ou >.i.m ou F;

acrobacia- F;

acrobata- x, x>.F>x.[y], x^.[y];

acromático- F;

acróstico- i;

acuar- >(/l.x, x°.(>/l.x)) ou >x°.(>x°.m);

açúcar- F;

açucarado- .~açúcar, _açúcar maior do que p;

açucareiro- x, x.~açúcar, .x>.(>y.~açúcar); 

açucena- F;

açude- x, y^/x.F, .x>(y.F);

acudir- x.i(y.m), x°^y.m, x.i(x>z>y°.m), x>z; 

acuidade- x.(>y), _(x.(>y)) maior do que p;

açular- x>y.(^>z.m);

acumulador- x, x>x.[F], (xº.[y])>x^.[y];

acumular- x>x.[F], x^_[F'] maior do que _[F], (xº.[y])>x^.[y];

acurado- '(x^>.y), (x°^(z°=y), x>.y ou x>_(y.>z) maior do que p;

 

acurar- >y no caso acima ou >_(y.>z) maior do que p;

acusado- y, x>.i('y>m);

acusar- >.i(x>m);

acusativo- relativo a ~acusar ou (palavra no caso acusativo "quem sofre a ação", isto significa dizer que ela cumpre a função de objeto direto, exemplo: construiu a casa - aqui a palavra "casa" está no caso acusativo. Mais genericamente temos x>y, y está no acusativo); 

acústica- F ou i;

adaga- F, .x>.(>y), 'z>x, z^(.x)>z.(>y);

adágio- ditado popular com fundo moral = ix, y.ix, #y maior do que p, ix.b;

adaptar- >x.iy ou >/y.x>x.iy ou >x.(>/y.x ou >z);

adega- F;

adejar- voar = F;

adelgaçar- F, >_x menor do que p;

ademais- .ix, (ademais y = >.i(y, y°=x)); 

adendo- ~ademais, F;

adensar- F, >_x maior do que p; 

adentar- F;

adentrar- x>/l.x;

adepto- x, x.~adesão;

adequado- (>x)°>.m, (>x)º>.s.m; 

adereçar- x^(.z>.s.b) ou x.i(.z>.s.b), x>y.z;

aderência- F, _x;

aderir- >.~adesão;

adernar- F;

adesão- x>y.i(x^i(y^z ou y°^z) e k^z), y>x.i(y^z);

adesivo- x, (y.x)>(y.>F);

adestramento- >x.i(>y), >x°.^;

adestrar- >.~adestramento;

adeus- x>y.i(/y°.x');

adiado- y, .i(.y'), x>.i(º.y', .y'');

adiantado- x, /~adiante.x ou (y^(x>z, (_x>z)=p) e _x>z menor do que p);

adiantamento- x.i((x>y)>(x'.[z])), >x.[z];

adiantar- >/~adiante.x ou y^(x>z, (_x>z)=p) e x>(_x>z) menor do que p);

adiante- /x' ou /y, dxy maior do que p;

adiar- .i(.y'), x>.i(°.y', .y''); 

adição- i, x+y=#(xy), mais especificamente:

| = Unidade identificada por um traço;

||.2.|| = ||.2 e 2.||  (|| = | e |);

|||.3.||| (||| tem 3 e 3 tem |||); (...)

(|.x)>x.| (Por definição a unidade é indivisível para os números naturais).

As operações aritméticas podem se derivar a partir da TNL da seguinte forma:

Soma: a+b = °(0.b.0)>(a.| b°.|)

“Se b não é zero, então faça a ter | e b não ter |”.;

adicional- (.x, >.y, y°=x) ou (x.[y], >x.[z], [z]º=[y]); 

adicionar- >.~adição ou >x.y;

adido- y ou [z] no caso ~adicional ou (x, /l°.x, >/l.x);

adimplente- x, '(x>y.i(x>y.[z])'), (x>y.[z])';

adiposo- tem gordura excessiva ou tem gordura = (.x, _x maior do que p) ou .x;

adir- >.~adido;

aditamento- i(>~adição ou >.~adido) ou (.ix, >.iy, ix°=iy);

aditar- >~adição ou >.~adido;

adivinhar- x>.iy', .y';

adivinho- x no caso acima;

adjacência- vizinhança, proximidade = adjacência de x = /y, /y./x, dxy menor do que p;

adjacente- x, /~adjacência.x;

adjetivar- x é musculoso = x.músculos e _músculos maior do que p = >.i(x.y), >.iy;

adjetivo- y no caso acima;

adjudicar- decisão judicial sobre posse =  k.i(k.[z]), y.i(y.[z]), x>.i(y.[z], k°.[z]);

adjunto- unido, próximo ou quem auxilia = (x, dxy menor do que p) ou (x, (xy)>z);

adjutório- i(~ajuda);

administrar- x>y>(x.[F]) ou x>y>.b ou x>(y>z); 

admirado- y, (x.iy)>x.s.b;

admirar- (x.iy)>x.s.b; 

admirável- y, ((x.iy)>x.s.b).b;

admissível- y, (x>y)°>(z.s.m ou z^°y);

admitir- (x>y)°>(z.s.m ou z^°y);

admoestar- avisar = x>y.i((y>z)>(y'.m));

adoçar- >.F;

adoecer- x>y.F, F.m;

adoentado- y no caso acima;

adoentar- = ~adoecer;

adolescência- x, _x maior ou igual a 12 anos e menor do que 18 anos;

adolescente- x no caso acima;

adorar- x>.i(y>x.s.b, y.b, y>.b), x.i((x>z)>(y.s.b))>x>z;

adorável- y no caso acima;

adormecer- F;

adornar- >.~adorno;

adorno- y, x.y>.s.b, z.i(x.y)>(z.s.b ou z.i(x.b));

adotar- '(x>.y, x>y.b), x°>y.b, z>y.b ou ~usar ou ~.i(.x);

adotivo- filho adotivo = y no caso acima;

adquirir- x>x.[y];

adrede- de propósito, de caso pensado = x.i(>y>z), x^z, x>y;

adstringência- F;

adstringente- >.~adstringência;

aduana- /l, (/l.F, x.[F])>y>x.i(x>/l.[z]>x.(>/l°.F) ou x.(>/l°.F));

aduaneiro- y no caso acima;

adubar- >.adubo;

adubo- F;

adular- x>.i(y.b, y>.b, y>x.s.b) e _(x>.i(y.b, y>.b, y>x.s.b)) maior do que p;

adulterar- x>y.iz, °z;

adultério- F, x.[y], x.i((y>z.k)>(z=x), (z°=x)>.m), y>z.k, z°=x;

adulto- _x maior do que 18;

adunco- F;

aduzir- argumentar ou conduzir = >.i(.x) ou (>/l.x ou >x.i(>/l.x));

adventício- forasteiro ou inesperado = (x, /l.'x, /l°.x) ou (.i(°x'), x');

advento- .i(°x'), x';

adverbial- .~advérbio;

~advérbio;

adversário- x, x>.~adversidade;

adversidade- (x, x>_(y>z) maior do que p) ou ((y°>x)>y°>z);

adverso- .~adversidade;

advertência- i no caso abaixo;

advertir- x>y.i((y>z)>(y'.m));

advir- y advém de x =.x>.y;

advocacia- i(>y), (x>.y)>x.[F], .y>.i(z.[k] ou z°.[k]);

advogado- >.~advocacia;

advogar- >.~advocacia;

aéreo- x, /l.x, dlc maior do que p;

aerodinâmica- iF;

aeródromo- /l, '(x>./l, x^(./l>y.>z));

aerofobia- (/l.x)>x.s.m, /l no caso ~aéreo;

aerólito- meteorito = F;

aeronauta- x, x.(>/l.x), x.i(>/l.x) no caso ~aéreo;

aeroplano- F;

aeroporto- /l;

aeróstato- F;

afã- empenho = _F maior do que p ou _(^(>y)) maior do que p;

afabilidade- cortesia = x>.b, x>.ib; x>.s.b, x°>.m;

afagar- >.~afago;

afago- F, (x.F)>x.s.b;

afamado- famoso = x, #(y, y.ix) maior do que p;

afastado- dxy maior do que p;

afastar- >.~afastado;

afável- >.~afago;

afazeres- z, (x>y)>(z.y);

afecção- F, .F>.m;

afeiar- (>x.y)>(_x menor do que p);

afeição- (.x)>y.sb, y^(x.b);

afeiçoar-se = >.~afeição;

afeito- ~acostumado;

afeminado- F;

aferente- que conduz ou leva = x, x>/l.y;

aferir- >.i(x>.i(_y));

aferrar-se- F;

aferrolhar- F ou >(/l.x, x°.>(/l°.x));

aferventar- F;

afetação- >z, x^(y.s), x.i(x>z>y.s), x>z, 'x°>z;

afetado- y no caso acima;

afetar- x^(y.s), x.i(x>z>y.s), x>z, 'x°>z;

afetivo- x, x.~afeto;

afeto- s.b, F;

afetuoso- x, x>.s.b, x>.F;

afiado- F, _F menor do que p;

afiador- y, x.y>x.(>F);

afiançar- dizer com certeza ou garantir/responsabilizar-se = x>.i(y, .y) ou x>.i((y°>z)>(x>z));

afiar- >.~afiado;

aficionado- entusiasta de y = .y>x.s.b, x^(.y, x.iy);

afigurar-se = ter uma forma semelhante ou representar uma forma = (ix=iy) ou (d(ix,iy) menor do que p) ou >.i;

afilado- ~afiado ou (fino = x, _x menor do que p);

afilhada- >F>x.[y], z.i(x.[y]), x°.z; 

afilhado- >F>x.[y], z.i(x.[y]), x.z;

afiliar- x filia-se à z = x>z>(x.[>y] ou x.[y]);

afim- afinidade = (x.i(z.b), y.i(z.b)), x.i(y.i(z.b))>x.i(y.b);

a fim de- x faz y com o objetivo de z = x.i(>y>.z), x^z, x>y;

afinal- finalmente = x.i(°.y, °.'y), z>x.i(.y)>x.s; 

afinar- >.~afilado;

afincar- F;

afinco- x^>y, _((x>y), x^y) maior do que p;

afinidade- ~afim;

afirmar- x>.i(.y);

afirmativa- i(.y);

afirmativo- sim = x>y.i(x^.i(y^z ou y°^z))>y>x.i(y^z);

afivelar- F;

afixar- F;

aflição- s.m;

afligir- >.m;

aflorar- F;

afluência- F;

afluente- F;

afluir- F;

afluxo- F;

afobar- (x>y.s.m)>(y>z, _(y>z) menor do que p); 

afofar- F;

afogadiço- F;

afogadilho- y em ~afobar;

afogado- F;

afogador- x, x>.~afogado;

afogamento- (>.~afogado);

afogar- >.~afogado;

afoguear- F;

afoito- y em ~afobar;

afonia- F;

afônico- F;

afora- do lado de fora = °/l;

aforar- >afora.x;

aformosear- (>x.y, z.ix)>z.s.b;

aforrar- dar liberdade = >x.(>/l.x, >/lº.x); 

afortunado- rico ou sortudo = (x, x.[y], _[y] maior do que p) ou (_(x'.b) maior do que p);

afresco- i, .b;

afretar- ~alugar;

áfrica- /l;

afrodisíaco- >.^(>F), >.s.b;

afrontar- x^>y, z>x.i(z°^(x>y)), z.i((z>k)>x°>y), z>k;

afrouxar- F, >_x menor do que 'x;

afugentar- (x^/l°.y)>(x>(y.s.m ou y.m e y.i(/l.y>y.m)))>(y>/l°.y);

afundar- F;

afunilar- F;

agachar- F;

agarrar- F;

agasalhar- F;

agastar- ~aborrecer;

agenda- i(x');

agente- x, x>y;

agigantar- >_x maior do que p;

ágil- x, _(x>y) maior do que p;

agiota- x, y>x.i(y^y.[z])>(x>y.([z] e i((y'°>x.[z'], _z' maior do que _z)>y.m));

agir- >;

agitado- _(x>y) maior do que p;

aglomerar- _(>/l.x) maior do que p;

aglutinar- F;

agnosticismo- i(.y>(x.iy)>°.x);

agonia- s.m ou F.m;

agora- /l = um local no presente;

agosto- _F;

agourar- >.i(x');

agraciar- >x.b;

agradar- >x.s.b

agradecer- '(x.y), z>x.i('(x.y)>(z.s.b ou z.b); 

agrado- (x^y.s.b, x.i((>y.[z])>y.s.b)>x>y.[z]);

agrário- F, iF;

agravar- y.m, x>_m' maior do que m;

agredir- x^(y.m), x.i((>.F)>y.m), x>F; 

agregar- >/l.x ou >x.y;

agremiação- /l, x.[y]>x.[/l];

agrupar- (x.y, /lº.y)>/l.y;

aguardar- (/l°.x)>y>/l.y;

aguçar- F ou >_x maior do que _'x ou >.^(.i);

aguentar- F ou x>y.m, y°>(x°>y.m);

aguerrido- x.i((/l.x).(>x.m))°>x.s.m;

ah- s.m;

ai- s;

aí- f>r.i(/r.x);

ainda- .'y, .y, '(x.i(°.y)), _ '(x.i(°.y)) maior do que p;

ajeitar- x>y.b ou x>(y.(>z), _y(.>z) maior do que p);

ajoelhar- F, x>F>y.i(x.i(y.(>x.b ou>x.m)));

ajudar- x>y, z^>x.b ou z^(_>y menor do que p), z.i(>k>(_>y menor do que p))>z>k;

ajuizar- >.i(x.b ou x.m);

ajuntar- ~agrupar;

ajuramentar- >x>.i(x'>y);

ajustar- ~ajeitar;

ala- F;

alardear- (x^z.(ix.b))>x>.iy, _(iy) maior do que _y; 

alargar- >dx'y' maior do que dxy;

alarido- clamor = ~pessoas>.i(.m);

alarmar- >.ix, _ix maior do que _x, ix>.s.m;

alastrar- (/lº.y, yº.x, x~c)>y.x;

albergue- /l, '(x>./l), x^(/l.y>y.[z]);

álbum- i;

alçada- /l, (/l.y>(x.>z)) ou k, (k.y>(x.>z));

alçar- F;

alcaguetar- x>.i('y>m);

alcançar- (x>dxy menor do que p, y>/y'°=/y) ou (x>/y.x, y>/y'°=/y) ;

alcance- /l, (/l.y>(x.>z)) ou (k=x', º.k');

alcoólatra- x.^F, _(x>x.F e ^x.F) maior do que p;
alcovitar- x^(y>z.F, z>y.F), x.i(x>w>(y>z.F, z>y.F)), x>w;

alcunha- nome de x = F e (f>/y.n)>/y.i(n e f^~atenção de x), atenção = F, s, (x presta atenção em y = x>x.iy);

aleatório- (/l.y')>x°.iy'; 

alegar- x>.i('y>m), y>.i('yº>m);

alegoria- x, .x>.iy, x°=y;

alegria- s.b;

aleluia- i(s.b);
além- além de x = (/l, /l°.x) ou (/l°=/x) ou (y após x = (°.x)'>.y);

alento- F ou x.i(y.s.m)>x^(y°.s.m), x.i((x>z)>(y°.s.m)), x>z;

alerta- x>y.i((>z)>.m);

alfanumérico- i e #;

alfabeto- i;

alfândega- /l, /l.y, (x^(>/l°.y, x.[y]))>x>/l.[w];

alfinetar- x>y.iy, iy.m, x^(i(y.s.m ou y°.s.m), y^>m);

alforria- /l.x, x°.(>/l°.x), y>x.(>/l°.x) ou y>/lº.x;

algarismo- i#;

algazarra- F, >.i, _F maior do que p;

álgebra- i; 

algema- F, .(>x°.>F);

algo- x, °Dx;

algoritmo- i;

algoz- >.m, _(>.m) maior do que p;

alguém-  F, °DF;

algum- °Dx;

algures- °D/l;

alheio- c é alheio à x = x°~c;

alhures- ~algures;

ali- f>r.i(/l, /l°=/f e /l°=/r);

aliado- x e y no caso de ~aliança;

aliança- x.i((x>z)>y>x.b, y'°>x.m), y.i((y>x.b)>x>z, x'°>y.m);

aliás = de outro modo ou além disso = 'x>.(i'y), x>.iz>(iy°=i'y);

álibi- x>.i('y>.m)>y>.iz, .iz>.i(°i('y>.m));

alicerce- F ou °.x>°.y;

aliciar- >(x>.m);

alienação- >x°.[y];

alienado- (x.iy)>(iy.iz, °.z); 

alienígena- F;

aligeirar- F, >(_>x) maior do que p;

alijar- fazer ter menos peso = >_x menor do que p;

alimentação- F;

alinhar- F;

alíquota- [x], [y].[x]°.[y] ou [y] maior do que [x];

alisar- F, ou >F>.s.b; 

alistar- >.i(x.>(y'>z));

aliviar- diminuir o peso ou a dificuldade = (>_F menor do que _'F ) ou (>_dificuldade menor do que _'dificuldade). Dificuldade para fazer x = _>x maior do que p;

alma - >(~pessoa°.F)>pessoa'=alma;

almanaque- F, i;

almejar- ^, _^maior do que p;

almoço- F, _>F=meio dia;

alô- f>r.i(f^.(r>f.i));

alocar- (/l~c)>x>/l.y ou >.i(x'.[y]);

alocução - i, _i menor do que p;

alojar- >/l.x;

alongamento- F, >_x maior do que _'x;

alquebrar- F ou >.s.m;

alqueire- _F;

alta- alta médica ou altura = (x°.m)>y.(/l°.x) ou _x maior do que p;

altaneiro- orgulhoso = x.i(x.b, _b maior do que p), _b menor do que p;

altar- F, .iF>.b;

alterar- >(x'°='x);

altercar- discutir, polemizar = f>r.(i(.x), s.m)>r>f.(i(°.x), s.m);

alternar- x~c>x'°~c;

alternativa- >z, x.(>y ou >z);

alto- _x maior do que p;

altruísmo- x.i(y.m)>(x.s.m)>(x>z), x.i((x>z)>(y°.m ou _m menor do que _'m));

alucinação- ix, °.x;

aludir- referir-se = >.ix;

alugar- (x>y.[z])>(y>x.[>/l.x]);

aluno- x, >x.i;

alusão- x^(>.iy), x.i(>z>.iy), x>z;

alvará- autorização - x, .x>y.[>z];

alvejar- F;

alvissarar- >.i(x'.b);

alvitrar- ~aconselhar ou (sugerir, opinar = x>y.i(y>z>.b ou z.b);

alvo - 'x>.F, x^(.F>y^(>F.z));

alvoroçar- F, s, _F e _s maiores do que p;

amador- x>y, _(x.i(>y)) menor do que p;

amadurecer- F;

âmago- x, y.x, x°.F;

amaldiçoar- x>.i(x^(y'.m));

amanhã- x';

amansar- >°.s.m;

amar- >.s.b;

amarelar- ~acovardar;

amargar- .s.m ou F;

ambição- .^[x], _(.^[x]) maior do que p;

ambiente- /l;

ambiguidade- .ix>.iy>.ix e ix°=iy;

âmbito- âmbito de x = /l, /l.x;

ambos- x e y;

ameaça- x, .x>.i(.m)';

amedrontar- x>i.y(x'>y.m)>y.s.m;

amém- x>y.i(.z'); x>.i(x^z');

amenizar- >_m' menor do que _'m;

ameno- º>.m ou >.s.b;

amesquinhar- x.[y], #[y] maior do que p, (x°=z, [y].w)>x°^(>z.w);

amestrar- >x.iy, _iy maior do que p;

amigo- x>y.b, x^y.b;

amigo da onça- x, y.i(x>y.b, x^y.b), °(x>y.b, x^y.b);

amizeração- x.i(y.m)>x.s.m;

amiúde- frequente = _(.x) maior do que p;

amnésia- 'x.iy, x'°.iy;

amo- x.[/l], x.[>y>z];

amofinar - amolar = >.s.m;

amolar- F;

amoldar- F;

amolecer- F;

amontoar- >/l.F, #F maior do que p;

amor- s.b;

amoral- °b e °m;

amordaçar- F, >x°.(>/l°.x);

amorfo- F;

amornar- F;

amorpróprio- x.^x.b, x.i(x.b);

amortecer- F;

amortização- (x>y.[z])'>(x.[k])', x>y.[q], z.q;

amostra- x, x~c;

amotinar- (x^y)>(z>/l.x, x>.i(x^y, (°.y)>/l.x));

amparar- x.m, yº^(x.m), y.i((y>z)>(x°.m ou x.m' e _m menor do que _m'));

ampliado- >_/l ou _x maior do que p;

amplo- _/l ou _x maior do que p;

amputar- F;

amuleto- F, x.i((x.[F])>x'.b);

anacronismo- >.i('x~c), °('x~c);

analfabeto- °.i(~alfabeto);

analisar- x>x.iy;

analogia- x.i(y~c)>x>.i(z~c ou z°~c);

anarquia- (/l.x, x^>.m)>x.(>m);

anátema- >/l°.x, >i(y.m ou y>m e _m maior do que p);

ancestral- 'x, '(x>.y);

ancião- ~pessoa, _pessoa maior do que p;

andamento- _>x;

andar- F;

anedota- ix, (.ix)>.s.b;

anexar- >/l.x ou >x.[y] ou >(ix).y;

anfitrião- x.[/l], x>/l.y, x>y.b;

angariar- x^y, y;

ângulo- F;

angústia- s.m, i(.m')>.s.m;

animação- s.b>.F;

ânimo- s.m, .^;

aniquilar- >x.m, _m maior do que p;

anistia- ('x>m)>(~pessoas.[>x.m]), pessoas>.i(pessoas'°>x.m);

aniversário- .365 ~dias >.F>.s.b;

ano- F, 365 ~dias;

anônimo- °D(~pessoa);

anormal- x~c, #(z, z~c) menor do que p;

anotar- >F.i;

ansiar- ^x, _^x maior do que p;

antagônico- x~c, y~k, k=°c;

antecedente- x, 'x~c, y~c, 'y°~c;

antecipar- .i(.y'), x>.y; 

anteontem- _d('xx) maior do que  24 horas e menor do que 40 horas;

anteparar- parar repentinamente = F;

antepassado- 'x, 'x>.y, d('x,y) maior do que p;

antepenúltimo- xn-2, x1, x2,...,xn;

anterior- (x, xy) ou (.'x e °.'y)

antes- 'x;

antever- 'x.iy;

anti- x contrário à y - x°^(.y) ou x.i(y.m ou y>.m) ou x>°.y; 

antídoto- x>.m, y>(x°>.m);

antigo- d('x,y) maior do que p;

antinomia- paradoxo (x, ºx);

antipatia- ix>.s.m;

antiquado-  x é antiquado para >y = .z, _(z>y) menor do que _(x>y);

antiquíssimo- '~antigo;

antisocial- /l.(x, ~pessoas)>(x.s.m, x^/l°.x);

antítese- contraste nítido = x~c, y°~c;

antônimo- °ix ou °x;

antro- /l.m ou /l.x>(x>m ou x.>m);

anual- .F>.x;

anuência- aprovação= x>y.i(x^.i(y^x>z ou y°^x>z)) ou x>y.i(x^>z, x^.i(x'>z>(y.s.b ou y.s.m));

anular- (x~c, >x°~c) ou (.i(.x'), >.i(°.x'));

anunciar- >.i;

anúncio- f>r.i((r>f.[z])>r.[k]);

ao- (x vai ao l) ou (x destinado ao y) = (x>/l.x) ou (>y.[x]);

aonde- f>r.i(f^i/x, (/x.>));

apagar- >°.;

apaixonar- >.s.b;

apalavrar- x>y.i(x'>z, x>.i.b);

apanhar- (levar surra) ou pegar = F, s, m;

aparar- F, >_x' menor do que _'x;

aparato- F, ~aparelho;

aparecer- /l.x, (y>/l.y)>x.i(/l.y);

aparelho- z, 'x^(y.z>(y.>k)), x>.z;

aparência- F, i;

aparente- x.i(y~c), x°.i(.y~c);

aparição- x em ~aparecer, x°=~pessoa;

apartar- ~afastar ou (separar briga = x>y.m, y>x.m, z>(x°>y.m, y°>x.m)); 

aparte- x>.iy, x>.iz, z°=y;

aparvalhado- x, x.i, _i menor do que p;

apático- x°.s;

apavorar- x.i(y.(>x.m))>x.s.m, _m maior do que p;

apaziguar- ~apartar ou x^>y.m, y^>x.m, z>(x°^>y.m, y°^>x.m));

apegar-se - F ou ix>y.s.b;

apelar- x.i(y>z.s.b), x^z>k, x>i(y>z.s.b)>z>k;
apelido- apelido de x = F e (f>/l.a)>/l.i(a e f^~atenção de x e _a menor do que _~nome);
apenas- apenas x~c = (x°=y)>(y°~c);

apequenar- >_x menor do que _'x;

aperfeiçoar- x.(>y), >_(x.(>y))' maior do que _(x.(>y));

apertar- F, >_x menor do que _'x;

aperto- x°.[y]>x.m;

apesar de- x acontece apesar de y = .x, .i(.y>°.x), .y;

ápice- F;

apiedar-se- x.i(y.m)>x>(y°.m ou x>_m' menor do que m) ou x.i('y>m)>x.[>y.m], x°>y.m;

aplacar- x^>m, y>x°^>m;

aplaudir- F, >.F>.i(x>.s.b);

aplicado- dedicado = x>y, _(x^>y) maior do que p;

aplicar- x>y>z ou >. ou x>(x,y)>z;

apócrifo- ix, °x;

apoderar-se - x>x.[y];

apogeu- F, (_F' ou _'F maior do que _F)>°.(F','F);

apoiar- x.i(y>z ou y^>z ou w>y.s.b)>x>y.i(y>z>x.s.b ou y^>z>x.s.b ou w>y.s.b>x.s.b);

apoiar2 = ~ajudar;  

apólice- i((>x°.[y])>w>x.[z]);

apologia- x>.i(y.b, ou y>b);

apontar- F ou >.i(x~c);

apoquentar- >.s.m;

aporrinhar- >.s.m;
após- y após x = (°.x)'>.y; 

após2- x está além de y em relação a z = d(zx) maior do que a d(zy);

aposentar-  '((x>y)>(x.[F]), x^.[F]), (_(x>y) maior ou igual n)>(°((x>y)>(x.[F]), x^.[F])', x'.[F]);

apossar- x>x.[y];

aposta- x>.i(.z', °.z'>x>y.[w]), y>.i(°.z', .z'>y>x.[w]);

apostasia- ('x.i(.y)>x.s.b), x.i(°.y);

aposto- explicação, informação a mais sobre x = ic, x~c;

a posteriori- ix, F>.ix;

apoteose- F.b, _b maior do que p;

apreciar- x aprecia y = /l.(x,y)>x.s.b ou x.i(y~c, c.b);

apreender = prender = >(/l.x, x°.(>/l°.x));

apreensivo = ansioso = x, x.i(.m')>x.s.m;

apregoar- x>.i(.y), _(x>.i(.y)) maior do que p;

aprender- >x.iy;

apresentar- apresentar x para y = >x.iy ou >x.i(y~c);

apressar- >(_(>.x) menor do que _(>.'x));

aprimorar- ~aperfeiçoar;

a priori - °(~a posteriori);

aprisionar- F, ~apreender;

aprofundar- F ou (x.iy, x>_iy' maior do que _iy);

aprontar- >.m, _m menor do que p;

aprontar2- aprontar x para >y = >x.(>y);

apropriação- x.[y], (z>z.[y])>x.m, z>z.[y];

apropriado- ~adequado;

apropriar- ~adaptar, >.~adequado;

aprovar- ~aceitar;

aproveitador- x, y.[F], y>x.b, x°>y.b, (y>x.b)>(_[F'] menor do que _F);

aproveitar- x>y.b, y°>(x>y°.b);

aprovisionar- ~abastecer;
aproximar- >d(xy) menor do que 'd(xy);

apto- apto a fazer algo = x.(>y);

apurar- >.i(.x ou °.x) ou >.s.m ou ~aperfeiçoar; 

apuro- .m ou .x, x.(>y.m);

aquele = f.Dx, f>r.i(Dx, /x °= /f, /x °= /r);

aquém- x está aquém de >y ou de y = x°.(>y) ou (x~c, y~k, _c menor do que _k);

aqui- f>r.i(/f.x);

aquiescer- >.~anuência;

aquietar- ~acalmar ou F;

aquilo = f.Dx, f>r.i(Dx, /x °= /f, /x °= /r, x°.>);

aquisição- i(>x.[y]);

arauto- mensageiro = x>.i;

arbitrar- julgar = x>.i(y.m ou y.b), x>.i(y.m)>y.z, y.z>y.m;

arbitrariedade- x>.y, x°.i(z^y ou z°^y);

arbítrio- livre arbítrio = (x.^>y, x.i((x>y1,x>y2...x>yn)>(x>y))>x.(>y1);

arcaico- d('FF) maior do que p;

arcar- (x>m)>y.(>x.m), z>y.i(z°^y>x.m, z^(y>z.m ou y.[w]);

ardil- x>y.i(/l.k>k.b), x.i(/l.k>k.m) ou x>y.i(.z>k.b), x.i(.z>k.m);

ardor- F ou s, _s maior do que p;
árduo- difícil = é difícil fazer y = (x>y)>(x>p) - p é um parâmetro que pode se referir ao tempo ou à quantidade de etapas que se deve realizar para concluir a tarefa. Podemos dizer que p = y1,y2,y3...y10 considerando 10 passos como sendo algo que já possa ser considerado difícil, se nos referirmos ao tempo temos que _(x>y) maior do que p;

área = F e _;

argúcia- _(x.(>x.i)) maior do que p;

arguir = ~argumentar;

argumentar- x^y.i(.z), x.i((y.iw)>y.(i.z)), x>y.iw;

arisco- x, (/x.y)>(x>y.m ou x.>(y.m));

aristocrata- x, x.[F], _[F] maior do que p ou (x.b, _b maior do que p);

arma- x, '(y>.x, y^(z.x>z.(>.m ou >wº^>z.m));

armação- x>y.iz, °z, (y.iz).(>z.m);

armadilha- ~ardil;

armazenar- >/l.x; 

arquitetar- x^(.y'), x>.i(z, >z>.y');

arquivar- >/l.ix;

arraigar- F ou s;

arrancar-  >x°.y, _(>x°.y) maior do que p, (>x°.y)>x.m, x°^(x°.y);

arranjar- F, >/xi.yi;

arrasar- F ou >.b ou >.m, _F maior do que p;

arrastar- F ou x>/l.y, yº^/l.y;

arrazoar- ~argumentar;

arrebanhar- (x~c)>(y>/l.x);

arrebatar- ~arrancar;

arrebentar- F ou >.b ou >.m, _F maior do que p;

arrecadar- x>.i(x^.[y]), z>x.[w], y.w;

arredar- x>/l°.x, _(x>/l°.x) maior do que p;

arredor- arredores de /l = /x, /x./l, d(xl) menor do que p;

arregaçar- ~arrebentar;

arregalar- F, _F maior do que p;

arreganhar- F, _F maior do que p ou x>F>.i(x^F');

arregimentar- ~agrupar;
arrematar- x>.i(y>z>º.w), y>z;

arremedo- imitação = (x>y)>(z>y ou z>w, w~c, y~c); 

arremessar- F, >/l.x;

arremeter- ~afrontar;

arrendar- ~alugar;

arrepender- '(x>m)>x.s.m;

arrepiar- F ou F, _F maior do que p;

arriscado- (x>y).(>.m);

arrogância = altivez = x.i(x.b1,y.b2), x>.i(b1 maior do que b2)>x.s.b;

arrojado= audacioso - x.i((x>y).(>x.m)), x>y;

arrombar- F, _F maior do que p, xº.[/l], x>(/l.y ou /l°.y);

arruaça- F, ~pessoas>F>.m;

arruinar- F, _F maior do que p, F>.m;

arrumar = ~arranjar ou ~aprontar ou (consertar = F, 'x.(>y), x°.(>y), z>x'.(>y));

arsenal- F, x.F>x.(>y), #F maior do que p;

arte- F, i, >.b;

arteiro- >.~ardil;

artesanal- F, ~pessoa>.F;
artificial- x, ~pessoa>.x;
artifício- ~ardil ou (x^y, x.i(.z>(_>.y) menor do que (_>y, °.z)), x>.z;
artigo- i ou Dx ou °Dx, os artigos podem indicar se algo é definido ou indefinido, quando tratamos de algo definido isto indica que temos conhecimento de detalhes suficientes que o delimitem, novamente temos aqui uma classe de palavras que surge da ideia do “ter”: Ela sabe que a casa é azul = Ela tem conhecimento e (conhecimento = casa tem cor azul, o endereço x tem a casa, o dono y tem a casa e etc…); Este exemplo deixa claro que o conhecimento é um conjunto de representações que estão guardadas com a pessoa. Uma bicicleta = Não se tem conhecimento de detalhes sobre a bicicleta

artilharia- F, x.F>x.(>m), #F maior do que p;

artimanha- ~artifício;

as = .Dx, #x maior do que 1;

às = y para as x = para e (.Dx, #x maior do que 1). Podemos pensar que z destina a posse de y para x = (z^(x.[y]'), .Dx, #x maior do que 1) ou que y vai para o local de x = (y>/x.y, .Dx, #x maior do que 1). A crase aparece no exemplo a seguir devido o verbo "referir" ser transitivo indireto, pois exige preposição (f se refere à x) = (f>.ix, Dx, x.[referência feita por f]) = (f>.ix, Dx, x.[F]);

ascendência- F, ascendência de x = ~'pessoas, 'pessoas>.x;

ascender- >~acima.x ou (x.b, >_b' maior do que _b); 

asco- s.m, _s maior do que p;

asilar- ~abrigar, ~amparar;

asneira- i(.x,º.y), °.x, .y, d(xy) maior do que p;

aspas- f>r.i("x")>r.i('z>.ix, z°=f);

aspecto- iF ou i;

aspereza- F ou i(x>.sm);

aspirar- F ou ^;

asqueroso- >.~asco;

assalariado- x, (x>y)>(x.[F]), x^.[F];

assaltar- x.[y], z^(z.[y]), (z>.m)>(x°.[y], z.[y]); 

assanhamento- x^y, x.i((x>y).(>x.m)), x>y;

assaz- bastante = _x maior do que p;

assear- F, >.b;

assecla- (x>.i(.y))>z.i(.y), x>z.(x^z>w)>z>w, k^z.i(x.m)>z.(xº.m);

assediar- x>y.F, yº^x>y.F;

assegurar- x>.i(.y', º.y'>x>z.[w]);

assembleia- >/l.x, #x maior do que 1, x = ~pessoa, x^y;

assemelhar- x é semelhante a y = x~c, y~c, #c maior do que p;

assenhorear- ~apoderar-se;

assentar- F;

assentir- ~aprovar;

asserção- ~afirmar;

assessorar- ~ajudar; 

asseverar- ~afirmar, _afirmar maior do que p;

assíduo- (_F=x)>y>/l.y;

assim = desta forma = descrição do modo = i(processo físico) = iF;
assimetria- x|y, xº=y, F;

assimilação- >.~assemelhar;

assinalar- >.i(x~c);

assinar- F, .F>.i(x^y ou .yº>x>.m);

assíncrono- _(>x)º=_(>y);

assintomático- x.m, °.i(x.m);

assisado- x.iy>y.b ou x>y>yº.m;

assistência- >.~ajudar;

assistir- ~ajudar ou F ou x>x.i;

assoberbado- x.i(x.b1,y.b2), x>.i(b1 maior do que b2)>x.s.b;

associação- ~assembléia ou ~agremiação;

associar- ~agrupar ou >.associação;

assolar- ~arrasar;

assombrar- x.i(y.iz>y.s.m), x>y.iz;, y.i(z.(>y.m);

assumir uma função- x^.i(y^>z ou yº^>z), y>x.i(y^>z);

assumir a responsabilidade- x>.i(x'>y, x'°>y>(x.m ou x>z.[w]));

assumir uma culpa- z^.i('x>.m ou 'xº>.m), x>z.i('x>.m);

assunção- >x.b, _b maior do que p;

assunto = a, f>r.ia;

assustador- z no caso ~assombrar;

astrologia- i(x.(>.iy')), (x°.>F);

astúcia- _(x>x.b ou x>xº.m) maior do que p;

atabalhoar- (_(x>y) menor do que p ou °.~ajustar)>.m

atacar- F ou >.m;

atalho- (x>/y.x)>(_(x>/l.x) menor do que _(x>/l.x, x°>/y.x);

atarefar- >x>y, #y maior do que p;

atazanar- >.s.m, _m menor do que p;

até- (x vale até y) ou (ir até x) = (°.y>.x) ou (>/x.). Também podemos dizer que (vale x até uma certa distância) = (x existe se a distância/medida é menor do que p). O "antes" e o "depois" também podem ser utilizados no contexto espaço-temporal, o primeiro é análogo ao até, o segundo é parecido, basta trocar a palavra "maior" pela palavra "menor": (até às 13hrs tem café) = (_tempo menor do que 13hrs >.café);

até x~c = 'y.i(x°~c), (x~c)>y.s;

atear- F;

ateísmo- i(.x>('y>.x)>°.y);

atemorizar- x.i(y.iz>y.s.m), x>y.iz;, y.i(z.(>y.m);

atenção = F, s, (x presta atenção em y) = (x>x.iy ou (y>x.iz, x^(x.iz)));

atender- (y>x.i(y^z))>x>z;

atentado- (m, _m maior do que p) ou (~pessoa>.m, _m menor do que p);

atentar- >.~atenção

atenuante- ('x>.m1)>y.[>x.m2], i(x~c ou 'x>z)>_m2' menor do que m2;

atenuar- ~abrandar ou ~amenizar

aterrorizar- ~atemorizar, _m maior do que p;

ater-se- F ou (x.i(y>x.b, y°^x.m)) ou ~aproximar;

atestado- i(/'l.x);

atiçar- F ou >(x^>m);

atingir- ~alcançar, F ou >/l.x>.m ou (x^.y), x>.y;

atípico-  (_.x ou #x) menor do que p;

atirado- x, x>.~assanhamento;

atirar- F, >/l.x;

atitude- x.i(.y>.b), x>.y;

ativar- >x> ou >(_x>y)' maior do que _'(x>y); 

atividade- i(x>y);

ativismo- i(>.~atitude>.b);

ato- i(x>y);

à toa- x°^>(y ou F);

atochar- F ou ~abarrotar;

atolar- F ou (>x.m, _m maior do que p ou x°.(>x°.m)) ou x>x.m, _m maior do que p; 

átomo- F, x.y>y.x "definição clássica";

atônito- x.i(º.y'), .y'>x'.s, _s maior do que p;

atordoar- F>.m ou >s.m ou >x°.i(/x, x); 

atormentar- >.m ou >.s.m;

atraiçoar- x>y.i(x^y.b, x'°>y.m), x'>y.m;

atrair- x>y^(/l.y ou F) ou >.~atenção;

atrapalhar- x>y, z>(x>y).m ou z>(_(x>y)' menor do que _(x>y));
atrás- 1 está (trás,atrás) de 2 = *21 "*é o observador";

atrasar- .i(.x'), °.x', .x'';

atravancar- F ou (x~c)>/l.x, #x maior do que p;

através1- x passa através de l para chegar em y = (x>/y.x)>('x>/l.x);

através2 = x faz y por meio de z = (x°.(>y))>x>(xz)>y, 

atravessar- ~através1;

atrelar- F, (/y°.x)>x>/y.x, ~agrupar;

atrevido- x,x>.~assanhamento;

atribuir- >.i('x>y);

atribulação- ~adversidade;

atributo- x, x~c, ~adjetivo;

atrocidade- m, _m maior do que p;

atropelar- F, F>.m;

atual- x' ou 'x, (d(x',y) ou d('x,y)) menor do que p;

atualizar- >x~c, c=~atual;

atuar- ~agir; 

atuária- i(x.i((x>y.[z], x.m)>y'>x'.[w]);

atulhar- (x~c)>/l.x, #x maior do que p ou ~atrapalhar;

aturar- x>y.m, y°>(x°>y.m);

aturdido- x, x>~atordoar, ~atônito;

audácia- c, ~atrevido~c;

audiência- F, ~pessoas, >~pessoas.i; 

auditoria- >.i((x>x.[y]).m ou (x>x.[y])°.m);

auferir- x>x.[y] ou .;

auge- ~ápice ou x.m, (x'.m', _(m') maior do que _(m))>°.m';

augurar- ~agourar;

augusto- x.b, _b maior do que p;

aula- F, F>.i;

aumentar- >_x' maior do que _x; 

aumentativo- (>.i_x menor do que p) ou >.i(x>y.(s.b ou s.m));

ausência- /l°.x;

auspício- ~agouro ou (promessa=x>y.i((x'.b)>x>z));

austero- x, x°>.s.b, (y>m, y>.~arrepender)>x>(y.m);

autarquia- x.~pessoas, x./l.~pessoas, x.(>y), x.[>y, F];

autenticar- atestar = >.i(.x);

auto (prefixo)- x é auto y = x.(>y) "por exemplo: automóvel = x.(>F);

autocracia- "~autarquia=a", .x, a.x, a.(>y, [>y, F])>x.(>y, [>y, F]);

autodefesa- (x>y, y.(>z.m))>(z>x°>y ou z>x.m);

automático- x>y automaticamente quando z = .z>(x>y);

autonomia- x tem autonomia para fazer y = x.(>y), (x>y)°>(x.m), (x^>y)>x>y;

autor- x, x>.i;

autoridade- (x^y)>x.(>z>y);

autoritário- (x^y)>x.(>z>y), (x.i(z°^>y ou (z'>y)>z'.m), x^y)>x>(z>y);

autorizar- x>y.i(x^>z, x^.i(y^x>z ou y°^x>z)); 

autosuficiente - x, x.~autonomia;

autuar- >x.i('x>m>(x°.[y] ou x.m));

auxiliar- ~ajudar;

avacalhar- >.i(x.m, _m maior do que p);

aval- w>.i(x'>y.[z], (x'°>y.[z])>w>y.[z]) ou ~apoiar;

avaliar- x~c, y>.i(_c);

avançado- ~adiantado ou ~adiante ou x.i, _i maior do que p;

avançar- x>/~adiante.x;

avantajado- _F maior do que p;

avante- ~adiante;

avarento- x.[y], _[y] maior do que p, z>x.i(z^z.[w], [y].w), x°>z.[w];

avaria- m, F.m;

avaro- x em ~avarento;

avassalador- x, x>.(m ou b), _(m ou b) maior do que p;

avassalar- (x^z)>x>(y>z), (y°^>z)>(x>y.m);

avatar- x.~alma, 'y.~alma, x°=y;

ave- x, x~(~assustador) ou f>r.i(/f.r>f.s.b);

aventura- x>y.(>x.m), x>y>(x.s.b);

averbar- >ix.iy;

averiguar- x>x.i(.y ou °.y);

aversão- (.x ou y.ix)>y.s.m;

avessas- x>y, z>°y;

avesso- F ou x^y.m ou (x^>y, z°^(x>y), z>x.i(z°^(x>y)));

avidez- x^y, _(x^y) maior do que p;

aviltar- >_ix menor do que p ou (>.i(x.m))ou (>_[x] menor do que p); 

avir- ~ajustar ou ~acomodar;

avisar- >.i(.x');

avistar- F, x>x.iF;

avivar- F, >x.(>y);

avizinhar x a y - >d(/x/y) menor do que p;

avo- b maior do que 10 no caso na divisão: este é um processo semelhante à subtração, pois consiste na retirada de uma quantia de um todo e sua distribuição equitativa entre as partes, então podemos fazer “a” dividido por “b” da seguinte forma:
>0.j.0 >j.b (0°.a 0°.j)>(a°.| bj.| j°.|)
(0°.a 0.j.0)>(j.b)>(0°.a 0°.j)>(a°.| bj.| j°.|)
avoado- x, x°.~atenção;

avocar- ~atrair ou ~atribuir-se;

avolumar- F, ~aumentar;

à vontade- /l.x>(x.s.b, x^y>x>y);

avulso- y em ~arrancar ou x, i.x;

avultar- ~avolumar ou ~atingir;

axial- x, d(xy)=z, _z'=_z=_z', /y.x/;

axioma- ix, .x;

azar- #(x.m) ou _(>x.m) maior do que p;

aziago- x, x>.i(.m');

azucrinar- >.s.m;