Class: VegePizza02-TrivialSatisfaction

CONVERT TO DEFINED BEFORE CLASSIFYING only (Universal) does not state some Trivially satisfied by Pizzas with no toppings Can only have VegetarianToppings or be empty (will not subsume open pizzas)

•owl:Thing
        •PizzaDomainConcept
                •Pizza
                        •VegePizza02-TrivialSatisfaction

Super Classes

Pizza
hasTopping ONLY VegetarianTopping

Abstract Syntax

Class(VegePizza02-TrivialSatisfaction partial Pizza
                                             restriction(hasTopping allValuesFrom(VegetarianTopping)))

Usage

Generated with OWLDoc