Class: SauceTopping

•owl:Thing

•DomainConcept

•PizzaTopping

•SauceTopping

Super Classes

PizzaTopping

Disjoint Classes

FruitTopping, CheeseTopping, HerbSpiceTopping, NutTopping, VegetableTopping, MeatTopping, FishTopping

Abstract Syntax

Class(SauceTopping partial PizzaTopping)

DisjointClasses(SauceTopping FruitTopping
                             CheeseTopping
                             HerbSpiceTopping
                             NutTopping
                             VegetableTopping
                             MeatTopping
                             FishTopping)

Usage

Class Description/Definition (Necessary Conditions)

TobascoPepperSauce, VegetarianPizzaEquivalent2, VegetarianTopping

Generated with OWLDoc