Class: American

•owl:Thing
        •DomainConcept
                •Pizza
                        •NamedPizza
                                •American

Super Classes

hasTopping SOME MozzarellaTopping
NamedPizza
hasTopping ONLY (MozzarellaTopping OR PeperoniSausageTopping OR TomatoTopping)
hasTopping SOME TomatoTopping
hasTopping SOME PeperoniSausageTopping

Disjoint Classes

Caprina, QuattroFormaggi, UnclosedPizza, Capricciosa, LaReine, Parmense, PrinceCarlo, SloppyGiuseppe, Giardiniera, Mushroom, Soho, FruttiDiMare, Rosa, Napoletana, PolloAdAstra, Siciliana, AmericanHot, Fiorentina, Cajun, Margherita, FourSeasons, Veneziana

Annotations

rdfs:label"Americana" [lang: pt]

Abstract Syntax

Class(American partial restriction(hasTopping someValuesFrom(MozzarellaTopping))
                      NamedPizza
                      restriction(hasTopping allValuesFrom(unionOf(MozzarellaTopping
                                                                   PeperoniSausageTopping
                                                                   TomatoTopping)))
                      restriction(hasTopping someValuesFrom(TomatoTopping))
                      restriction(hasTopping someValuesFrom(PeperoniSausageTopping)))

DisjointClasses(American Caprina
                         QuattroFormaggi
                         UnclosedPizza
                         Capricciosa
                         LaReine
                         Parmense
                         PrinceCarlo
                         SloppyGiuseppe
                         Giardiniera
                         Mushroom
                         Soho
                         FruttiDiMare
                         Rosa
                         Napoletana
                         PolloAdAstra
                         Siciliana
                         AmericanHot
                         Fiorentina
                         Cajun
                         Margherita
                         FourSeasons
                         Veneziana)

Usage

Generated with OWLDoc