<?xml version="1.0" encoding="utf-8" standalone="no"?>


<!DOCTYPE KNOWLEDGEBASE SYSTEM "fact.dtd">
<KNOWLEDGEBASE xmlns:dl="http://co4.inrialpes.fr/xml/dlml/">
<DEFCONCEPT NAME="MAN"/>
<DEFCONCEPT NAME="WOMAN"/>
<DEFCONCEPT NAME="DOG"/>
<DEFCONCEPT NAME="CAT"/>
<DEFCONCEPT NAME="YOUNG"/>
<DEFCONCEPT NAME="OLD"/>
<DEFCONCEPT NAME="OLDLADY"/>
<DEFCONCEPT NAME="DOGOWNER"/>
<DEFCONCEPT NAME="CATOWNER"/>
<DEFCONCEPT NAME="PETOWNER"/>
<DEFCONCEPT NAME="CATHATER"/>
<DEFCONCEPT NAME="DOGHATER"/>
<DEFCONCEPT NAME="CATLIKER"/>
<IMPLIESC>
<CONCEPT>
<PRIMITIVE NAME="MAN"/>
</CONCEPT>
<CONCEPT>
<AND>
<PRIMITIVE NAME="PERSON"/>
<NOT>
<PRIMITIVE NAME="WOMAN"/>
</NOT>
</AND>
</CONCEPT>
</IMPLIESC>
<IMPLIESC>
<CONCEPT>
<PRIMITIVE NAME="WOMAN"/>
</CONCEPT>
<CONCEPT>
<AND>
<PRIMITIVE NAME="PERSON"/>
<NOT>
<PRIMITIVE NAME="MAN"/>
</NOT>
</AND>
</CONCEPT>
</IMPLIESC>
<IMPLIESC>
<CONCEPT>
<PRIMITIVE NAME="DOG"/>
</CONCEPT>
<CONCEPT>
<AND>
<PRIMITIVE NAME="ANIMAL"/>
<NOT>
<PRIMITIVE NAME="CAT"/>
</NOT>
</AND>
</CONCEPT>
</IMPLIESC>
<IMPLIESC>
<CONCEPT>
<PRIMITIVE NAME="CAT"/>
</CONCEPT>
<CONCEPT>
<AND>
<PRIMITIVE NAME="ANIMAL"/>
</AND>
</CONCEPT>
</IMPLIESC>
<IMPLIESC>
<CONCEPT>
<PRIMITIVE NAME="YOUNG"/>
</CONCEPT>
<CONCEPT>
<AND>
<PRIMITIVE NAME="AGE"/>
</AND>
</CONCEPT>
</IMPLIESC>
<IMPLIESC>
<CONCEPT>
<PRIMITIVE NAME="OLD"/>
</CONCEPT>
<CONCEPT>
<AND>
<NOT>
<PRIMITIVE NAME="YOUNG"/>
</NOT>
<PRIMITIVE NAME="AGE"/>
</AND>
</CONCEPT>
</IMPLIESC>
<EQUALC>
<CONCEPT>
<PRIMITIVE NAME="OLDLADY"/>
</CONCEPT>
<CONCEPT>
<AND>
<PRIMITIVE NAME="WOMAN"/>
<ALL>
<PRIMROLE NAME="hasAge"/>
<PRIMITIVE NAME="OLD"/>
</ALL>
<ALL>
<PRIMROLE NAME="hasPet"/>
<PRIMITIVE NAME="CAT"/>
</ALL>
<SOME>
<PRIMROLE NAME="hasPet"/>
<TOP/>
</SOME>
</AND>
</CONCEPT>
</EQUALC>
<EQUALC>
<CONCEPT>
<PRIMITIVE NAME="DOGOWNER"/>
</CONCEPT>
<CONCEPT>
<AND>
<PRIMITIVE NAME="PERSON"/>
<SOME>
<PRIMROLE NAME="hasPet"/>
<PRIMITIVE NAME="DOG"/>
</SOME>
</AND>
</CONCEPT>
</EQUALC>
<EQUALC>
<CONCEPT>
<PRIMITIVE NAME="CATOWNER"/>
</CONCEPT>
<CONCEPT>
<AND>
<PRIMITIVE NAME="PERSON"/>
<SOME>
<PRIMROLE NAME="hasPet"/>
<PRIMITIVE NAME="CAT"/>
</SOME>
</AND>
</CONCEPT>
</EQUALC>
<EQUALC>
<CONCEPT>
<PRIMITIVE NAME="PETOWNER"/>
</CONCEPT>
<CONCEPT>
<AND>
<PRIMITIVE NAME="PERSON"/>
<SOME>
<PRIMROLE NAME="hasPet"/>
<PRIMITIVE NAME="ANIMAL"/>
</SOME>
</AND>
</CONCEPT>
</EQUALC>
<EQUALC>
<CONCEPT>
<PRIMITIVE NAME="CATHATER"/>
</CONCEPT>
<CONCEPT>
<AND>
<PRIMITIVE NAME="PERSON"/>
<ALL>
<PRIMROLE NAME="hasPet"/>
<NOT>
<PRIMITIVE NAME="CAT"/>
</NOT>
</ALL>
</AND>
</CONCEPT>
</EQUALC>
<EQUALC>
<CONCEPT>
<PRIMITIVE NAME="DOGHATER"/>
</CONCEPT>
<CONCEPT>
<AND>
<PRIMITIVE NAME="PERSON"/>
<ALL>
<PRIMROLE NAME="hasPet"/>
<NOT>
<PRIMITIVE NAME="DOG"/>
</NOT>
</ALL>
</AND>
</CONCEPT>
</EQUALC>
<EQUALC>
<CONCEPT>
<PRIMITIVE NAME="CATLIKER"/>
</CONCEPT>
<CONCEPT>
<NOT>
<PRIMITIVE NAME="CATHATER"/>
</NOT>
</CONCEPT>
</EQUALC>
</KNOWLEDGEBASE>
