fusarium oxysporum f. sp. lycopersici (fol) is the causal agent of vascular wilt in tomato, an important plant disease in iran. four monogenic resistance genes in tomato are used for identification of races of fol and their corresponding avirulence genes avr1, avr2 and avr3 were identified in pathogen one of which, avr2, is f.sp. specific. hence they can serve as reliable markers for racial ide...

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...

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...

Contemporary use of the term ’intension’ derives from the traditional logical Frege-Russell’s doctrine that an idea (logic formula) has both an extension and an intension. Although there is divergence in formulation, it is accepted that the extension of an idea consists of the subjects to which the idea applies, and the intension consists of the attributes implied by the idea. From the Montague...

The objective of this study was to assess the impact of fiber-optic laryngoscopy (FOL) on the weaning process from mechanical ventilation in critically ill patients with a positive cuff leak test (CLT) as compared with the current recommended strategy based on corticosteroids.In this prospective observational pilot study conducted over a 1-year period in a 15-bed ICU, CLT was systematically per...