Class: SpinachTopping

•owl:Thing

•DomainConcept

•PizzaTopping

•VegetableTopping

•SpinachTopping

Super Classes

VegetableTopping

hasSpiciness SOME Mild

Disjoint Classes

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

Annotations

rdfs:label

"CoberturaDeEspinafre" [lang: pt]

Abstract Syntax

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

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

Usage

Class Description/Definition (Necessary Conditions)

Fiorentina

Generated with OWLDoc