Class: FourCheesesTopping

•owl:Thing
        •DomainConcept
                •PizzaTopping
                        •CheeseTopping
                                •FourCheesesTopping

Super Classes

hasSpiciness SOME Mild
CheeseTopping

Disjoint Classes

GoatsCheeseTopping, MozzarellaTopping, ParmesanTopping, GorgonzolaTopping

Abstract Syntax

Class(FourCheesesTopping partial restriction(hasSpiciness someValuesFrom(Mild))
                                CheeseTopping)

DisjointClasses(FourCheesesTopping GoatsCheeseTopping
                                   MozzarellaTopping
                                   ParmesanTopping
                                   GorgonzolaTopping)

Usage

Class Description/Definition (Necessary Conditions)

QuattroFormaggi
Generated with OWLDoc