(or (not (|http://www.w3.org/2000/01/rdf-schema#|::|subClassOf| |http://www.ksl.stanford.edu/DAML/query-answer/wines-short2.daml#|::|CRAB| ?y)) (not (|http://www.w3.org/2000/01/rdf-schema#|::|subClassOf| ?y ?x)) (|http://www.w3.org/2000/01/rdf-schema#|::|subClassOf| |http://www.ksl.stanford.edu/DAML/query-answer/wines-short2.daml#|::|CRAB| ?x))