| "An alternative definition for the SpicyPizza which does away with needing a definition of SpicyTopping and uses a slightly more complicated restriction: Pizzas that have at least one topping that is both a PizzaTopping and has spiciness hot are members of this class. " [lang: en] |
| •owl:Thing |
| •DomainConcept |
| •Food |
| •Pizza |
| •SpicyPizzaEquivalent |
| Pizza |
| hasTopping SOME (PizzaTopping AND (hasSpiciness SOME Hot)) |