Class: VegetarianTopping

"An example of a covering axiom. VegetarianTopping is equivalent to the union of all toppings in the given axiom. VegetarianToppings can only be Cheese or Vegetable or....etc." [lang: en]

•owl:Thing
        •DomainConcept
                •Food
                        •PizzaTopping
                                •VegetarianTopping

Equivalent Classes (Necessary and Sufficient Conditions)

PizzaTopping
VegetableTopping OR CheeseTopping OR HerbSpiceTopping OR FruitTopping OR NutTopping OR SauceTopping

Usage

Class Description/Definition (Necessary Conditions)

VegetarianPizzaEquivalent1, VegetarianTopping
Generated with OWLDoc