Class: OnionTopping

•owl:Thing
        •DomainConcept
                •PizzaTopping
                        •VegetableTopping
                                •OnionTopping

Super Classes

hasSpiciness SOME Medium
VegetableTopping

Disjoint Classes

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

Abstract Syntax

Class(OnionTopping partial restriction(hasSpiciness someValuesFrom(Medium))
                          VegetableTopping)

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

Usage

Class Description/Definition (Necessary Conditions)

Cajun, RedOnionTopping, SloppyGiuseppe, Veneziana
Generated with OWLDoc