| "An example of a covering axiom. VegetarianTopping is equivalent to the union of all toppings in the given axiom. VegetarianToppings can only be Cheese or Vegetable or....etc." [lang: en] |
| •owl:Thing |
| •DomainConcept |
| •PizzaTopping |
| •VegetarianTopping |
| PizzaTopping |
| VegetableTopping OR CheeseTopping OR HerbSpiceTopping OR FruitTopping OR NutTopping OR SauceTopping |
| rdfs:label | "CoberturaVegetariana" [lang: pt] |
Class(VegetarianTopping complete annotation(rdfs:label "CoberturaVegetariana"@pt)
annotation(rdfs:comment "An example of a covering axiom. VegetarianTopping is equivalent to the union of all toppings in the given axiom. VegetarianToppings can only be Cheese or Vegetable or....etc."@en)
PizzaTopping
unionOf(VegetableTopping
CheeseTopping
HerbSpiceTopping
FruitTopping
NutTopping
SauceTopping))