| CONVERT TO DEFINED BEFORE CLASSIFYING some (Existential) does not state only Not Closed Has at least one VegetarianTopping, but could also have toppings of anything else (will subsume open pizzas) |
| •owl:Thing |
| •PizzaDomainConcept |
| •Pizza |
| •VegePizza01-NotClosed |
Class(VegePizza01-NotClosed partial restriction(hasTopping someValuesFrom(VegetarianTopping))
Pizza)