Class: FruitTopping

•owl:Thing

•DomainConcept

•PizzaTopping

•FruitTopping

Super Classes

PizzaTopping

Disjoint Classes

CheeseTopping, SauceTopping, HerbSpiceTopping, NutTopping, VegetableTopping, MeatTopping, FishTopping

Abstract Syntax

Class(FruitTopping partial PizzaTopping)

DisjointClasses(FruitTopping CheeseTopping
                             SauceTopping
                             HerbSpiceTopping
                             NutTopping
                             VegetableTopping
                             MeatTopping
                             FishTopping)

Usage

Class Description/Definition (Necessary Conditions)

IceCream, SultanaTopping, VegetarianPizzaEquivalent2, VegetarianTopping

Generated with OWLDoc