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