Class: SpinachTopping

•owl:Thing
        •DomainConcept
                •PizzaTopping
                        •VegetableTopping
                                •SpinachTopping

Super Classes

hasSpiciness SOME Mild
VegetableTopping

Disjoint Classes

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

Abstract Syntax

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

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

Usage

Class Description/Definition (Necessary Conditions)

Fiorentina
Generated with OWLDoc