Class: VegetarianPizzaEquivalent2

"An alternative to VegetarianPizzaEquiv1 that does not require a definition of VegetarianTopping. Perhaps more difficult to maintain. Not equivalent to VegetarianPizza " [lang: en]

•owl:Thing

•DomainConcept

•Pizza

•VegetarianPizzaEquivalent2

Equivalent Classes (Necessary and Sufficient Conditions)

Pizza

hasTopping ONLY (FruitTopping OR HerbSpiceTopping OR NutTopping OR SauceTopping OR VegetableTopping OR CheeseTopping)

Annotations

rdfs:label

"PizzaVegetarianaEquivalente2" [lang: pt]

Abstract Syntax

Class(VegetarianPizzaEquivalent2 complete annotation(rdfs:label "PizzaVegetarianaEquivalente2"@pt)
                                         annotation(rdfs:comment "An alternative to VegetarianPizzaEquiv1 that does not require a definition of VegetarianTopping. Perhaps more difficult to maintain. Not equivalent to VegetarianPizza "@en)
                                         Pizza
                                         restriction(hasTopping allValuesFrom(unionOf(FruitTopping
                                                                                      HerbSpiceTopping
                                                                                      NutTopping
                                                                                      SauceTopping
                                                                                      VegetableTopping
                                                                                      CheeseTopping))))

Usage

Class Description/Definition (Necessary Conditions)

VegetarianPizzaEquivalent2

Generated with OWLDoc