Class: VegePizza04

CONVERT TO DEFINED BEFORE CLASSIFYING Can have anything as a topping (even non toppings) except meat or fish. Trivially satisfied - Does not have to have any toppings Equivalent to VegePizza05 (will not subsume open pizzas)

•owl:Thing
        •PizzaDomainConcept
                •Pizza
                        •VegePizza04

Super Classes

NOT(hasTopping SOME MeatTopping)
NOT(hasTopping SOME FishTopping)
Pizza

Abstract Syntax

Class(VegePizza04 partial complementOf(restriction(hasTopping someValuesFrom(MeatTopping)))
                         complementOf(restriction(hasTopping someValuesFrom(FishTopping)))
                         Pizza)

Usage

Generated with OWLDoc