Class: Capricciosa

•owl:Thing
        •DomainConcept
                •Pizza
                        •NamedPizza
                                •Capricciosa

Super Classes

hasTopping ONLY (TomatoTopping OR HamTopping OR MozzarellaTopping OR AnchoviesTopping OR OliveTopping OR PeperonataTopping OR CaperTopping)
hasTopping SOME AnchoviesTopping
hasTopping SOME OliveTopping
hasTopping SOME HamTopping
hasTopping SOME PeperonataTopping
NamedPizza
hasTopping SOME CaperTopping
hasTopping SOME MozzarellaTopping
hasTopping SOME TomatoTopping

Disjoint Classes

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

Annotations

rdfs:label"Capricciosa" [lang: pt]

Abstract Syntax

Class(Capricciosa partial restriction(hasTopping allValuesFrom(unionOf(TomatoTopping
                                                                      HamTopping
                                                                      MozzarellaTopping
                                                                      AnchoviesTopping
                                                                      OliveTopping
                                                                      PeperonataTopping
                                                                      CaperTopping)))
                         restriction(hasTopping someValuesFrom(AnchoviesTopping))
                         restriction(hasTopping someValuesFrom(OliveTopping))
                         restriction(hasTopping someValuesFrom(HamTopping))
                         restriction(hasTopping someValuesFrom(PeperonataTopping))
                         NamedPizza
                         restriction(hasTopping someValuesFrom(CaperTopping))
                         restriction(hasTopping someValuesFrom(MozzarellaTopping))
                         restriction(hasTopping someValuesFrom(TomatoTopping)))

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

Usage

Generated with OWLDoc