Class: PolloAdAstra

•owl:Thing
        •DomainConcept
                •Pizza
                        •NamedPizza
                                •PolloAdAstra

Super Classes

hasTopping ONLY (CajunSpiceTopping OR ChickenTopping OR GarlicTopping OR MozzarellaTopping OR RedOnionTopping OR SweetPepperTopping OR TomatoTopping)
hasTopping SOME MozzarellaTopping
hasTopping SOME ChickenTopping
hasTopping SOME RedOnionTopping
NamedPizza
hasTopping SOME SweetPepperTopping
hasTopping SOME GarlicTopping
hasTopping SOME CajunSpiceTopping
hasTopping SOME TomatoTopping

Disjoint Classes

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

Annotations

rdfs:label"PolloAdAstra" [lang: pt]

Abstract Syntax

Class(PolloAdAstra partial restriction(hasTopping allValuesFrom(unionOf(CajunSpiceTopping
                                                                       ChickenTopping
                                                                       GarlicTopping
                                                                       MozzarellaTopping
                                                                       RedOnionTopping
                                                                       SweetPepperTopping
                                                                       TomatoTopping)))
                          restriction(hasTopping someValuesFrom(MozzarellaTopping))
                          restriction(hasTopping someValuesFrom(ChickenTopping))
                          restriction(hasTopping someValuesFrom(RedOnionTopping))
                          NamedPizza
                          restriction(hasTopping someValuesFrom(SweetPepperTopping))
                          restriction(hasTopping someValuesFrom(GarlicTopping))
                          restriction(hasTopping someValuesFrom(CajunSpiceTopping))
                          restriction(hasTopping someValuesFrom(TomatoTopping)))

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

Usage

Generated with OWLDoc