Expansão das relações entre EM por regras de transitividade

De notar que nem todas as expansões são necessárias, dado que também codificamos (ou explicitamos) a relação inversa. Mas para que fiquem todas as possibilidades de inferência, apresentamo-las aqui, sempre com um exemplo.

As relações abaixo devem ser lidas da seguinte maneira:

ident (A; B) lê-se A idêntico a B;
inclui (A, B) lê-se A inclui B;
incluido (A, B) lê-se A incluído em B;
sede_de (A, B) lê-se A sede de B;
ocorre_em (A, B) lê-se A ocorre em B;
outra (A, B) lê-se A possui relação "outra" com B.

1. ident(A, B) e ident(B, C)-> ident(A, C)
   A=Primeiro Ministro de Portugal, B=José Sócrates , C=Sócrates
   O Primeiro Ministro de Portugal, José Sócrates, partiu hoje em visita oficial ao Brasil. Sócrates embarcou ainda de manhã.
   
2. inclui(A, B) e inclui(B, C) -> inclui(A, C)
   A = EUA, B = Havaí, C = Honolulu
   Um deles já está pronto e em funcionamento no Havaí, EUA, especificamente no laboratório de Honolulu.
   
3. incluido(A, B) e incluido(B, C) -> incluido(A, C)
   A= CISUC, B=Departamento de Engenharia Informática , C= UC
   O centro de pesquisas do Departamento de Engenharia Informática é o CISUC, um dos principais centros da UC.
   (Nota: este é o inverso do anterior)
4. ident(A, B) e inclui(B, C) -> inclui(A, C)
   A=Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada , B=PROPOR , C=Encontro do Segundo HAREM
   O Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada (PROPOR) terá como evento satélite o Encontro do Segundo HAREM.
5. ident(A, B) e incluido(B, C) -> incluido(A, C)
   A=TIL , B=Tecnologia da Informação e da Linguagem Humana , C=Congresso da SBC
   O TIL (Tecnologia da Informação e da Linguagem Humana), em 2207, ocorreu como evento satélite do Congresso da SBC.
   (Nota: este é o inverso do anterior)
6. ident(A, B) e sede_de(B, C) -> sede_de(A, C)
   A=Vale do Silício , B=Silicon Valley , C=HP
   No Vale do Silício (Silicon Valley) estão inúmeras empresas vinculadas à tecnologia, como a HP.
   
7. ident(A, B) e ocorre_em(B, C) -> ocorre_em(A, C)
   A=CLIC , B=Centro de Linguistica Computacional , C=PUC/RJ
   O CLIC (Centro de Linguistica Computacional) fica na PUC/RJ
   (Nota: este é o inverso do anterior)
8. inclui(A, B) e sede_de(B,C ) -> sede_de (A, C )
   A=Portugal , B=Algarve , C=Algarve Summer Festival
   Algarve, no sul de Portugal, é um dos destinos mais procurados no verao. É lá, aliás, que acontece o Algarve Summer Festival.
   
9. incluido(A, B) e ocorre_em(B, C) -> ocorre_em (A, C)
   A=Here Is the Blues , B=Coimbra em Blues , C=Teatro Acadêmico de Gil Vicente
   "Here Is the Blues" é um dos shows que integra o festival Coimbra em Blues, que ocorre no Teatro Acadêmico de Gil Vicente
   (Nota: este é o inverso do anterior)
10.  ident(A,B) e outra (B,C) -> outra (A,C)
    A=presidente do Brasil , B=Luis Inacio Lula da Silva , C=PT
    O presidente do Brasil, Luis Inacio Lula da Silva, sempre foi filiado ao PT
11. ident(A, B) e outra (C,B) -> outra (C,A)
    A=Luis Inacio Lula da Silva , B=Lula , C=PT
    Luis Inacio Lula da Silva tem sido alvo de críticas. Mas, surpreendentemente, a popularidade de Lula (PT) só aumenta.