In this paper, we present ways of teaching the NL to FOL and the FOL to CF conversions. NL to FOL conversion teaching is based on the use of a structured and interactive process of making the conversion, introduced here, which helps students, and the support of two software tools, one based on an implementation of that process and the other making a translation from a FOL formula to a NL-like s...

In vertebrates, skeletal muscles of the body arise from cells of somitic origin. Recently, somite culture experiments have identified a set of genes, including Pax3, Six1, Eya2, and Dach2, that appear to play an important role in early myogenesis during somite development (Heanue et al. [1999] Genes Dev. 13:3231-3243). In somite culture Pax3, Six1, Eya2, and Dach2 not only function to activate ...

The vast majority of deaths associated with cancer are a consequence of a complex phenotypic behavior, metastasis, by which tumor cells spread from their primary site of origin to regional and distant sites. This process requires the tumor cell to make numerous adjustments, both subtle and dramatic, to successfully reach, survive, and flourish at favorable secondary sites. It has been suggested...

Systems for hybrid reasoning with first-order logic (FOL) extensions of description logic (DL) date back at least 20 years and are enjoying a renewed interest in the context of recent FOL extensions of OWL DL for the Semantic Web. However, current systems for reasoning with such languages can only handle subsets of FOL or they do not fully exploit recent advances in both FOL theorem proving and...

A polyelectrolyte complex micelle (PECM)-based delivery system for targeting folate (FOL) receptor overexpressing tumor cells is demonstrated using poly(ethylene glycol) (PEG)-conjugated oligonucleotide (ODN). The tumor targeting property was conferred to the PECM by tethering a folate moiety to the distal end of the PEG segment in an anti-sense green fluorescent protein (GFP) ODN-PEG conjugate...

O objetivo deste estudo foi propor um novo Sistema de Identificação Odonto-legal para a Polícia Militar do Estado São Paulo (PMESP) baseado no protocolo DVI (Disaster Victim Identification) da INTERPOL (International Criminal Police Organization). Para comparar percepção sobre o preenchimento e interpretação dos dados, 10 oficiais dentistas preencheram ficha odonto-legal (FOL) em uso atualmente...

This thesis is about the Hierarchic Superposition calculus SUP(T) and its application to reasoning in hierarchic combinations FOL(T) of the free first-order logic FOL with a background theory T where the hierarchic calculus is refutationally complete or serves as a decision procedure. Particular hierarchic combinations covered in the thesis are the combinations of FOL and linear and non-linear ...

Follicular occlusion tetrad is a condition including hidradenit is suppurativa, acne conglobata, dissecting cellulitis of scalp and pilonidal sinus. The exact pathogenesis of this group of disease is unknown but evidence suggests that they share the same pathological process ini t iated by fol l icular occlusion. Hidradenitis suppurativa (HS) is an uncommon disease affecting the axillae and ano...

First order logic (FOL) rewritability is a desirable feature for query answering over geo-thematic ontologies because in most geoprocessing scenarios one has to cope with large data volumes. Hence, there is a need for combined geo-thematic logics that provide a sufficiently expressive query language allowing for FOL rewritability. The DL-Lite family of description logics is tailored towards FOL...

<b><i>Introduction:</i></b> The homeodomain transcription factor sine oculis homeobox homolog 1 (Six1) plays a crucial role in embryogenesis and is not expressed normal adult tissue but many pathological processes, including airway remodelling asthma. current study aimed to reveal the effects of Six1 regulating its possible mechanism. <b><i>Methods:</i>...