Class: VegetarianTopping

•owl:Thing

•PizzaDomainConcept

•PizzaTopping

•VegetarianTopping

Super Classes

PizzaTopping

Disjoint Classes

FishTopping, MeatTopping

Abstract Syntax

Class(VegetarianTopping partial PizzaTopping)

DisjointClasses(VegetarianTopping FishTopping
                                  MeatTopping)

Usage

Class Description/Definition (Necessary Conditions)

MeatFishAndVegetarianPizza-Closed, MeatFishAndVegetarianPizza-Open, VegePizza01-NotClosed, VegePizza02-TrivialSatisfaction, VegePizza03, VegePizzaWithAccidentalDisjoint, VegetarianToppingsPizza-Closed, VegetarianToppingsPizza-Open

Generated with OWLDoc