Class: GarlicTopping

•owl:Thing
        •DomainConcept
                •PizzaTopping
                        •VegetableTopping
                                •GarlicTopping

Super Classes

VegetableTopping
hasSpiciness SOME Medium

Disjoint Classes

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

Abstract Syntax

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

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

Usage

Class Description/Definition (Necessary Conditions)

Fiorentina, FruttiDiMare, PolloAdAstra, Siciliana, Soho
Generated with OWLDoc