Class: HotSpicedBeefTopping

•owl:Thing
        •DomainConcept
                •PizzaTopping
                        •MeatTopping
                                •HotSpicedBeefTopping

Super Classes

hasSpiciness SOME Hot
MeatTopping

Disjoint Classes

ChickenTopping, HamTopping, PeperoniSausageTopping

Abstract Syntax

Class(HotSpicedBeefTopping partial restriction(hasSpiciness someValuesFrom(Hot))
                                  MeatTopping)

DisjointClasses(HotSpicedBeefTopping ChickenTopping
                                     HamTopping
                                     PeperoniSausageTopping)

Usage

Class Description/Definition (Necessary Conditions)

SloppyGiuseppe
Generated with OWLDoc