Class: PolloAdAstra

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

Super Classes

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

Disjoint Classes

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

Annotations

rdfs:label"PolloAdAstra" [lang: pt]

Abstract Syntax

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

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

Usage

Generated with OWLDoc