| •owl:Thing |
| •DomainConcept |
| •PizzaTopping |
| •VegetableTopping |
| •PepperTopping |
| •GreenPepperTopping |
| •HotGreenPepperTopping |
Class(HotGreenPepperTopping partial GreenPepperTopping
restriction(hasSpiciness someValuesFrom(Hot)))