Class: HotSpicedBeefTopping

•owl:Thing

•DomainConcept

•PizzaTopping

•MeatTopping

•HotSpicedBeefTopping

Super Classes

hasSpiciness SOME Hot

MeatTopping

Disjoint Classes

ChickenTopping, HamTopping, PeperoniSausageTopping

Annotations

rdfs:label

"CoberturaDeBifePicante" [lang: pt]

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