Class: HotSpicedBeefTopping

•owl:Thing

•DomainConcept

•PizzaTopping

•MeatTopping

•HotSpicedBeefTopping

Super Classes

hasSpiciness SOME Hot

MeatTopping

Disjoint Classes

HamTopping, PeperoniSausageTopping, ChickenTopping

Annotations

rdfs:label

"CoberturaDeBifePicante" [lang: pt]

Abstract Syntax

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

DisjointClasses(HotSpicedBeefTopping HamTopping
                                     PeperoniSausageTopping
                                     ChickenTopping)

Usage

Class Description/Definition (Necessary Conditions)

SloppyGiuseppe

Generated with OWLDoc