Class: ArtichokeTopping

•owl:Thing
        •DomainConcept
                •PizzaTopping
                        •VegetableTopping
                                •ArtichokeTopping

Super Classes

VegetableTopping
hasSpiciness SOME Mild

Disjoint Classes

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

Abstract Syntax

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

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

Usage

Class Description/Definition (Necessary Conditions)

Siciliana
Generated with OWLDoc