Class: MushroomTopping

•owl:Thing
        •DomainConcept
                •PizzaTopping
                        •VegetableTopping
                                •MushroomTopping

Super Classes

hasSpiciness SOME Mild
VegetableTopping

Disjoint Classes

GarlicTopping, CaperTopping, ArtichokeTopping, TomatoTopping, OnionTopping, LeekTopping, OliveTopping, RocketTopping, AsparagusTopping, PepperTopping, SpinachTopping, PetitPoisTopping

Abstract Syntax

Class(MushroomTopping partial restriction(hasSpiciness someValuesFrom(Mild))
                             VegetableTopping)

DisjointClasses(MushroomTopping GarlicTopping
                                CaperTopping
                                ArtichokeTopping
                                TomatoTopping
                                OnionTopping
                                LeekTopping
                                OliveTopping
                                RocketTopping
                                AsparagusTopping
                                PepperTopping
                                SpinachTopping
                                PetitPoisTopping)

Usage

Class Description/Definition (Necessary Conditions)

FourSeasons, Giardiniera, LaReine, Mushroom
Generated with OWLDoc