Class: NutTopping

•owl:Thing

•DomainConcept

•PizzaTopping

•NutTopping

Super Classes

PizzaTopping

hasSpiciness SOME Mild

Disjoint Classes

FruitTopping, SauceTopping, FishTopping, CheeseTopping, HerbSpiceTopping, MeatTopping, VegetableTopping

Abstract Syntax

Class(NutTopping partial PizzaTopping
                        restriction(hasSpiciness someValuesFrom(Mild)))

DisjointClasses(NutTopping FruitTopping
                           SauceTopping
                           FishTopping
                           CheeseTopping
                           HerbSpiceTopping
                           MeatTopping
                           VegetableTopping)

Usage

Class Description/Definition (Necessary Conditions)

PineKernels, VegetarianPizzaEquivalent2, VegetarianTopping

Generated with OWLDoc