Class: UnclosedPizza

An unclosed Pizza cannot be inferred to be either a VegetarianPizza or a NonVegetarianPizza, because it might have other toppings.

•owl:Thing
        •DomainConcept
                •Pizza
                        •NamedPizza
                                •UnclosedPizza

Super Classes

hasTopping SOME MozzarellaTopping
NamedPizza

Disjoint Classes

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

Abstract Syntax

Class(UnclosedPizza partial restriction(hasTopping someValuesFrom(MozzarellaTopping))
                           NamedPizza)

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

Usage

Generated with OWLDoc