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