求助：求助protege4.0.2版本推理的问题

            我是初学者，想建零件本体，先用动物本体（有教材嘛，呵呵）来熟悉protege，我按照教材做到推理篇的时候，狮子主要吃素食动物，肉食动物主要吃动物，要推出狮子是肉食动物，可是我一点faCT（推理器）就会出现一个提示错误的对话框，怎么回事呀？按照教材，要把maineat变为充分必要条件，我不会变，就没有变，是不是因为这个才推理不出来呀？怎么办呀？急急，求大神帮助
              
                
                    protege求助
                

补充：Java ,  Web 开发

上一个：新手自学Java，求大神指点。
下一个：sqlserver存储过程dbf导出数值型类型不对，想要的是numeric(10,2)但是在导出的dbf文件里是numeric(19,5)