Class: Giardiniera

•owl:Thing
        •DomainConcept
                •Pizza
                        •NamedPizza
                                •Giardiniera

Super Classes

NamedPizza
hasTopping SOME PeperonataTopping
hasTopping SOME MushroomTopping
hasTopping SOME TomatoTopping
hasTopping SOME LeekTopping
hasTopping SOME MozzarellaTopping
hasTopping SOME SlicedTomatoTopping
hasTopping SOME PetitPoisTopping
hasTopping SOME OliveTopping
hasTopping ONLY (LeekTopping OR MozzarellaTopping OR MushroomTopping OR OliveTopping OR PeperonataTopping OR PetitPoisTopping OR SlicedTomatoTopping OR TomatoTopping)

Disjoint Classes

PrinceCarlo, Fiorentina, FourSeasons, FruttiDiMare, Siciliana, American, PolloAdAstra, Caprina, AmericanHot, Capricciosa, Cajun, UnclosedPizza, Rosa, Soho, Veneziana, Mushroom, Napoletana, SloppyGiuseppe, Margherita, Parmense, LaReine, QuattroFormaggi

Annotations

rdfs:label"Giardiniera" [lang: pt]

Abstract Syntax

Class(Giardiniera partial NamedPizza
                         restriction(hasTopping someValuesFrom(PeperonataTopping))
                         restriction(hasTopping someValuesFrom(MushroomTopping))
                         restriction(hasTopping someValuesFrom(TomatoTopping))
                         restriction(hasTopping someValuesFrom(LeekTopping))
                         restriction(hasTopping someValuesFrom(MozzarellaTopping))
                         restriction(hasTopping someValuesFrom(SlicedTomatoTopping))
                         restriction(hasTopping someValuesFrom(PetitPoisTopping))
                         restriction(hasTopping someValuesFrom(OliveTopping))
                         restriction(hasTopping allValuesFrom(unionOf(LeekTopping
                                                                      MozzarellaTopping
                                                                      MushroomTopping
                                                                      OliveTopping
                                                                      PeperonataTopping
                                                                      PetitPoisTopping
                                                                      SlicedTomatoTopping
                                                                      TomatoTopping))))

DisjointClasses(Giardiniera PrinceCarlo
                            Fiorentina
                            FourSeasons
                            FruttiDiMare
                            Siciliana
                            American
                            PolloAdAstra
                            Caprina
                            AmericanHot
                            Capricciosa
                            Cajun
                            UnclosedPizza
                            Rosa
                            Soho
                            Veneziana
                            Mushroom
                            Napoletana
                            SloppyGiuseppe
                            Margherita
                            Parmense
                            LaReine
                            QuattroFormaggi)

Usage

Generated with OWLDoc