Class: Fiorentina

•owl:Thing
        •DomainConcept
                •Pizza
                        •NamedPizza
                                •Fiorentina

Super Classes

hasTopping SOME GarlicTopping
hasTopping SOME OliveTopping
hasTopping SOME SpinachTopping
NamedPizza
hasTopping SOME MozzarellaTopping
hasTopping ONLY (ParmesanTopping OR TomatoTopping OR MozzarellaTopping OR SpinachTopping OR GarlicTopping OR OliveTopping)
hasTopping SOME TomatoTopping
hasTopping SOME ParmesanTopping

Disjoint Classes

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

Annotations

rdfs:label"Fiorentina" [lang: pt]

Abstract Syntax

Class(Fiorentina partial restriction(hasTopping someValuesFrom(GarlicTopping))
                        restriction(hasTopping someValuesFrom(OliveTopping))
                        restriction(hasTopping someValuesFrom(SpinachTopping))
                        NamedPizza
                        restriction(hasTopping someValuesFrom(MozzarellaTopping))
                        restriction(hasTopping allValuesFrom(unionOf(ParmesanTopping
                                                                     TomatoTopping
                                                                     MozzarellaTopping
                                                                     SpinachTopping
                                                                     GarlicTopping
                                                                     OliveTopping)))
                        restriction(hasTopping someValuesFrom(TomatoTopping))
                        restriction(hasTopping someValuesFrom(ParmesanTopping)))

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

Usage

Generated with OWLDoc