Class: AsparagusTopping

•owl:Thing
        •DomainConcept
                •PizzaTopping
                        •VegetableTopping
                                •AsparagusTopping

Super Classes

VegetableTopping
hasSpiciness SOME Mild

Disjoint Classes

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

Abstract Syntax

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

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

Usage

Class Description/Definition (Necessary Conditions)

Parmense
Generated with OWLDoc