Class: PeperoniSausageTopping

•owl:Thing
        •DomainConcept
                •PizzaTopping
                        •MeatTopping
                                •PeperoniSausageTopping

Super Classes

hasSpiciness SOME Medium
MeatTopping

Disjoint Classes

ChickenTopping, HamTopping, HotSpicedBeefTopping

Abstract Syntax

Class(PeperoniSausageTopping partial restriction(hasSpiciness someValuesFrom(Medium))
                                    MeatTopping)

DisjointClasses(PeperoniSausageTopping ChickenTopping
                                       HamTopping
                                       HotSpicedBeefTopping)

Usage

Class Description/Definition (Necessary Conditions)

American, AmericanHot, FourSeasons
Generated with OWLDoc