| All IceCreams must have at least 1 topping. Any individual that has a topping must be a Pizza. Therefore all IceCreams must be Pizzas. Icecream is inferred to be a subclass of Pizza. |
| •owl:Thing |
| •PizzaDomainConcept |
| •IceCream |
Class(IceCream partial PizzaDomainConcept
restriction(hasTopping someValuesFrom(FishTopping)))