| "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 ((hasSpiciness SOME Hot) AND PizzaTopping) |